He writes: "Thus he identified fundamental limits of algorithmic theorem proving... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

P-NP on June 19, 2021 | parent | context | favorite | on: 1931: Kurt Gödel shows limits of math, logic, comp...

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.

musicale on June 22, 2021 [–]

> 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?

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact