YODL on Nostr: Funny, I had a comment about that too đ I donât know about the assertion above ...
Funny, I had a comment about that too đ
I donât know about the assertion above that theyâre âcontinuousâ, but it had to do with a comment on expanding to real numbers. Interestingly, they can be constructed rigorously from special SETS of rationals (look up Dedekind Cuts), which is pretty cool and sorta parallels the construction of the aforementioned fields as sets of remainders (kinda)
I donât know about the assertion above that theyâre âcontinuousâ, but it had to do with a comment on expanding to real numbers. Interestingly, they can be constructed rigorously from special SETS of rationals (look up Dedekind Cuts), which is pretty cool and sorta parallels the construction of the aforementioned fields as sets of remainders (kinda)