Language, Logic and Understanding
The quest for greater understanding of logic and language
SITEMAP
Gödel's Incompleteness Theorem
The Flaw in Gödel's Proof of his Incompleteness Theorem
Responses to the demonstration of the flaw in Gödel's proof
Simplified Explanation of Gödel's proof - Intro
Simplified Explanation of Gödel's proof - Part 1
Simplified Explanation of Gödel's proof - Part 2
Simplified Explanation of Gödel's proof - Part 3
Simplified Explanation of Gödel's proof - Part 4
Simplified Explanation of Gödel's proof - Part 5
Simplified Explanation of Gödel's proof - Part 6
Simplified Explanation of Gödel's proof - Part 7
Simplified Explanation of Gödel's proof - Part 8
Simplified Explanation of Gödel's proof - Part 9
Simplified Explanation of Gödel's proof - Part 10
Paper: The Fundamental Flaw in Gödel's Proof of his Incompleteness Theorem (PDF)
Paper, previous v2: The Fundamental Flaw in Gödel's Proof of his Incompleteness Theorem (PDF)
Paper, previous v1: The Fundamental Flaw in Gödel's Proof of his Incompleteness Theorem (PDF)
Paper, previous v0: The Fundamental Flaw in Gödel's Proof of his Incompleteness Theorem (PDF)
Book: The Shackles of Conviction
The Shackles of Conviction: Excerpts
MathFiction Review of book 'The Shackles of Conviction' by Dr Kasman
Errors in Incompleteness Proofs
Analysis of Incompleteness Proofs
Paper: A Fundamental Flaw in an Incompleteness Proof by Peter Smith (PDF)
Paper: A Fundamental Flaw in Incompleteness Proofs by S. C. Kleene (PDF)
Paper: A Fundamental Flaw in Incompleteness Proofs by Gregory Chaitin (PDF)
Paper: A Fundamental Flaw in an Incompleteness Proof By George Boolos (PDF)
Paper: An Error in a Computer Verified Proof of Incompleteness by John Harrison (PDF)
Paper: An Error in a Computer Verified Proof of Incompleteness by Russell O'Connor (PDF)
Paper: An Error in a Computer Verified Proof of Incompleteness by Natarajan Shankar (PDF)
World's shortest explanation of Gödel's Proof?
Review of my paper by Russell O'Connor
How to show how a disproof of Gödel's proof is wrong - if it really is
On web forums and Gödel's proof
New section! - Please leave a comment ...
Diverse opinions and criticisms are welcome, but frivolous and irrelevant messages will be blocked, so please note that all comments will be checked before appearing on this site. Note: you will be asked to provide an e-mail address - this will only be used to notify you of replies to your comments - it will never be used for any other purpose, will never be displayed and does not require verification.
NB: Comments are common to the entire website, so please indicate what section of the site you are commenting on.
NEW
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 link relating specifically to the Gödel mind-machine debate –
Comments
Comments on this site are welcome, please see comment section at the bottom of this page.
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 (click here for the e-mail address) and I will attempt to reply promptly.
Feedback about site design would also be appreciated so that I can improve the site.
NEWS
New paper on an error in a proof of Incompleteness
A paper is now available detailing an error in an incompleteness proof by Boolos.
There is now a total of seven papers on flaws in incompleteness proofs other than Gödel's original paper, including three 'computer checked' proofs. See here.
Interview
Simply Charly has posted an interview on
Gödel and incompleteness on their website, see here.