News for hackers. Stuff that matters.
Re:Gödel, Escher, Bach: an in-depth explainer by lmm on Wednesday September 14, 2022 @02:53AM (#32834043)
Yes, very much so. I think of the incompleteness theorem as saying that the language of mathematics is rich enough to express questions that are too complex to answer. That's a lot less worrying than there being contradictions (questions that we can prove are both false and true).

There are no comments on this comment yet.