On: Inventor Claims to Have Solved Floating Point Error Problem

[btilly]

This is true.

However there is no logical argument that can disprove the constructivist view, in which there aren't "more" irrationals than rationals. And therefore the logical argument that there is must have some hidden implicit assumptions.