float や double のような浮動小数点型は、有限桁で切られているので当然ながら実数体を成していない。浮動小数点型では連続体濃度を表現できないのだ。しかしこれをもって「コンピュータは連続体濃度を持つ実数体の演算ができない」と断じて良いものだろう…