>>14363848Irrational numbers don't exist.
As everyone knows your phone number is in pi, the complete works of William Shakespeare are in pi, etc. Since pi is infinite there exists infinite strings of digits containing only 001-some 3 digit number. If we let 001 mean mathematical symbol 1, 002 mean mathematical symbol 2, and so on then there exists entire mathematical proofs inside pi. An entire proof of the twin prime conjecture exists inside pi. Every provable statement has a proof inside pi. Every false statement doesn't have a proof inside pi. Pi can decide whether an arbitrary mathematical statement follows from the axioms or not. But Alan Turing proved that to be impossible in 1936:
https://en.wikipedia.org/wiki/EntscheidungsproblemThere is no algorithm which can decide whether an arbitrary mathematical statement follows from the axioms. That would imply a solution to the halting problem. This causes a contradiction. QED
