車より自転車の方が好きな乗り物です。これは最近いただいたシボレーの自転車。けっこうきにいっています。ただ、きちっとした自転車置き場を作り忘れたため、イナバの物置に駐輪しているですが、これが出し入れ不便なんです。新築する人は自転車置き場を忘れずに。
ゲーデルの不完全性定理とω-無矛盾性とローヴェルの不動点定理
-
このところずっと、Yanofsky “A Universal Approach to Self-Referential Paradoxes,
Incompleteness and Fixed
Points”を参考に「ローヴェルの不動点定理」についてエントリーしている。まあ、それはこの定理がぼくにとっては衝撃で...
3 日前

