Kurt Gödel

== Further reading ==
* [[Stephen Budiansky]], 2021. ''Journey to the Edge of Reason: The Life of Kurt Gödel''. W.W. Norton & Company.
* {{Citation | first1 = John L | last1 = Casti | first2 = Werner | last2 = DePauli | year = 2000 | title = Gödel: A Life of Logic | publisher = Basic Books (Perseus Books Group) | place = Cambridge, MA |isbn=978-0-7382-0518-2}}.
* {{Citation | first = John W Jr | last = Dawson | author-link =John W. Dawson, Jr | title = Logical Dilemmas: The Life and Work of Kurt Gödel | publisher = AK Peters | year = 1996}}.
* {{Citation | first = John W Jr | last = Dawson | year = 1999 | title = Gödel and the Limits of Logic | journal = Scientific American | volume = 280 | number = 6 | pages = 76–81| pmid = 10048234 | bibcode = 1999SciAm.280f..76D | doi = 10.1038/scientificamerican0699-76 }}.
* {{Citation | first = Torkel | last = Franzén | author-link = Torkel Franzén | year = 2005 | title = Gödel's Theorem: An Incomplete Guide to Its Use and Abuse | place = Wellesley, MA | publisher = AK Peters}}.
* [[Ivor Grattan-Guinness]], 2000. ''The Search for Mathematical Roots 1870–1940''. Princeton Univ. Press.
* {{cite book | author=Hämeen-Anttila, Maria | title=Gödel on Intuitionism and Constructive Foundations of Mathematics | type=Ph.D. thesis | location=Helsinki | publisher=University of Helsinki | year=2020 | isbn=978-951-51-5922-9 | url=http://urn.fi/URN:ISBN:978-951-51-5923-6 }}
* [[Jaakko Hintikka]], 2000. ''[[iarchive:ongodel0000hint|On Gödel]]''. Wadsworth.
* [[Douglas Hofstadter]], 1980. ''[[Gödel, Escher, Bach]]''. Vintage.
* [[Stephen Kleene]], 1967. ''Mathematical Logic''. Dover paperback reprint c. 2001.
* Stephen Kleene, 1980. ''Introduction to Metamathematics''. North Holland {{isbn|0-7204-2103-9}} (Ishi Press paperback. 2009. {{isbn|978-0-923891-57-2}})
* [[J.R. Lucas]], 1970. ''The Freedom of the Will''. Clarendon Press, Oxford.
* [[Ernest Nagel]] and [[James R. Newman|Newman, James]] R., 1958. ''Gödel's Proof.'' New York Univ. Press.
* [[Ed Regis (author)|Ed Regis]], 1987. ''Who Got Einstein's Office?'' Addison-Wesley Publishing Company, Inc.
* [[Raymond Smullyan]], 1992. ''Godel's Incompleteness Theorems''. Oxford University Press.
* [[Olga Taussky-Todd]], 1983. [http://calteches.library.caltech.edu/605/02/Todd.pdf Remembrances of Kurt Gödel]. Engineering & Science, Winter 1988.
* Yourgrau, Palle, 1999. ''Gödel Meets Einstein: Time Travel in the Gödel Universe.'' Chicago: Open Court.
* Yourgrau, Palle, 2004. ''[[iarchive:worldwithouttime0000your q2d0|A World Without Time: The Forgotten Legacy of Gödel and Einstein]].'' Basic Books. {{ISBN|978-0-465-09293-2}}. (Reviewed by John Stachel in the ''[[Notices of the American Mathematical Society]]'' ('''54''' (7), [https://www.ams.org/notices/200707/tx070700861p.pdf pp. 861–68]).