Example image of eyePlorer eyePlorer map for 'Church–Turing thesis': Computability theory Effective method Hypothesis Lambda calculus Recursion Turing machine Alan Turing Alonzo Church J. Barkley Rosser Stephen Cole Kleene Algorithm David Hilbert Entscheidungsproblem Jacques Herbrand Emil Leon Post Inductive reasoning Natural law Kurt Gödel Robin Gandy Cellular automaton Conway's Game of Life Hao Wang (academic) Martin Davis Post–Turing machine Counter machine Joachim Lambek Marvin Minsky Pieniężno Computer Register machine Combinatory logic Markov algorithm Pointer machine Turing completeness Universal Turing machine Computational complexity theory Probabilistic Turing machine Umesh Vazirani BPP P (complexity) Random access machine Symposium on Theory of Computing BQP Quantum computer Quantum algorithm Randomized algorithm Quantum Turing machine Philosophy of mind Jack Copeland Hypercomputation
Disclaimer