クロネッカーの数え主義 - yoshitake-hのブログ

クロネッカーは自然数・序数を神の言葉に重ねあわせて見ていたのではないか．一方，基数を被造世界の多数性に重ねあわせて見ていた．創世記にある神の言葉によって順々に世界が創造されたという物語が，序数の基数に対する先行性として彼の思想の中核にあった．そういう解釈．
- ギリシャの神話の多神教的世界のことも併せて考えると，序数＝ヘブライズム，基数＝ヘレニズムという構図にもなる．ところが基数はアレフというヘブライ文字で，序数はオメガというギリシャ文字で表記されている．
そういうふうに考えてみると，連続体仮設は「神は第何日に実数を創造されたか？」というような問題だ．となると「連続体基数がアレフ１か否かがZFC公理系と独立」という連続体仮設の解決（1963）は重大で，当時既に水道方式を提唱していた遠山啓はこの結果に意を強くしたのではないか．
グロタンディーク宇宙・到達不能基数は安息日みたいなものか．