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