最近、数学基礎論(論理学)の本をよんでる。ゲーデルの定理を理解するには、専門家の書いた本を読むのが一番だと思い、「ゲーデルと20世紀の論理学」という本を読んでる。ゲーデル生誕100周年を記念して書かれた本で全4巻ある。田中 一之、竹内外史などそうそ…