ながらく投稿しなかった。どたばたしていたし、他にやりたいこともあったので。
根井さんの本も最後までいかなかった。もう一冊は面白く読めたけどね。
ゲーデルの不完全性定理とω-無矛盾性とローヴェルの不動点定理
-
このところずっと、Yanofsky “A Universal Approach to Self-Referential Paradoxes,
Incompleteness and Fixed
Points”を参考に「ローヴェルの不動点定理」についてエントリーしている。まあ、それはこの定理がぼくにとっては衝撃で...
3 日前

