|
|
|
|
|
|
by P-NP
1820 days ago
|
|
|
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. |
|
|
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?