寝落ち＋はてなメンテ

不完全性定理の歴史とか内容とか。かなり分かりやすく書いてあって、証明の形式化あたりまではもしかして理解できるんじゃね？と思っていたが後半のあたりはかなり意味不明だった。
やっぱり記号論理とか形式的証明は難しいなあ。
あとがき見たら謝辞にまた某林晋が出てきた(ぉ あのオッサンそんなに有名なのかしら。授業で嫌いになって著書もいまいちアレゲっぽいので読んでなかったんだが不完全性定理の新しい本がやたら評判がよさげなのでこんど見つけたら買ってみるかな…。

ランキング→ １　２ ３