Inexact square roots


It should be sqrt(10) instead of this otherwise this isnt exact
(i understand you should not express reals but why not express this as

)

offtopic:replit ghost writer is good at writing things

Summary





(this is example of not that intelegent

)

Summary

its called ghost writer

Exact rationals work well because the answer to a problem is always a single number, even if the numerator and denominator have lots of digits. But the result of a ringed √⎺⎺⎺⎺ operator can't be added to, say, 𝜋, it'd have to be
(+ sqrt(10) pi)
which can't be reduced at all. Then you do more arithmetic and the result of the computation still can't be reduced at all.

That's not what people want when they do floating point arithmetic. They want a pretty good approximation to the answer, quickly.

Remember that hardly any real numbers can be represented exactly, regardless of what notation you use, because there are uncountably many real numbers, and only countably many computer programs, since a program is a finite stream from a finite alphabet, and there are $$\aleph_0$$ of those.

and get a block called "quickly smash expression into value"