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

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)