[BobaFloutist]

Ok, a different question: How do we know that several orders of magnitude past the digits we've calculated so far, Pi (or e, or 2^1/2, or any irrational number) doesn't start repeating (or end), and turn out to be rational.

If an irrational number has to have infinite digits without repeating (or stopping), and we can't calculate infinite digits, how can we ever know that a number is actually irrational? What if it's just an absurdly specific rational number, and we just haven't gotten to the end?

[pfdietz]

There are proofs that pi and e are irrational. These proofs aren't entirely trivial (especially for pi), but they're not very long. There are longer proofs that neither number is algebraic (solution to a polynomial equation with rational coefficients.)

https://en.wikipedia.org/wiki/Proof_that_e_is_irrational

https://en.wikipedia.org/wiki/Proof_that_%CF%80_is_irrationa...

The "third" fundamental constant of mathematics, Euler's constant, is thought to be irrational but there is as yet no proof (so it's conceivable it could be rational!)

[coldcache]

You may enjoy reading through this: https://mathoverflow.net/questions/32967/have-any-long-suspe...

[xigoi]

You don’t need to know the digits of a number to prove that it’s irrational. You just need to demonstrate that it can’t be expressed as the ratio of two integers.

[IngoBlechschmid]

Indeed! For instance, Wikipedia presents a couple of proofs of the irrationality of √2 (including a geometric one). None of these require knowledge of its digits.

https://en.wikipedia.org/wiki/Square_root_of_2

[pfdietz]

I think the person you were responding to doesn't understand proof by contradiction.