News for hackers. Stuff that matters.

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

Re:Gödel's Theorem by jeromebaek on Thursday January 31, 2019 @11:22AM (#19045891)
What final "assumption" are you referring to, a definition or an axiom?
[ Parent | on HN ]
Re:Gödel's Theorem by fmap on Thursday January 31, 2019 @12:27PM (#19046584)
I'm referring to the axiom that being godlike is a positive property. You can show that being godlike is a positive property iff god exists.
[ Parent | on HN ]