讀書筆記：《數學巨人哥德爾》

《數學巨人哥德爾——關於邏輯的故事》
作者：John L. Casti、Werner DePauli，譯者：林志懋

因為之前見人講起所以翻睇一次，畢竟對上一次睇講緊成十年前嘅事（幾肯定係中七前睇的），導讀指呢本係國內（指台灣）第一本有系統介紹哥德爾其人及成就嘅書，只係引介下，二百頁都唔夠又真係唔可以苛求。

除咗寫錯維根斯坦嘅 Philosophical Investigations 做 Logical Investigations（p.74，原文都寫錯）之外，望落都無乜大錯，一開頭用蛋糕去講不完備定理呢點幾好（有張圖應該係源自 GEB）。我懷疑其中一個作者係電腦底，所以講完不完備定理之後（先講佢年青去到普林斯頓高等研究所 aka 不正常人類研究中心）嘅 approach 係圖靈機（講埋 busy beaver）、人工智能同 Chaitin（中間少不免要講下物理學，唔識唔講）。