Note: Full functionality of this website 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
The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem
The Impossibility of Representation of a Gödel Numbering Function by a Formula of the Formal System
A Fundamental Flaw in an Incompleteness Proof by Peter Smith
A Fundamental Flaw in Incompleteness Proofs by S. C. Kleene
A Fundamental Flaw in Incompleteness Proofs by Gregory Chaitin
A Fundamental Flaw in an Incompleteness Proof by George Boolos
A Fundamental Flaw in an Incompleteness Proof by Stanisław Świerczkowski
An Error in a Computer Verified Proof of Incompleteness by John Harrison
An Error in a Computer Verified Proof of Incompleteness by Russell O’Connor
An Error in a Computer Verified Proof of Incompleteness by Natarajan Shankar
Previous versions
v4: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem
v3: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem
v2: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem
v1: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem
v0: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem
v1: A Fundamental Flaw in an Incompleteness Proof by Peter Smith
v2: A Fundamental Flaw in an Incompleteness Proof by Peter Smith
v1: A Fundamental Flaw in an Incompleteness Proof by Stanisław Świerczkowski
v1: An Error in a Computer Verified Proof of Incompleteness by Russell O’Connor