ゲーデルの不完全性定理とはなんだったのか - As a Futurist...ここ数日，ゲーデルの不完全性定理についての本を 2 冊読んだ． 僕は，数理論理学とかさっぱりやったことないので，読んだもののその証明についてはほとんど 意味不明だった．だが，この 2 冊の本は証明そのものの解説よりも，不完全性定理がなぜ生まれてきたのかという 「歴史」について語ってくれていたので，逆によく理解できたと思う，純粋に定理の説明だけされたって 素人にわかるわけがない．それを，歴史という文脈から説明してくれたので，僕の中の理論とも 比較参照しながら読み進めることができた． 以下で，僕が得られたエッセンスをまとめていこう，間違っているかいないかは気にせず，自重せずにに 書いて行く．どうにもまずい点があればぜひ指摘して欲しいけど，そこまで関心がない方はどうぞ 無視してくださいませ． カントール → ヒルベルト → ゲーデルという流れ 現代数学やってる人にはあたりまえなんだろうけど，この
