• Use Tab, Shift + Tab keys to traverse the main menu. To enter a sub-menu use the Right Arrow key. To leave a sub-menu use the Left Arrow or the Escape key.
• The Enter or the Space key opens the active menu item.
• To get back to the top of the page anytime, press the Home key.

Note: Full functionality of this web page requires JavaScript to be enabled in your browser.

You will find numerous references to Gödel and his incompleteness theorem. Some of them are listed here. You can see an English translation of his proof Gödel’s Proof - English translation: here. Links that are principally about the Gödel, Minds, and Machines question are listed on a separate page, see Gödel, Minds, and Machines.

Please note: Inclusion in this list does not mean I recommend any of the items in this list.

## Links to Web pages on Gödel and/or his Incompleteness Theorem

 Cosmic fingerprints website on incompletenessAn attempt to apply Gödel’s Incompleteness Theorem to the universe The nature and significance of Gödel’s incompleteness theorems PDF An article by Solomon Feferman Dale Myers on Gödel Brief notes about Gödel’s Incompleteness Theorem and other things, by Dale Myers Stanford Encyclopedia entry on Gödel’s Incompleteness Theorem Stanford Encyclopedia entry on paradoxes arising from self-reference Webpage about Gödel’s Incompleteness Theorem by Stephen Lee appears to be attempting to write a computer proof of incompleteness Science Magazine article on Gödel’s Incompleteness Theorem PDF BBC page with link to a broadcast on Gödel’s Incompleteness Theorem Entry on Gödel’s Incompleteness Theorem in Wolfram’s Mathworld Book on incompleteness by K Podnieks Biography and other information about Kurt Gödel Wikipedia entry on Gödel’s incompleteness theorems A claim to be the ‘World’s shortest explanation of Gödel’s theorem’ The above webpage claims to be the ‘World’s shortest explanation of Gödel’s theorem’ but it is nothing of the sort, see World’s shortest explanation of Gödel’s theorem?: here Trite and superficial attempt to explain Gödel’s Theorem encyclopedia.com article on Gödel Encyclopedia Britannica article on Gödel

## Links to freely available online papers on Gödel and/or his Incompleteness Theorem

 Bays, Timothy On Floyd and Putnam on Wittgenstein on Gödel PDF Journal of Philosophy (April 2004) pp 197-210. Bays, Timothy Floyd, Putnam, Bays, Steiner, Wittgenstein, G̈odel, Etc PDF Online Davis , Martin The Incompleteness Theorem PDF Notices of the AMS vol 53 no 4 (2006), p414 György, Sereny Gödel, Tarski, Church, and the Liar Arxiv (1999) György, Sereny Boolos-style proofs of limitative theorems Arxiv (2003) Jaki, Stanley A Late Awakening to Gödel in Physics Sensus communis 5 (2004), pp 153-162. Jaki, Stanley On A Discovery About Gödel’s Incompleteness Theorem Pontifical Academy of Sciences, Acta 18, Vatican City (2006) Ketland, Jeffrey Deflationism and Tarski’s Paradise Mind 108, no. 429 (1999) pp 69-94 Kikuchi, Makoto; Tanaka, Kazuyuki On formalization of model-theoretic proofs of Gödel’s theorems Notre Dame Journal of Formal Logic (1994) 35 (3) pp 403-412 O’Connor, Russell Essential Incompleteness of Arithmetic Verified by Coq PDF Lecture Notes in Computer Science (2005) v 3603, pp 245-260 Sayward, Charles Steiner Versus Wittgenstein: Remarks on Differing Views of Mathematical Truth Theoria (2005) 20 (3) pp 347-352. Tennant, Neil Carnap, Gödel, and the Analyticity of Arithmetic PDF Philosophia Mathematica 16, no. 1 (2008) pp 100-112 Tennant, Neil Deductive Versus Expressive Power: A Pre-godelian Predicament PDF The Journal of philosophy (2000) pp 257-277 Tennant, Neil Deflationism and the Gödel Phenomena PDF Mind 111, no. 443 (2002) pp 51-582 Tennant, Neil Deflationism and the Gödel Phenomena: Reply to Cieśliński PDF Mind 119, no. 474 (2010) pp 437-450 Tennant, Neil Deflationism and the Gödel Phenomena: Reply to Ketland PDF Mind 114, No. 453 (2005) pp 89-96 Vidal-Rosset, Joseph Does Gödel’s Incompleteness Theorem Prove That Truth Transcends Proof? from Book: The Age of Alternative Logics (2006) pp. 51-73. Springer Wigderson, Avi The Gödel Phenomena in Mathematics: A Modern View PDF from Book: Kurt Gödel and the Foundations of Mathematics: Horizons of Truth (2010) Cambridge University Press Zach , Richard Hilbert’s program then and now PDF from Book: Philosophy of Logic, Dale Jacquette (ed), Handbook of the Philosophy of Science (2006) v 5, Elsevier, pp 411-447 Zach , Richard Kurt Gödel 1931 PDF from Book: Landmark Writings in Mathematics (2004) pub North-Holland pp 917-925 Zach, Richard The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert’s Program PDF Synthese (2003) 137 (1) pp 211-259

## NEWS

### Lebesgue Measure

There is now a new page on a contradiction in Lebesgue measure theory.

### Illogical Assumptions

There is now a new page Halbach and Zhang’s Yablo without Gödel which analyzes the illogical assumptions used by Halbach and Zhang.

### Easy Footnotes

I found that making, adding or deleting footnotes in the traditional manner proved to be a major pain. So I developed a different system for footnotes which makes inserting or changing footnotes a doddle. You can check it out at Easy Footnotes for Web Pages (Accessibility friendly).

### O’Connor’s “computer checked” proof

I have now added a new section to my paper on Russell O’Connor’s claim of a computer verified incompleteness proof. This shows that the flaw in the proof arises from a reliance on definitions that include unacceptable assumptions - assumptions that are not actually checked by the computer code. See also the new page Representability.

### Previous Blog Posts

For convenience, there are now two pages on this site with links to various material relating to Gödel and the Incompleteness Theorem

– a page with general links:

– and a page relating specifically to the Gödel mind-machine debate:

Gödel, Minds, and Machines

### Printer Friendly

All pages on this website are printer friendly, and will print the main content in a convenient format. Note that the margins are set by your browser print settings.

Note: for some browsers JavaScript must be enabled for this to operate correctly.

Please note that this web site, like any other is a collection of various statements. Not all of this web site is intended to be factual. Some of it is personal opinion or interpretation.

If you prefer to ask me directly about the material on this site, please send me an e-mail with your query, and I will attempt to reply promptly.

Feedback about site design would also be appreciated so that I can improve the site.