3 ms·
The reals are irrelevant to a machine, because Almost All Reals Are Normal you definitely can't do real arithmetic with a machine. Floating point is just the i
by tialaramex 3y ago
The reals are irrelevant to a machine, because Almost All Reals Are Normal you definitely can't do real arithmetic with a machine.
Floating point is just the integers wearing a funny hat. Fixed point is a different funny hat. The rationals are two integers in a trenchcoat.
- hansvm 3y agoYou can do a meaningful arithmetic with any real you're able to enter into the machine [0], and the tidbit they took the time to share makes sense even in that sort of restricted context. [0] https://blog.acolyer.org/2020/10/02/toward-an-api-for-the-real-numbers/ https://blog.acolyer.org/2020/10/02/toward-an-api-for-the-re...
- tialaramex 3y agoThat's actually a really interesting piece of software, thanks for the link!