非r.e.集合の存在定理とローヴェルの不動点定理
-
前回は、Yanofskyの論文” A Universal Approach to Self-Referential Paradoxes,
Incompleteness and Fixed
Points”から「ラッセルのパラドクス」を「ローヴェルの不動点定理」を使って説明するエントリーをした。今回は引き続き、チ...
1 週間前
備忘録みたいなもの。 すきな本と映画、テレビ、音楽、勉強について。 Apple Mac 他のパソコンについて。 図書館、美術館について。 建築について。