1) Gdel incompleteness theorem
哥德尔不完备性定理
1.
Study on the logical basis of modern physics from Zeno paradox and Gdel incompleteness theorem;
从芝诺悖论和哥德尔不完备性定理看现代物理学的逻辑基础
2.
Starting from Zeno paradox and Gdel incompleteness theorem,this paper discusses the basic features of Newton s mechanics,furthermore analyses in detail the logical bases of modern physics such as theory of relativity,quantum mechanics, standard model of particle physics,grand unified theory and superstring theory,and points out the inherent dynamism and development trends of modern science.
本文从芝诺悖论和哥德尔不完备性定理出发,在讨论了牛顿经典力学公理化体系特点的基础上,比较详细地分析了相对论、量子力学、粒子物理标准模型、大统一理论和超弦理论等现代物理学的内在逻辑问题,并指出了科学发展的内在动力和发展趋势。
2) Gdel's incompleteness theorem
哥德尔不完全性定理
1.
Gdel's incompleteness theorem and relations between mind and machine
哥德尔不完全性定理和“心灵与机器”的关系问题
3) Godel First Incompleteness Theorem
哥德尔第一不完全性定理
1.
This paper makes simple analysis on Godel First Incompleteness Theorem and Godel Second In- completeness Theorem,thus demonstrates that there are mistakes in the process of proving the two Godel theorems.
简述了哥德尔第一不完全性定理和哥德尔第二不完全性定理,通过论证证明哥德尔的两个不完全性定理的证明过程有误。
4) Godel Secnd Incompleteness Theorem
哥德尔第二不完全性定理
6) Godel incompleteness theorems
Godel不完备性定理
1.
Non-logic discussion on Godel incompleteness theorems;
Godel不完备性定理的非形式化论述
补充资料:哥德尔不完备性定理
哥德尔不完备性定理 Gdel's incompleteness theorem 数学家K.哥德尔于1931年证明的两个定理。第一不完备性定理:任意一个包含算术系统在内的形式系统中,都存在一个命题,它在这个系统中既不能被证明也不能被否定。第二不完备性定理:任意一个包含算术系统的形式系统自身不能证明它本身的无矛盾性。 哥德尔的不完备性定理使希尔伯特证明数论系统无矛盾性的方案归于失败。但哥德尔的证明中所用到的方法却开创了递归论的研究。哥德尔不完备性定理中所指出的不可判定的命题是理论的而不是自然的命题。1977年,J.帕里斯给出了一个自然的命题,这个命题在数论中是不可判定的。这又引起人们寻找这类问题的兴趣。 |
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条