alt Hacker NewsThis is probably a dumb question, but do we actually know that pi has an infinite number of decimal digits or are we assuming that it does because we haven’t developed a sufficiently powerful computer to calculate the last digit of pi?
I’m guessing this is something that could be formally proven?
Replies
mike_hock • yesterday at 8:37 PM
We definitely know that Pi is irrational, we just don't know if it's normal (i.e. if the PiFS joke even works).
pixel_popping • yesterday at 8:31 PM
Well, that should get GPT-5.5 extended thinking going for a few weeks.
Here is a one page proof that pi is irrational - https://heuklyd.github.io/papers/pdf/Niven-1947.pdf