On 2020-02-19 23:21, Shlomi Fish wrote:
Hi Paul,
Well, it is not unthinkable that a https://en.wikipedia.org/wiki/Computer_algebra_system (CAS)-like system will be able to tell that the abstract number sqrt(2) is irrational, as well as some derivative numbers such as 3 + sqrt(2). E.g:
Hi Shlomi, Those "academic exercises" where enterprising college students run pi out to a bazillion digits to see if they can find a repeating patterns came up with some way of handling an "unbounded" number. A "Real" (Cap R) perhaps? -T
