1) On the Significance of G(?)del s Theorems
哥德尔定理的意义
3) 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.
本文从芝诺悖论和哥德尔不完备性定理出发,在讨论了牛顿经典力学公理化体系特点的基础上,比较详细地分析了相对论、量子力学、粒子物理标准模型、大统一理论和超弦理论等现代物理学的内在逻辑问题,并指出了科学发展的内在动力和发展趋势。
4) Gdel's incompleteness theorem
哥德尔不完全性定理
1.
Gdel's incompleteness theorem and relations between mind and machine
哥德尔不完全性定理和“心灵与机器”的关系问题
5) 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.
简述了哥德尔第一不完全性定理和哥德尔第二不完全性定理,通过论证证明哥德尔的两个不完全性定理的证明过程有误。
6) Godel Secnd Incompleteness Theorem
哥德尔第二不完全性定理
补充资料：哥德尔
| 哥德尔（1906～1978） G  del，Kurt奥地利数学家。1906年4月28日生于奥匈帝国的布尔诺，1978年1月14日卒于普林斯顿。1924年入维也纳大学主修物理。1926年转攻数学，1930年春获博士学位。哥德尔一生致力于数理逻辑和数学基础的研究，其重要贡献有：①证明了狭谓词演算的有效公式皆可证。②1931年证明了一个包括初等数论的形式系统，如果是相容的，则它是不完全的（即在本系统中必存在不可证明的真命题）；还证明：这样系统的相容性在本系统中不能证明，更不能用有穷方法证明。③在1939年证明了连续统假设相对于通常的集合论公理系统是相容的。④1958年发表的关于有穷观点的扩张一文里给出一个对于古典数论的构造性解释。他的这些工作从正面或反面、或是部分地解答了20世纪后在数学基础方面争论的最根本的问题。同时也给希尔伯特计划以很大的冲击。他以独立的哲学见解和精湛的数学才能把数学和逻辑结合起来，创建了新方法，把数学基础研究提高到新的水平，使大部分的数理逻辑发展成为 数学的分支。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条