ゲーデルはじめました - takkan

最近、不完全性定理に関して混乱中というエントリをみて、そういえば、社員旅行でゲーデルの話がでたのを思い出し、ちょっと勉強してみることにしました。

本は、nskj77さんのところで紹介されていた、ゲーデルの哲学を。

こういう公理だとかの証明って、大学のとき、すっごくつまんなかったけど、今更ながら、まじめに勉強したくなったなぁ。たぶん、おじいちゃんが教えていたり、何のために必要になるかがわかんなかったから、興味なかったんだよなぁ。今でも、役にたつかは、わかんないけど。