爱因斯坦比想象中还要可爱,而我对哥德尔也多了几分敬意。
评分因此,我以为哥德尔是一位超越现世的天才。
评分1938年到美国普林斯顿高等研究院任职,1948年加入美国籍。1953年成为该所教授。哥德尔发展了冯·诺伊曼和伯奈斯等人的工作,其主要贡献在逻辑学和数学基础方面。在20世纪初,他证明了形式数论(即算术逻辑)系统的「不完全性定理」:即使把初等数论形式化之后,在这个形式的演绎系统中也总可以找出一个合理的命题来,在该系统中既无法证明它为真,也无法证明它为假。这一著名结果发表在1931年的论文中。他还致力于连续统假设的研究,在1930年采用一种不同的方法得到了选择公理的相容性证明。3年以后又证明了(广义)连续统假设的相容性定理,并于1940年发表。他的工作对公理集合论有重要影响,而且直接导致了集合和序数上的递归论的产生。
评分都没有正式发表甚至记录,要逝世后从其手稿找出。
评分好
评分他亦讨厌旅行。
评分朋友买的,我也不知道怎么样
评分3社交哥德尔的妻子原本在夜总会工作,还已婚。他们的婚姻遭到哥德尔家人反对,但有情人终成眷属,在1938年9月20日结婚。他们没有小孩。
评分说不好看、不被天才们震撼的人,都没有良心
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.cndgn.com All Rights Reserved. 新城书站 版权所有