G『ゲーデルは何を証明したか―数学から超数学へ』（E. ナーゲル J.R. ニューマン）

『ゲーデルは何を証明したか—数学から超数学へ』（E. ナーゲル J.R. ニューマン）
ゲーデルの不完全性定理の概要について、わかりやすく書かれてると思う。さらっと読み通しただけやし、不完全性定理について読んだのは本書がはじめてやから、十分に理解はしてないし、よくわかってない。それでも、途中まではふむふむと納得しながら進めたので、かなり噛み砕いて解説してくれてるんちゃうかなぁ、と思う。次読むときは式などを書き出しながら、腰を据えて読みたい。