prog

Challenge^2: Floating Point without Errors

38 2020-10-18 14:45: >>37
The problem here is modern definition of real numbers relies on Archimedean property as axiom. i.e. trying to prove Archimedean property relying on 'real numbers' is circular Archimedean property relying on Archimedean property.
59: VIP:

do not edit these