この人は鋭い。
ゲーデルの不完全性定理とω-無矛盾性とローヴェルの不動点定理
-
このところずっと、Yanofsky “A Universal Approach to Self-Referential Paradoxes,
Incompleteness and Fixed
Points”を参考に「ローヴェルの不動点定理」についてエントリーしている。まあ、それはこの定理がぼくにとっては衝撃で...
3 日前
投稿
