まるで意識していませんでしたが、今日の大きなエントリ二つはともに整礎な構造についてってことなりますね。と思ってみたら、大翔さんが数学って面白い！？ : 無限降下法 - livedoor Blog（ブログ）なんて記事を書いていることを発見。これも実質的に自然数…

つい最近になるまで、「全ての可算全順序構造は有理数体に埋め込める」っていうのに気がついていませんでした。やっぱり実数って不気味偉大だ。というわけで、ωより大きい順序数がまるっきり不自然というわけではないのですが。…そんなことは証明論とかを勉…

ホワット・ア・ワンダフル・ワールド - FC2 BLOG パスワード認証 コメントしようと思ったのですが、なんか長くなりそうなのでトラバで。もちろんネタは整礎帰納法と超限帰納法の違いについて。整礎帰納法もwell-founded inductionも聞いたことありませんでし…

6/1に亡くなられたそうですね。日本の数学界への長年の貢献を感謝し、ご冥福をお祈りいたします。

というわけで、アルファブロガーになれるかどうかはとにかく正則性公理。型付ラムダ計算 - 白のカピバラの逆極限 S.144-3 それと型がつけられるかということがどうも正則性公理と関わっている気がして、この公理ってないほうが楽しくないかな。 haskellもプ…

kururu_goedelさんが『正則性公理』についてブログを書こうとしたらMyブログ軍師にこう言われました。 いや、それくらいでアルファブロガーになれるなら一回くらいなってみたいかも。