作者简介

斯蒂芬·布迪安斯基(Stephen Budiansky),美国传记作家、科普作家、古根汉研究员,英国《科学》期刊编辑;《纽约时报》《华盛顿邮报》《经济学人》自由撰稿人,先后出版过17部作品,代表作如《霍姆斯传》。

内容简介

哥德尔被美国《时代周刊》评为20世纪最有影响力的100个人之一,爱因斯坦称其为自亚里士多德之后最伟大的逻辑学家,他的理论为计算机科学和人工智能领域的发展奠定了基础。他提出的哥德尔不完备性定理,堪称数学逻辑理论中最伟大的发现,至今仍影响着人工智能领域的发展。

下载地址

豆瓣评论

  • ZYN
    这本书算是对数学家生活很faithful的画像。里面IAS与范氏大楼的历史以及各种八卦挺好玩的。哥德尔“喜欢热闹的聚会”,但他“相当沉默,不会参与非数学话题的讨论”。他评价到“美国人的性格里没有一点儿能与紧张和敏感沾上边的东西,他们通常不拘小节且极度自信”,可谓一语中的。相传他在入籍时差点当场在法官面前用自指证明出美国宪法漏洞。总之哥德尔让数学变得更加有趣,开辟出逻辑学里一大片天地。有时间去了解一下Cohen的forcing和可计算性理论中的busy beaver function。02-26
  • 嘟嘟嘟嘟~~
    一百多页哥德尔才出生,某些背景交代似乎关系不大但又颇费笔墨。01-13
  • 烧羊肉
    哥德尔为自己的宇宙制定了无懈可击圆满自洽的逻辑,与常人世界重叠的部分是高山仰止的数学皇冠,与你我生活交叉错过的部分,却只能看到一个仿若孩童的投影。12-28
  • 黄彬
    20世纪说德语的天才可真多啊。01-10
  • 歪~
    2023读过的一篇补登。GEB对我的启发是非常基础的,哥德尔又是三个人中相对最陌生的那一个。在这个很基础的证明题里,世界的答案在世界之外02-07

猜你喜欢

大家都喜欢