Irrelevance and relevance of Gödel’s theorems to artificial intelligence

DOI10.1108/03684929510089367zbMATH Open0930.68119OpenAlexW2038280483MaRDI QIDQ4246463

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/03684929510089367

zbMATH Keywords

AI thesis

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) General topics in artificial intelligence (68T01)

Cites Work

• Provability interpretations of modal logic
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

This page was built for publication: Irrelevance and relevance of Gödel’s theorems to artificial intelligence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4246463)