关于自指句子的算术真
逻辑
2019-07-02 v3
摘要
我们取自哥德尔1931年开创性论文中的一个论证，将其推广并检验其有效性。所讨论的论证如下：句子 述及自身不可证，且 确实不可证；因此， 为真。
引用
@article{arxiv.1607.04055,
title = {On Arithmetical Truth of the Self-Referential Sentences},
author = {Kaave Lajevardi and Saeed Salehi},
journal= {arXiv preprint arXiv:1607.04055},
year = {2019}
}
备注
7 pages