言わずと知れたゲーデルの不完全性定理。

読んだはいいが予想通り難しくて何度も「え…え？」と言っていた。

しかし、一冊丸々論文という訳でなく、3分の2が訳者である林さんと八杉さんのヒルベルトやカントール等の集合論の歴史についての解説であった。

だが解説といっても十分テクニカルな章もあるので、読む際はちゃんとある程度の数理論理学の予備知識がないと難しい。

まぁでもゲーデルが自分の母に宛てた手紙の中で、「まぁはじめは無理して解ろうとせず、小説読むみたいに読んでみ？(意訳)」と言っていたので、これからまた再読して自分のモノにしていけたらな…と思う。

ウィトゲンシュタインとゲーデルの数学的実在論の対立点について論じられたら面白そうだな。