哥德尔传

2023读过的一篇补登。GEB对我的启发是非常基础的，哥德尔又是三个人中相对最陌生的那一个。在这个很基础的证明题里，世界的答案在世界之外02-07

20世纪说德语的天才可真多啊。01-10

哥德尔为自己的宇宙制定了无懈可击圆满自洽的逻辑，与常人世界重叠的部分是高山仰止的数学皇冠，与你我生活交叉错过的部分，却只能看到一个仿若孩童的投影。12-28

一百多页哥德尔才出生，某些背景交代似乎关系不大但又颇费笔墨。01-13

这本书算是对数学家生活很faithful的画像。里面IAS与范氏大楼的历史以及各种八卦挺好玩的。哥德尔“喜欢热闹的聚会”，但他“相当沉默，不会参与非数学话题的讨论”。他评价到“美国人的性格里没有一点儿能与紧张和敏感沾上边的东西，他们通常不拘小节且极度自信”，可谓一语中的。相传他在入籍时差点当场在法官面前用自指证明出美国宪法漏洞。总之哥德尔让数学变得更加有趣，开辟出逻辑学里一大片天地。有时间去了解一下Cohen的forcing和可计算性理论中的busy beaver function。02-26