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

Interested in supporting this site?

You can help by sharing the site with others. You can also donate at where there are full details.

Recently added pages

Hilbert’s tenth problem

Cantor’s “A Contribution to the Theory of Sets”

Alexander’s Sphere

Indefinable Numbers

The Axiom of Choice

Origins of Transfinite Numbers

Hilbert’s “On the Infinite”

Dobbs vs Jackson & Roe vs Wade

Belief systems vs rationality

How to setup Dark mode for a web-site

I have set up this website to allow a user to switch to a dark mode, but which also allows the user to revert back to the browser/system setting. The details of how to implement this on a website are given at How to setup Dark mode on a web-site.

Decreasing intervals, limits, infinity and Lebesgue measure

The page Understanding sets of decreasing intervals explains why certain definitions of sets of decreasing intervals are inherently contradictory unless limiting conditions are included, and the page Understanding Limits and Infinity explains how the correct application of limiting conditions can eliminate such contradictions. The paper On Smith-Volterra-Cantor sets and their measure has additional material which gives a more formal version.

Easy Footnotes

How to set up a system for easy insertion or changing of footnotes in a web-page, see Easy Footnotes for Web Pages.

New section added to paper on Gödel’s flawed paper

After comments that my PDF paper on the flaw in Gödel’s incompleteness proof is too long, I have added a new section which gives a brief summary of the flaw, while the remainder of the paper details the resultant confusion of levels of language. The paper can be seen at The Fundamental Flaw in Gödel’s Proof of his Incompleteness Theorem.

Cantor’s Grundlagen and associated papers

To understand the philosophy of set theory as it is today requires a knowledge of the history of the subject. One of the most influential works in this respect was Georg Cantor’s set of six papers published between 1879 and 1884 under the overall title of Über unendliche lineare Punktmannig-faltigkeiten, which were published between 1879 and 1884. I now have English translations of Part 1, Part 2, Part 3 and the major part Part 5 (Grundlagen).