This page is keyboard accessible:
• Use Tab, Shift + Tab keys to traverse the main menu. To enter a sub-menu use the Right Arrow key. To leave a sub-menu use the Left Arrow or the Escape key.
• The Enter or the Space key opens the active menu item.
• To skip the menu and move to the main content, press Tab after the page loads to reveal a skip button.
• To get back to the top of the page anytime, press the Home key.
• For more information, click here: Accessibility   Close this tip.

Note: Full functionality of this web page 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)

English Translation of Gödel’s Incompleteness Proof (PDF)

 

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)

section divider


Copyright © James R Meyer 2012 - 2018  
https://www.jamesrmeyer.com