自然数と実数 - finalventの日記自然数と実数は自然的な型ではないか？とか昨日から今日にかけていろいろ考えていた。ふとカントールが何を考えていたのかわかったように思えた。 実数というのはその名に反して存在しない、というと言い過ぎだが、ある方法論的な意識によって現れる連続・無限の別名だ。アレフ０とアレフ１はカーディナルの差異ではあるだろうが、すべてはアレフ０から成り立っている……たぶん。 コンピュータ・サイエンスでは、singleやdoubleとかいうが、そういう型は自然的には存在しない。 では、stringは型か？ ３と"３"は違うのではないか。というか、それは何だか別の問題のように思える。 コンピュータ・サイエンスでは、classやtypeで、typeはclassだし、まあ、マルクスやヴェーバーも基本的には似たように考えている。 ただ、ことが人になると、人というクラスからは人のインスタンスはできない。少なくとも社会活動・
