|
|
|
Summary Of: Church's thesis
is equivalent to Church's thesis by Theorem XXX... Church's thesis in constructive mathematics... Church's Thesis and the Principles for Mechanisms... Encyclodia Page On: Church's thesis
|
These Are Links To Other Documents
|
constructive mathematics | Church's thesis (constructive mathematics) |  | reorganization | quality standards | be bold | computability theory | hypothesis | effectively calculable | recursion | Turing machine | λ-calculus | Alonzo Church | Stephen Kleene | J.B. Rosser | Alan Turing | algorithm | Turing machine | recursively | applicable λ-function | Effectively calculable | History of the Church–Turing thesis | David Hilbert's | Entscheidungsproblem | Alonzo Church | Stephen Kleene | λ-definable functions | Kurt Gödel | Herbrand | J. B. Rosser | Stephen Kleene | J. B. Rosser | Entscheidungsproblem | well formed formula | Alan Turing | Entscheidungsproblem | Emil Post | inductive reasoning | natural law | Kurt Gödel | Turing machine | Robin Gandy | cellular automata | Conway's game of life | λ-calculus | Turing machine | Stephen Kleene | Kurt Gödel | Emil Post | Hao Wang | Martin Davis | Post–Turing machine | Marvin Minsky | Melzak | Lambek | counter machine | register machine | computer | combinatory logic | Markov algorithms | pointer machine | Turing complete | universal Turing machine | complexity theory | probabilistic Turing machine | Umesh Vazirani | BPP | P | STOC | Random Access Machine | quantum computers | BQP | quantum algorithms | probabilistic algorithms | quantum Turing machine | philosophy of mind | B. Jack Copeland | hypercomputation | non-recursive functions | citation needed | digital physics | hypercomputer | real numbers | computable reals | hypercomputer | non-recursive functions | quantum mechanical | John Lucas | Roger Penrose | busy beaver | Turing machine | halting problem | super-recursive algorithms | super-recursive algorithms | Church's thesis in constructive mathematics | Computability logic | Computability theory | Decidability | History of the Church–Turing thesis | Hypercomputer | Super-recursive algorithm | Church–Turing–Deutsch principle | physical process | primitive recursion | Rózsa Péter | mu operator | recursion | ISBN 978-0-521-42426-4 | ISBN 019857049X | STOC | ISBN 0631229191 | SIAM Journal on Computing | doi | Blass, Andreas | Yuri Gurevich | ISBN | 0387955690 | Martin Davis | Gandy, Robin | ISBN | 3-211-82637-8 | Gurevich, Yuri | Herbrand, Jacques | Hofstadter, Douglas R. | Gödel, Escher, Bach: an Eternal Golden Braid | Kleene, Stephen Cole | doi | Church thesis | OCLC | Knuth, Donald | Lewis, H.R. | Papadimitriou, C.H. | Manna, Zohar | ISBN | 9780486432380 | Springer Verlag | Rosser, J. B. | Soare, Robert | ISSN | doi | doi | Stanford Encyclopedia of Philosophy | Categories | Recursion theory | Alan Turing | Theory of computation | Wikipedia articles needing reorganization | All articles with unsourced statements | Articles with unsourced statements from September 2009 | |
|
|
 |
