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 P-NP on Friday June 18, 2021 @03:18AM (#27548113)
So you don't agree with the text but can you point out a concrete error instead of referring to "Many of the child parents to my main address to that"? I could not really find anything convincing in those child parents.
[ Parent | on HN ]
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 ]