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