Why π^π^π^π could be an integer (for all we know) [video] (2021)

The video was insanely obnoxious, I could only watch about 5 seconds and I recommend nobody click.<p>It&#x27;s an interesting question though, I found an adult discussion about it: <a href="https:&#x2F;&#x2F;www.quora.com&#x2F;Why-is-it-unknown-whether-4-pi-pi-pi-pi-pi-is-an-integer" rel="nofollow">https:&#x2F;&#x2F;www.quora.com&#x2F;Why-is-it-unknown-whether-4-pi-pi-pi-p...</a>

Title needs (2021).

Tbh, the fact that mathematical logic cannot prove that e + π or π^π^π^π are irrational numbers is a huge failure of formal mathematical logic.<p>David Hume said that the purpose of logic is to record patterns of thinking we use, and every mathematician has a subconscious pattern of thinking that let&#x27;s them look at the expressions e + π and π^π^π^π and conclude &quot;there&#x27;s no way these could be rational&quot;. So the fact that we failed to write down these patterns of thought means our system of formal logic is extremely incomplete.