■

全数学の論理学化(from yomoyomoさん)。「常識でわかることでも論理学ではわからない」のあたりがすこぶる面白い。こんな簡単そうな部分がまだまだ解決していないみたいで何だかとても安らぐ【そんな安らぎおれカネゴン】。

このページのレイアウトがどこかで見たことがあると思ったらやはり三浦先生がらみだった。ついでに見つけた雑文。