>>199
皮肉なのかマジなのかわからん。
計算可能な実数と不可能な実数があって、ルート2は計算可能だそうだ。
いずれにしてもこのスレの本筋からずれている話だとは思うが。