下载安卓app注 册登 录

哥德尔

哥德尔
作者:王浩 (作者), 康宠逵 (译者)
出版:上海译文出版社 2002.9
丛书:世纪文库
页数:449
定价:30.00 元
ISBN-10:7532728382
ISBN-13:9787532728381 去豆瓣看看 
10
+ 100%
目 录内容简介
  《哥德尔》讲述有一个人曾在不到两年的时间内让数学界感受了大喜与大悲的经历,他就是哥德尔。1929年秋,哥德尔在他的博士论文中证明了一阶逻辑的完全性,这对于当时试图以“公理化”方法构建数学基础的形式主义学派是一个莫大的鼓舞。希尔伯特,形式主义学派的领军人物,确信他的元数学和证明论将会成功地确立全部数学的相容性和完全性。哥德尔的逻辑完全性定理似乎表明曙光就在前头。1930年夏天,柯尼斯堡,康德的诞生地,也是希尔伯特的故乡,在接受“荣誉市民”受礼仪式的演说中,希尔伯特坚定地说出最后一句话:“我们必须知道,我们必将知道(Wir müssen wissen. Wir werden wissen)”。但就在第二年,哥德尔发表的另一篇论文却打开了“潘多拉的盒子”。这篇题为《论〈数学原理〉及有关系统的形式不可判定命题》(1931年)的论文包含了两个惊世骇俗的结论,其中对数学界尤具毁灭性的断言是:任何数学系统,只要其能包含整数的算术,其相容性就不可能通过几个基础学派(…
 查看完整  
比价列表
 商家评价 (5)折扣价格
暂无京东缺货N个月
11天前更新

5
中图缺货N个月
97天前更新

1人拥有

15年11月16日  拥有