Reflections on the Diagonal Theorem, and Related Topics
この論文をさがす
抄録
A formula (function), that expresses a diagonal sequence generated by all finite length formulas (functions), is an essentially infinite length formula (function). The last report made it clear that the substitution function and the provability predicate in Godel's paper are essentially infinitely long expressions. These indicate that Godel's proof of the incompleteness theorems is incorrect. On the same basis this report shows that the diagonal theorem does not hold. Since Godel's incompleteness theorems, Rosser's theorem, Tarski's theorem and the Π 1-incompleteness theorem are proved using the diagonal theorem. This does not mean that the theorems do not exist, but they must be reexamined. Furthermore, the recursion theorem and the fixed point theorem must be reviewed, because that these theorems are proved using essentially infinite length functions.A formula (function), that expresses a diagonal sequence generated by all finite length formulas (functions), is an essentially infinite length formula (function). The last report made it clear that the substitution function and the provability predicate in Godel's paper are essentially infinitely long expressions. These indicate that Godel's proof of the incompleteness theorems is incorrect. On the same basis this report shows that the diagonal theorem does not hold. Since Godel's incompleteness theorems, Rosser's theorem, Tarski's theorem and the Π 1-incompleteness theorem are proved using the diagonal theorem. This does not mean that the theorems do not exist, but they must be reexamined. Furthermore, the recursion theorem and the fixed point theorem must be reviewed, because that these theorems are proved using essentially infinite length functions.
収録刊行物
-
- 研究報告アルゴリズム(AL)
-
研究報告アルゴリズム(AL) 2011 (3), 1-8, 2011-05-09
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1571698601963234688
-
- NII論文ID
- 110008583101
-
- NII書誌ID
- AN1009593X
-
- 本文言語コード
- en
-
- データソース種別
-
- CiNii Articles