Re:Why π^π^π^π could be an integer (for all we know) [video]
by Konohamaru on Wednesday March 08, 2023 @10:23PM
(#35077990)
Did it succeed in that regard? Gödel said that first-order logic powerful enough to capture Peano Arithmetic does not have a sound proof theory (incompleteness = not onto = unsound), meaning human imagination is still the limiting reactant.
[ Parent
| on HN ]
Re:Why π^π^π^π could be an integer (for all we know) [video]
by JoeyBananas on Wednesday March 08, 2023 @10:33PM
(#35078041)
Yes, it did succeed in that regard.
To use your example, Godel would not have been able to explore those ideas without using mathematical logic.