Courant Institute School of Mathematics, Computing, and Data Science
article-link
What links here
Martin Davis (mathematician)
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
article-link
Leroy P. Steele Prize
article-link
Julia Robinson
article-link
Random-access machine
article-link
Register machine
article-link
The Emperor's New Mind
article-link
Rewriting
article-link
Solomonoff's theory of inductive inference
article-link
List of logicians
article-link
Theoretical computer science
article-link
ORDVAC
article-link
Hypercomputation
article-link
L. E. J. Brouwer
article-link
Computability theory
article-link
Hilbert's problems
article-link
Hilbert's tenth problem
article-link
Diophantine set
article-link
Hilary Putnam
article-link
Universal Turing machine
article-link
Gödel's incompleteness theorems
article-link
Alonzo Church
article-link
Turing machine
article-link
Theory of computation
article-link
Roger Penrose
article-link
Partial function
article-link
Mathematical logic
article-link
Intuitionism
article-link
Law of excluded middle
article-link
Entscheidungsproblem
article-link
Diophantine equation
article-link
Church–Turing thesis
article-link
Automated theorem proving
article-link
Alan Turing
article-link