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
Paper: The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem
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
Rationale: Every logical argument must be defined in some language, and every language has limitations. Attempting to construct a logical argument while ignoring how the limitations of language might affect that argument is a bizarre approach. The correct acknowledgment of the interactions of logic and language explains almost all of the paradoxes, and resolves almost all of the contradictions, conundrums, and contentious issues in modern philosophy and mathematics.
Site Mission
Please see the menu for numerous articles of interest. Please leave a comment or send an email if you are interested in the material on this site.
Interested in supporting this site?
You can help by sharing the site with others. You can also donate at where there are full details.