News for hackers. Stuff that matters.

A comment on Gödel's Theorem. Parent comment

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.
[ Parent | on HN ]
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?
[ Parent | on HN ]
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.
[ Parent | on HN ]