The simulation part I'd argue isn't as interesting. That other part is though, namely that you, or a computer, can reason symbolically. We can treat the irratio

The simulation part I'd argue isn't as interesting. That other part is though, namely that you, or a computer, can reason symbolically. We can treat the irrational length of the hypotenuse as though it exists in some concrete sense and get sensible and even useful results out of it. The limits of this approach is indeed a question.