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 musicale on Friday June 18, 2021 @11:03AM (#27551100)
I'm puzzled as to why the author seems to think that the incompleteness theorem says anything important about AI (rather than just pointing out that self-contradictions can be a potentially irritating problem in logical systems - something that was known since antiquity.)
[ Parent | on HN ]
Re:1931: Kurt Gödel shows limits of math, logic, computing, AI by P-NP on Saturday June 19, 2021 @02:45AM (#27558355)
He writes: "Thus he identified fundamental limits of algorithmic theorem proving, computing, and any type of computation-based AI."

An automatic theorem prover is a kind of AI. Gödel showed its limitations.

There have been entire conferences dedicated to Gödel and AI.

[ Parent | on HN ]
Re:1931: Kurt Gödel shows limits of math, logic, computing, AI by musicale on Tuesday June 22, 2021 @02:49AM (#27588717)
> An automatic theorem prover is a kind of AI. Gödel showed its limitations.

Which of those limitations apply only to AI and not to human intelligence and mathematical reasoning?

Is it somehow surprising that AI can't prove mathematical contradictions to be true?

[ Parent | on HN ]