论文标题
在戈德尔的不完整定理的深处
On the depth of Gödel's incompleteness theorem
论文作者
论文摘要
在本文中，我们将Gödel的不完整定理作为案例研究来研究数学深度。我们认为，数学逻辑学家认为戈德尔的不完整定理的广泛判断是深刻的，并专注于哲学问题的深度所包含的哲学问题。我们专注于戈德尔（Gödel）深度不完整定理的方法论研究，并提出了三个标准，以解决其深度：影响其深度：影响，果实，果实，果实。最后，我们为戈德尔不完整定理的深度提供了一些解释。
In this paper, we use Gödel's incompleteness theorem as a case study for investigating mathematical depth. We take for granted the widespread judgment by mathematical logicians that Gödel's incompleteness theorem is deep, and focus on the philosophical question of what its depth consists in. We focus on the methodological study of the depth of Gödel's incompleteness theorem, and propose three criteria to account for its depth: influence, fruitfulness, and unity. Finally, we give some explanations for our account of the depth of Gödel's incompleteness theorem.
