News for hackers. Stuff that matters.

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

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 ]