悖论并非矛盾:重新审视第三次数学危机
Paradoxes Are Not Contradictions: Re-examining the Third Mathematical Crisis
浏览论文内容
中文总结 AI 辅助
本文重新审视第三次数学危机,提出悖论构成自洽逻辑结构的观点,指出图灵证明停机问题不可判定性的缺陷,讨论三值逻辑系统中悖论的不可判定性,还探讨了悖论对现实世界的启示,如光的波粒二象性。
中文摘要 AI 辅助
20世纪初罗素悖论被提出以解决集合论漏洞,直接引发第三次数学危机。本文提出并阐述一种不同于以往研究的观点:悖论不会产生矛盾,而是通过系统内逻辑规则下的自指和否定构成莫比乌斯带式自洽逻辑结构。哥德尔不完全性定理表明此类结构在形式逻辑系统中普遍存在。本文指出图灵证明停机问题不可判定性的证明策略存在缺陷。还讨论了三值逻辑系统中的悖论情况并严格证明其不可判定性。最后探讨了悖论对现实世界的启示,如光的波粒二象性可解释为波与粒子的悖论。
英文摘要
Russell's paradox was proposed in the early 20th century to address loopholes in set theory, which directly triggered the third mathematical crisis. This paper proposes and elaborates a perspective distinct from previous studies: paradoxes do not give rise to contradictions; instead, they constitute a Möbius strip-style self-consistent logical structure via self-reference and negation under the logical rules within a system. Gödel's incompleteness theorems indicate that such structures universally exist in formal logical systems. Turing proved the undecidability of the halting problem by first assuming the existence of a halting program and subsequently refuting this assumption through paradox construction, and this paper demonstrates flaws inherent to such proof strategy. Cases of paradoxes within three-valued logical systems are further discussed in this work, where the undecidability of paradoxes is rigorously proven. Finally, inspirations drawn from paradoxes for the real world are explored: two opposing factors can be integrated through the joint mechanism of self-reference and negation. A representative example is the wave-particle duality of light, whose essence may be interpreted as a paradox of waves and particles.