1931: Kurt Gödel shows limits of math, logic, computing, AI

Re:1931: Kurt Gödel shows limits of math, logic, computing, AI by truth_ on Friday June 18, 2021 @02:55AM (#27548005)

> According to the text, however, this practical part really started with Konrad Zuse's patent application of 1936

"According to the text"

I don't agree with the text, that is the point.

[ Parent | on HN ]

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 ]