Turing‐computability and artificial intelligence: Gödel’s incompleteness results

DOI10.1108/03684929510094316zbMath0931.03011OpenAlexW2051209733MaRDI QIDQ4246465

Sang Wu Kim, Sang-Mun Kim

Publication date: 6 June 1999

Published in: Kybernetes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1108/03684929510094316

zbMATH Keywords

Gödel's incompleteness theoremsAI thesismachine proving all mathematical truths

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) General topics in artificial intelligence (68T01)

Cites Work

• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

This page was built for publication: Turing‐computability and artificial intelligence: Gödel’s incompleteness results