Re:Gödel's Theorem
by jeromebaek on Wednesday January 30, 2019 @09:01PM
(#19041620)
Once I had a similar conversation with Scott Aaronson about this. I said the theorem shows the limits of logic; he said it shows the POWER of logic. My reply was: what does it matter? It just depends on perspective. As in: "logic is so powerful, it can even demonstrate its own limitations!" or: "logic is limited, and we know this for eternity, because logic proved it!"
[ Parent
| on HN ]
It’s not really a limitation of logic, because logic is not constrained to a particular set of axioms.
Re:Gödel's Theorem
by googlemike on Thursday January 31, 2019 @01:46AM
(#19042936)
But logic is composed of a particular set of axioms and rules - so is not any thing composed of a set of such things itself constrained by the very nature of its parts?