Gödel’s Incompleteness Theorem has Not Been Proved by the Existing Popular Proving Versions

Ma ZhaoShui

This article shows the concrete mistakes in the existing popular proving versions for Gödel’s Incompleteness Theorem step by step, and illustrates why the corresponding proofs are incorrect. Keywords:nature number law; provable; undecidable; Gödel number; self-referential proposition; Diagonal lemma; fixed point theorem; self-replicationformula.

Volume 12 | 02-Special Issue

Pages: 247-252

DOI: 10.5373/JARDCS/V12SP2/SP20201067