Turing‐computability and artificial intelligence: Gödel’s incompleteness results (Q4246465)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Turing‐computability and artificial intelligence: Gödel’s incompleteness results |
scientific article; zbMATH DE number 1294342
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Turing‐computability and artificial intelligence: Gödel’s incompleteness results |
scientific article; zbMATH DE number 1294342 |
Statements
Turing‐computability and artificial intelligence: Gödel’s incompleteness results (English)
0 references
6 June 1999
0 references
Gödel's incompleteness theorems
0 references
machine proving all mathematical truths
0 references
AI thesis
0 references
