1) K.Godel
哥德尔
2) godel theorem
哥德尔定理
3) Godel paradox
哥德尔悖论
1.
This axiom system can both eliminate the Godel paradox and retain the basic achievement of the theory of relativity.
在哲学范畴里研究相对论,针对相对论产生的严重困难———哥德尔悖论,提出了一种新的公理系统,它既可使哥德尔悖论得以消除,又能保留相对论理论的基本成果,并使其得到更深层次的诠释。
4) Godels β Function
哥德尔β函数
1.
This paper presents a method of data encryption by the research on Godels β Function.
文根据哥德尔β函数的构造思想 ,提出了现代计算机中一种数据加密的方法 ,详细说明了数据加密的全部流程 ,并通过一个实例进行了验
5) G·del computer
哥德尔计算机
1.
This article is expected to show the relationship between Goldbach s conjecture and anima computer theory,which belongs to mathematical problem of G·del computer which can be proved to some extent,instead of one formalists prefer to.
该证明揭示了哥德巴赫猜想与生命计算机原理的关系,即这是属于数理形式本体论中哥德尔计算机类型的既可证又不可证的数学问题,而不是形式主义的可证或不可证类型的数学问题。
6) foreign research on Godel
国外哥德尔研究
参考词条
补充资料：哥德尔
| 哥德尔（1906～1978） G  del，Kurt奥地利数学家。1906年4月28日生于奥匈帝国的布尔诺，1978年1月14日卒于普林斯顿。1924年入维也纳大学主修物理。1926年转攻数学，1930年春获博士学位。哥德尔一生致力于数理逻辑和数学基础的研究，其重要贡献有：①证明了狭谓词演算的有效公式皆可证。②1931年证明了一个包括初等数论的形式系统，如果是相容的，则它是不完全的（即在本系统中必存在不可证明的真命题）；还证明：这样系统的相容性在本系统中不能证明，更不能用有穷方法证明。③在1939年证明了连续统假设相对于通常的集合论公理系统是相容的。④1958年发表的关于有穷观点的扩张一文里给出一个对于古典数论的构造性解释。他的这些工作从正面或反面、或是部分地解答了20世纪后在数学基础方面争论的最根本的问题。同时也给希尔伯特计划以很大的冲击。他以独立的哲学见解和精湛的数学才能把数学和逻辑结合起来，创建了新方法，把数学基础研究提高到新的水平，使大部分的数理逻辑发展成为 数学的分支。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。