- Home
- Topics
- Logic
- Paradoxes
- Platonism
- Chaitin’s Omega
- How to tell if someone is a crackpot
- A typical discussion about my work
- The Myths of Platonism
- Platonism’s Logical Blunder
- Formal Language
- Natural Language and Reality
- Pseudo-mathematics
- Mathematical Proofs
- Computer Proofs
- Turing’s Uncomputable Number
- Infinity
- The Halting Problem and Incompleteness Proofs
- The Indispensability Argument
- Alexander’s Horned Sphere
- Infinity
- Formal papers related to infinity
- Platonism and the Infinite
- Courant & Robbins Contradiction
- Infinite Sums 1
- Infinite Sums 2
- The Diagonal Proof
- Real numbers and Language
- A list of Real Numbers with no Diagonal
- Cantor’s 1874 Proof
- The Power Set Proof
- Cardinal Numbers
- Proof of more Real numbers than Natural numbers?
- Lebesgue Measure Theory
- Fallacy by deflection
- König - On the foundations of set theory (English Translation)
- Gödel
- Formal papers related to incompleteness
- Gödel’s Contradiction
- Gödel’s Intuitive Error No.2
- Gödel’s Theorem
- Gödel’s Proof Simplified
- A Step by Step Guide to Gödel’s Proof
- An English Translation of Gödel’s Incompleteness Proof
- Gödel’s Proposition V
- Statements by Kurt Gödel
- Gödel, Escher, Bach
- Gödel without Tears - Or Not?
- Nagel & Newman
- The Flaw in Gödel’s Proof
- Analysis of Other Incompleteness Proofs
- Common Errors in Incompleteness Proofs
- The Diagonal Lemma
- True but unprovable?
- Representability
- Intuitionism
- Gödel’s Substitution Function
- Gödel, Minds, and Machines
- Gödel Links
- Church’s “An Unsolvable Problem”
- Oh No ! Yet Another Flawed Incompleteness Proof
- A Review of the Demonstration of the Flaw
- Flawed Disproofs of Gödel’s Proof
- Books
Copyright © James R Meyer 2012 - 2018 https://www.jamesrmeyer.com
• 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 skip the menu and move to the main content, press Tab after the page loads to reveal a skip button.
• To get back to the top of the page anytime, press the Home key.
• For more information, click here: Accessibility Close this tip.
Note: Full functionality of this web page requires JavaScript to be enabled in your browser.
Formal papers related to incompleteness
This page lists formal papers that are relevant to questions of incompleteness.
English Translation of Gödel’s Incompleteness Proof (html)
English Translation of Gödel’s Incompleteness Proof (PDF)
The Impossibility of Representation of a Gödel Numbering Function by a Formula of the Formal System (PDF)
A Fundamental Flaw in an Incompleteness Proof by Peter Smith (PDF)
A Fundamental Flaw in Incompleteness Proofs by S. C. Kleene (PDF)
A Fundamental Flaw in Incompleteness Proofs by Gregory Chaitin (PDF)
A Fundamental Flaw in an Incompleteness Proof by George Boolos (PDF)
A Fundamental Flaw in an Incompleteness Proof by Stanisław Świerczkowski (PDF)
An Error in a Computer Verified Proof of Incompleteness by John Harrison (PDF)
An Error in a Computer Verified Proof of Incompleteness by Russell O’Connor (PDF)
An Error in a Computer Verified Proof of Incompleteness by Natarajan Shankar (PDF)
Previous versions
v4: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem (PDF)
v3: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem (PDF)
v2: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem (PDF)
v1: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem (PDF)
v0: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem (PDF)
v1: A Fundamental Flaw in an Incompleteness Proof by Peter Smith (PDF)
v2: A Fundamental Flaw in an Incompleteness Proof by Peter Smith (PDF)
v1: A Fundamental Flaw in an Incompleteness Proof by Stanisław Świerczkowski (PDF)
v1: An Error in a Computer Verified Proof of Incompleteness by Russell O’Connor (PDF)
