-
【库尔特·哥德尔】美国数学家_人物百科→MAIGOO百科
库尔特·哥德尔(Kurt Gödel)(1906年4月28日—1978年1月14日)是位数学家、逻辑学家和哲学家。其最杰出的贡献是哥德尔不完全性定理。在20世纪初,他证明了形式数论(即算术逻辑)系统的“不完全性定理”:即使把初等数论形式化之后,在这个形式的演绎系统中也总可以找出一个合理的命题来,在该系统中既无法证明它为真,也无法证明它为...
www.maigoo.com/citiao/199748.html
-
安装无追扩展,查看网站的隐私等级
添加扩展到浏览器添加后不再显示 哥德尔—一个真正的思想革命家,揭示人类与机器思维的本质区别_【...
2021年10月27日 - 我认为库尔特-哥德尔(Kurt Gödel),之所以没有像达尔文、牛顿、爱因斯坦和亚里士多德等许多大思想家那样有名,是因为大众很难理解一个数学家...www.360kuai.com/pc/9e2906e7220a0d299...
哥德尔(豆瓣)
评分: 8.5/10
王浩:《哥德尔》中译本序谈到哥德尔在逻辑学中的地位,一般都将他与亚里士多德及莱布尼茨相比。爱因斯坦是哥德尔中年时代相知最深...
book.douban.com/subject/1079...