塩澤一洋さんのブログを見つけて、楽しみに訪れている。
レパードをインストールした時に、落とし穴にはまらないように参考にできる投稿がないか探しまわっている時に偶然見つけたブログだ。
きれいなフォトとMacの話題で楽しい。このタッチどこかで記憶がある。モリログアカデミーだ。偶然二人とも大学の先生である。
ゲーデルの不完全性定理とω-無矛盾性とローヴェルの不動点定理
-
このところずっと、Yanofsky “A Universal Approach to Self-Referential Paradoxes,
Incompleteness and Fixed
Points”を参考に「ローヴェルの不動点定理」についてエントリーしている。まあ、それはこの定理がぼくにとっては衝撃で...
1 週間前

