小学生の時は、誰もいない城に暮らす未来を夢想していた。その城は、深い堀に囲まれている。大伽藍で、大概が夜で、星の下、堀の水面に明かりが揺れている。こういう時を維持するためには、経済的な裏付けが必要なことは既にしっていた。外に出ずに食べていける仕組みが必要なことを。そして、そういう生活はまず無理と諦観を抱いていた。
ゲーデルの不完全性定理とω-無矛盾性とローヴェルの不動点定理
-
このところずっと、Yanofsky “A Universal Approach to Self-Referential Paradoxes,
Incompleteness and Fixed
Points”を参考に「ローヴェルの不動点定理」についてエントリーしている。まあ、それはこの定理がぼくにとっては衝撃で...
1 週間前

