[ prog / sol / mona ]

prog

frontpage - thread list - new thread - preferences - ?

Challenge^2: Floating Point without Errors

45 2020-10-18 15:26: On the least upper bound property
Axiom 4, which requires the order to be Dedekind-complete, implies the Archimedean property.
https://en.wikipedia.org/wiki/Construction_of_the_real_numbers#On_the_least_upper_bound_property
59: VIP:

do not edit these