← Back to context

Comment by zozbot234

1 hour ago

In practice you're always computing with finite precision. (Even computing with symbolic expressions is just a preliminary step to what's ultimately a numerical result with finite precision.) The whole point of real numbers is to abstract away from detailed considerations of precision, and figure out what happens if you only ever care about putting satisfactory bounds on the output and are willing to bound your input to the extent required.