Oh no ! Yet Another Flawed Incompleteness Proof
From time to time I get asked to comment on an incompleteness proof. Many of these proofs are so obviously flawed that it is easy to demonstrate where the flaw is. While initially I thought that I would deal with them all on the same page, I discovered that as more flawed proofs accumulate one page was becoming rather cumbersome, so I have now put them on separate pages, even if some of them can be dealt with in a few paragraphs. A list of the pages dealing with these obviously flawed proofs is given below.
- An Incompleteness Proof by Francesco Berto
- An Incompleteness Proof by Bernd Buldt
- An Incompleteness Proof by Dan Gusfield
- An Incompleteness Proof by Byunghan Kim
- An Incompleteness Proof by Dennis Müller
- An Incompleteness Proof by Arindama Singh
- An Incompleteness Proof by Sebastian Oberhoff
- An Incompleteness Proof by Antti Valmari
- And a crackpot “proof ” at Kalimuthu Sennimalai - Crackpot or Joker?
It is noteworthy that in many such proofs, the quality of the proof seems to be in inverse proportion to the esteem with which the authors view their own work.
For a detailed analysis of less obvious errors in some incompleteness proofs, see Errors in incompleteness proofs and Analysis of incompleteness proofs.
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.