说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 哥德尔
1)  Godel
哥德尔
1.
Are There any Relations between Wittgenstein's Late Change and Gdel's Incompleteness Theorem ——Reremark on the Wittgenstein's Comments on Godel's Incompleteness Theorem
维特根斯坦后期思想转变与哥德尔定理有关系吗——再议维特根斯坦对哥德尔定理的评论
2)  godel number
哥德尔数
3)  Kurt Gdel (1906~1978)
哥德尔,K.
4)  Stockholm [英]['stɔkhəum]  [美]['stɑk,holm]
斯德哥尔摩
1.
Primary Analysis of "Underground Art Corridor" in Stockholm——Taking the Design of Art Decoration in Underground Station as an Example;
斯德哥尔摩的“地下艺术长廊”浅析——以地铁站点的艺术陈设设计为例
2.
Planning and Construction of New Town of Postwar Stockholm and Its Enlightenments;
斯德哥尔摩战后新城的规划建设及其启示
3.
Research on R&D and Innovation Systems of Stockholm;
瑞典斯德哥尔摩研发创新体系研究
5)  godel theorem
哥德尔定理
6)  Godel paradox
哥德尔悖论
1.
This axiom system can both eliminate the Godel paradox and retain the basic achievement of the theory of relativity.
 在哲学范畴里研究相对论,针对相对论产生的严重困难———哥德尔悖论,提出了一种新的公理系统,它既可使哥德尔悖论得以消除,又能保留相对论理论的基本成果,并使其得到更深层次的诠释。
补充资料:哥德尔
哥德尔(1906~1978)
G!!!G0351_1del,Kurt

   奥地利数学家。1906年4月28日生于奥匈帝国的布尔诺,1978年1月14日卒于普林斯顿。1924年入维也纳大学主修物理。1926年转攻数学,1930年春获博士学位。哥德尔一生致力于数理逻辑和数学基础的研究,其重要贡献有:①证明了狭谓词演算的有效公式皆可证。②1931年证明了一个包括初等数论的形式系统,如果是相容的,则它是不完全的(即在本系统中必存在不可证明的真命题);还证明:这样系统的相容性在本系统中不能证明,更不能用有穷方法证明。③在1939年证明了连续统假设相对于通常的集合论公理系统是相容的。④1958年发表的关于有穷观点的扩张一文里给出一个对于古典数论的构造性解释。他的这些工作从正面或反面、或是部分地解答了20世纪后在数学基础方面争论的最根本的问题。同时也给希尔伯特计划以很大的冲击。他以独立的哲学见解和精湛的数学才能把数学和逻辑结合起来,创建了新方法,把数学基础研究提高到新的水平,使大部分的数理逻辑发展成为  数学的分支。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条