∈-無限降下列が存在しないことを主張するZFの公理は、 Axiom of regurality（正則性公理）ともAxiom of Fondation（基礎付けの公理）とも整礎性公理とも呼ばれ、ややこしい存在です。さて、ラッセルのパラドックスを巡る俗説の一つに「基礎付けの公理は、ラ…

以前、某大学の勉強会で話題となり、その後K氏が我々の読書会でも紹介してくれた話で、先日の忘年会の際に話題になったのですが。一応不完全性定理つながりということで、ご紹介いたします。 様相に可能世界以外の解釈はありうるのか デイヴィッド・ルイスの…

テッド・チャンは私の好きなSF作家の一人で、短編集「あなたの人生の物語」はかなり評価が高いようですが、この短編集の中の「ゼロで割る」は最悪の短編だと思います。これは、自然数論から矛盾が導出できることを発見した女性数学者が精神的な健康を失って…

深夜、強めの雨が降る。起床は11時半、一転して晴れている。穏やかな暖かい日。Cは本日から実家へ。本を読んだり、エントリーを書いたりして過ごす。夕食はご飯を炊き、イカソーメンと木綿豆腐を食べる。