ざらざらした実数

くるるさんの「実数ってなんや！」id:kururu_goedel:20061203:1165133677

計算可能性と計算複雑度で実数の階層を細かく調べようとすると、実数の表現として有理数のCauchy列を使うか無限小数を使うかDedekind切断を使うかで挙動が変わって、とってもとってもややこしい状況になります。
鄭錫忠ほか、多数の人々が、よってたかって調べているところです。

そういえば、この辺の話を解析学の人々の前で話した時に、実数がそんなにざらざらしているのは変だといわれたことがあります。全然、変ではありません。実数は、ややこしくざらざらしているんです。

ここには仕事の話は書かないつもりだったのに……。