prog

Challenge^2: Floating Point without Errors

39 2020-10-18 14:50

The problem here is modern definition of real numbers relies on Archimedean property as axiom.

That's not true actually, the real numbers in standard analysis are uniquely defined as the (Dedekind-)complete ordered field.