毎年この熱い季節になると、倉橋由美子のシュンポシオンを読みたくなる。
文庫とハードカバーの両方を持っているので、電車では、文庫、特に読み直したいときは、ハードカバーと使い分けている。
ゲーデルの不完全性定理とω-無矛盾性とローヴェルの不動点定理
-
このところずっと、Yanofsky “A Universal Approach to Self-Referential Paradoxes,
Incompleteness and Fixed
Points”を参考に「ローヴェルの不動点定理」についてエントリーしている。まあ、それはこの定理がぼくにとっては衝撃で...
1 週間前

