News for hackers. Stuff that matters.
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!"
Re:Gödel's Theorem by empath75 on Wednesday January 30, 2019 @10:18PM (#19042006)
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?
Re:Gödel's Theorem by empath75 on Thursday January 31, 2019 @07:30AM (#19044267)
Godels theorem has nothing to say about first order logic.