Turing Uncomputability : vimarsana.com

Turing Uncomputability

As Leibniz suggested, we appear to live in the best of all possible worlds, where the computable functions make life predictable enough to be survivable, while the uncomputable functions make life (and mathematical truth) unpredictable enough to remain interesting, no matter how far computers continue to advance

Related Keywords

Guildford, Surrey, United Kingdom, Austria, Cambridge, Cambridgeshire, United States, Argentina, London, City Of, Argentine, American, Austrian, Systemei Monatshefte, Marvin Minsky, David Hilbert, Whiteheada Russell, Zhao Wang, Marxen Buntrock, Tibor Rad, Principia Mathematica, Alan Turing, Hermann Weyl, Alfred North Whitehead, Jacques Herbrand, Andrew Hodge Alan, George Dyson, Steve King, Gregory Chaitin, Oswald Veblen, Max Newman, Martin Davis, Roger Penrose, Hilbert Entscheidungsproblem, Georg Cantor, Bertrand Russell, Alonzo Church, Stephenc Kleene, Roberti Soare, Marburger Neukantianismus, Princeton University, Dear Professor Church, Church On, Copeland, Church Solution, Institute For Advanced Study, King College, Proceedings Of The London Mathematical Society, Richard Dedekind, Last Theorem, Riemann Hypothesis,