ゲーデルの不完全性定理

対角線上の悪魔―心は科学で証明できる (Exocentric theory (1))

対角線上の悪魔という本を読んでいる。ゲーデルの不完全性定理の解説があって(しかもかなり分かりやすくて、でもちょっと読み返すと誤解を生みそうだけど)、それで面白くなって積読になってたペンローズの本を引っ張り出してきた。

皇帝の新しい心―コンピュータ・心・物理法則

すごいねゲーデル。