Re:Why π^π^π^π could be an integer (for all we know) [video]
by Konohamaru on Saturday March 11, 2023 @01:35PM
(#35111166)
You misinterpreted what I wrote. I did not say it was a failure of mathematics. I said it was a failure of mathematical logic. Mathematics is a very successful project. Mathematical logic is a new project (invented in the 19th century by Frege) and was killed by Gödel in 1931.
Mathematics is incomplete, but there's no reason to think that these specific problems are insoluble. A proof that they were insoluble would be remarkable, but extremely unlikely.
It is also unlikely that e + π is rational, and nobody expects it to be. Nor would it matter if it it were. The proof itself is more interesting than the fact of the matter, one way or the other. The mechanism of the proof is a tool for mathematicians, to go on and prove other things. It's a human problem, not one about the foundations of logic.