塩澤一洋さんのブログを見つけて、楽しみに訪れている。
レパードをインストールした時に、落とし穴にはまらないように参考にできる投稿がないか探しまわっている時に偶然見つけたブログだ。
きれいなフォトとMacの話題で楽しい。このタッチどこかで記憶がある。モリログアカデミーだ。偶然二人とも大学の先生である。
非r.e.集合の存在定理とローヴェルの不動点定理
-
前回は、Yanofskyの論文” A Universal Approach to Self-Referential Paradoxes,
Incompleteness and Fixed
Points”から「ラッセルのパラドクス」を「ローヴェルの不動点定理」を使って説明するエントリーをした。今回は引き続き、チ...
1 週間前

