3 ms·
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
by Konohamaru 4y ago
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.
- JoeyBananas 4y agoYes, it did succeed in that regard. To use your example, Godel would not have been able to explore those ideas without using mathematical logic.