[ mona / prog / sol ]

prog


Challenge^2: Floating Point without Errors

56 2020-10-18 16:57 *

>>48,50,51
I tried to watch a lecture on non-standard analysis, but they basically built this new large field R(x) composed of rational functions such that R ⊃ R(x). Such that R(x) does not satisfy the Archimedian Property, and is not Dedikind-Complete, but then threw it out because it wasn't sufficient for some reason. I'm a bit tired now, but I might watch the second part of the lecture series where they actually define R*. I couldn't find any definitions online which I could understand with my current mathematical abilities.

58


VIP:

do not edit these