"数学は嫌いです!―苦手な人のためのお気楽数学 (講談社文庫)" (石川 英輔)
非r.e.集合の存在定理とローヴェルの不動点定理
-
前回は、Yanofskyの論文” A Universal Approach to Self-Referential Paradoxes,
Incompleteness and Fixed
Points”から「ラッセルのパラドクス」を「ローヴェルの不動点定理」を使って説明するエントリーをした。今回は引き続き、チ...
4 週間前

