arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0904.0342math.LO
收藏

哥德尔不完全性定理的一个蕴涵

An implication of Gödel's incompleteness theorem

Hitoshi Kitada

摘要:

给出了哥德尔不完备性定理的一个证明。这个新的证明被认为是哥德尔定理的超限扩展。它表明,如果一个假设的集合论ZFC的Meta水平上,以及在对象水平上,一个矛盾出现。原因是隐藏在哥德尔编号后面的Meta级别和对象级别的隐式识别。这些考虑的影响。

英文摘要:

A proof of Gödel's incompleteness theorem is given. With this new proof a transfinite extension of Gödel's theorem is considered. It is shown that if one assumes the set theory ZFC on the meta level as well as on the object level, a contradiction arises. The cause is shown to be the implicit identification of the meta level and the object level hidden behind the Gödel numbering. An implication of these considerations is stated.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑