車より自転車の方が好きな乗り物です。これは最近いただいたシボレーの自転車。けっこうきにいっています。ただ、きちっとした自転車置き場を作り忘れたため、イナバの物置に駐輪しているですが、これが出し入れ不便なんです。新築する人は自転車置き場を忘れずに。
非r.e.集合の存在定理とローヴェルの不動点定理
-
前回は、Yanofskyの論文” A Universal Approach to Self-Referential Paradoxes,
Incompleteness and Fixed
Points”から「ラッセルのパラドクス」を「ローヴェルの不動点定理」を使って説明するエントリーをした。今回は引き続き、チ...
1 週間前

