皮亚诺算术中的一些无穷悖论与不可判定句子
逻辑
2016-04-13 v1
摘要
据 Chaitin 所述，G\"odel 曾告诉他“用哪个悖论来证明第一不完备定理并不重要”。在本文中，我将提出几个无穷悖论，并展示如何像 G\"odel 对说谎者悖论所做的那样，将它们“翻译”为皮亚诺算术中的一些不可判定句子。结果部分验证了 G\"odel 的说法。
引用
@article{arxiv.1604.03452,
title = {Some Infinitary Paradoxes and Undecidable Sentences in Peano Arithmetic},
author = {Ka-Yue Cheng},
journal= {arXiv preprint arXiv:1604.03452},
year = {2016}
}
备注
10 pages