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 (html)
The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem (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)
