References and Further Reading


Reid, Constance (1970) Hilbert
Hilbert, David and Ackermann, Wilhelm (1938) Principles Of Mathematical Logic
Petzold, Charles (2008) The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
Gödel, Kurt, preface by Braithwaite, R.B. (1962) On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Nagel, Ernest and Newman, James R. (2001) Gödel's Proof
Franzén, Torkel (2005) Gödel's Theorem: An Incomplete Guide to Its Use and Abuse
Church, Alonzo (1951) The Calculi of Lambda Conversion
Chaitin, Gregory (2007) Thinking about Gödel and Turing: Essays on Complexity, 1970-2007
Yandell, Ben (2001) The Honors Class: Hilbert's Problems and Their Solvers
Stewart, Ian (2013) The Great Mathematical Problems


Church, Alonzo (1936) An Unsolvable Problem of Elementary Number Theory
Church, Alonzo (1936) A note on the Entscheidungsproblem
Church, Alonzo (1936) Correction to a note on the Entscheidungsproblem
Turing, Alan (1936) On Computable Numbers, With an Application to the Entscheidungsproblem
Russell, Bertrand (1908) Mathematical Logic as Based on the Theory of Types
Schönfinkel, Moses (1924) On the building blocks of mathematical logic
Curry, Haskell (1929) An Analysis of Logical Substitution
Ferreirós, José (2001) The Road to Modern Logic – An Interpretation
Wadler, Philip (2014) Propositions as Types


Freeman Dyson (1995) The Scientist as Rebel
Saunders Mac Lane (1995) A Matter of Temperament


Voevodsky on the Foundations of Mathematics (2010) What If Current Foundations of Mathematics Are Inconsistent?

Original picture (Goettingen)