News for hackers. Stuff that matters.

A comment on Computing the Uncomputable. Parent comment

Re:Computing the Uncomputable by ikeboy on Wednesday April 06, 2016 @10:14AM (#11438876)
After considering the responses, I declare the analogue of Hofstadter's law: foundations of math are always weirder than you give them credit for, even after you've taken Hofstadter's law into account.
[ Parent | on HN ]
Re:Computing the Uncomputable by cousin_it on Wednesday April 06, 2016 @04:45PM (#11441955)
Most of the weirdness comes from Godel's and Lob's theorems, and they don't seem that strange to me anymore.

Here's a little tidbit that might make you more at peace with what's happening. Imagine that you didn't know anything about Godel's results. If you found some theory that proved its own consistency, would that be a reason to trust that theory more? Not at all! Inconsistent theories also happily prove their own consistency (because they prove all sentences). So it seems like Godel's theorems are thwarting a desire that was wrong-headed to begin with.

[ Parent | on HN ]
Re:Computing the Uncomputable by ikeboy on Wednesday April 06, 2016 @07:26PM (#11443206)
I'm not worried about the inconsistencies. I'm worried that we can't even define natural number and be sure that there's no infinite natural number.
[ Parent | on HN ]