3 ms·
Representing reals as fractions (rationals) goes a long way toward achieving this goal.
by teslalang 6y ago
Representing reals as fractions (rationals) goes a long way toward achieving this goal.
- fanf2 6y agoThe point of the paper is that is nowhere near enough for common calculator operations like trigonometry or exponentials
- MauranKilom 6y agoThe real numbers are notoriously non-equivalent to the rational numbers.
- masukomi 6y agosure, but supporting rational numbers solves for 2/3 of the types of "real" numbers in a dramatically better way than just making less crappy decimal representations.
- SloopJon 6y agoI haven't read the paper yet, but if I understand the post correctly, this interface represents numbers as the product of a rational and a recursive real, where the latter may be 1.