*References and Further Reading*

#### Books

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*

#### Papers

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*

#### Articles

Freeman Dyson (1995) *The Scientist as Rebel*

Saunders Mac Lane (1995) *A Matter of Temperament*

#### Video

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

*Original picture (Goettingen)*