> But "modeling non-terminating loops in a computer program" is NOT the motivation for real numbers Indeed Turing himself proved that there are non-computable

> But "modeling non-terminating loops in a computer program" is NOT the motivation for real numbers Indeed Turing himself proved that there are non-computable real numbers.