News for hackers. Stuff that matters.

A comment on 1931: Kurt Gödel shows limits of math, logic, computing, AI. Parent comment

Re:1931: Kurt Gödel shows limits of math, logic, computing, AI by truth_ on Friday June 18, 2021 @03:29AM (#27548160)
Yes, I can propose a concrete correction. Just not in the mood.

And, moreover, I don't need to. It is already "out there".

[ Parent | on HN ]
Re:1931: Kurt Gödel shows limits of math, logic, computing, AI by P-NP on Friday June 18, 2021 @11:59AM (#27551725)
This does not seem to be an extremely convincing answer. What exactly is the important contribution of Turing that is not mentioned in the text?
[ Parent | on HN ]