有名な建築家が設計した美術館の模型です。
ゆっくり見に行きたいものです。
いまは、どたどたして、とても心静かにいけません。ちょっと出かけると、まだーまだーと騒ぐ、まだまだ星人がいますので。
非r.e.集合の存在定理とローヴェルの不動点定理
-
前回は、Yanofskyの論文” A Universal Approach to Self-Referential Paradoxes,
Incompleteness and Fixed
Points”から「ラッセルのパラドクス」を「ローヴェルの不動点定理」を使って説明するエントリーをした。今回は引き続き、チ...
1 週間前

