哥德尔不完备定理与反机械论论证：再探讨
Gödel's incompleteness theorem and the Anti-Mechanist Argument: revisited
AI总结：
本文为纪念Krajewski相关论文的特刊而作，补充阐释其基于哥德尔不完备定理的反机械论论证研究，归类相关误解，结合近期进展深入讨论哥德尔析取论题等三个核心问题。
摘要：
本文是为《Studia Semiotyczne》期刊专门纪念Stanislaw Krajewski论文[30]的特刊所撰写的文章，针对Krajewski[30]中基于哥德尔不完备定理的反机械论论证内容给出补充说明。第3节对Krajewski[30]的第4-6节做了额外阐释，并归类了与反机械论论证相关的对哥德尔不完备定理的若干误解。第4、5节更细致地讨论了Krajewski[30]第7-8节涉及的哥德尔析取论题、哥德尔一致性不可证论题以及自然数的可定义性，阐述了近期研究进展对这些问题的影响。
英文摘要：
This is a paper for a special issue of the journal "Studia Semiotyczne" devoted to Stanislaw Krajewski's paper [30]. This paper gives some supplementary notes to Krajewski's [30] on the Anti-Mechanist Arguments based on Gödel's incompleteness theorem. In Section 3, we give some additional explanations to Section 4-6 in Krajewski's [30] and classify some misunderstandings of Gödel's incompleteness theorem related to Anti-Mechanist Arguments. In Section 4 and 5, we give a more detailed discussion of Gödel's Disjunctive Thesis, Gödel's Undemonstrability of Consistency Thesis and the definability of natural numbers as in Section 7-8 in Krajewski's [30], describing how recent advances bear on these issues.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
