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