Reading list

Copeland, B.J., Posy, C.J., Shagrir, O. (2013). Computability. Turing, Gödel, Church, and Beyond. MIT.

Franzen, T. (2005). Gödel’s Theorem. An incomplete guide its use and abuse. Wellesly, MA.

Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (“On Formally Undecidable Propositions of Principia Mathematica and Related Systems”). Monatschefte für Mathematik.

Hirzel, M. (2000). On Formally Undecidable Propositions of Principia Mathematica and related systems I. Translation of Gödel’s original paper. Available at: https://monoskop.org/images/9/93/Kurt_G%C3%B6del_On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems_1992.pdf

Nagel, E. & Newman, J. R. (2001). Gödel’s Proof. New York University Press. NYC, NY.

Sigmund, K. (2017). Exact Thinking in Demented Times. The Vienna Circle and the Epic Quest for the Foundations of Science. Basic Books. New York, NY. pp. 215.