prog

Challenge^2: Floating Point without Errors

47 2020-10-18 15:29: >>43
I'm not familiar with this, what does it mean to construct the reals using a model. Also out of curiosity does non-standard analysis define the reals in a different way? I'd be curious to see their definitions.
59: VIP:

do not edit these