Gödel不完备性定理与反机械论论证：再探讨
逻辑
2025-10-02 v2
摘要
本文是为期刊《Studia Semiotyczne》纪念Stanislaw Krajewski论文[30]的特刊所撰写的论文。本文对Krajewski[30]中基于Gödel不完备性定理的反机械论论证进行了补充说明。在第3节中，我们对Krajewski[30]的第4-6节作了补充解释，并对与反机械论论证相关的Gödel不完备性定理的若干误解进行了分类。在第4和第5节中，我们结合Krajewski[30]第7-8节的内容，对Gödel析取论题、Gödel一致性不可证论题以及自然数的可定义性进行了更详细的讨论，阐述了最新进展如何影响这些问题。
引用
@article{arxiv.1902.05902,
title = {G\"{o}del's incompleteness theorem and the Anti-Mechanist Argument: revisited},
author = {Yong Cheng},
journal= {arXiv preprint arXiv:1902.05902},
year = {2025}
}
备注
20 pages. Accepted and to appear in a special issue of Studia Semiotyczne devoted to the Anti-Mechanist Arguments based on G\"{o}del's incompleteness theorem