GP did not mix up anything. Some of those finite formulas *also* will be too lon...

pwdisswordfish2 on March 25, 2020 | parent | context | favorite | on: The field of “useful reals” between rational and r...

GP did not mix up anything. Some of those finite formulas also will be too long to be written within the constraints of this universe. The pigeonhole principle applies just as much to finite formulas as it does to finite strings of decimal digits.