KI 2005: Advances in Artificial Intelligence

DOI10.1007/11551263MaRDI QIDQ5897754zbMATHOpenAlexFDO

Authors Manfred Kerber

Publication date 13 November 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11551263

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General topics in artificial intelligence (68T01)

Recommendations

• Remarks on Penrose's ``new argument
• On Gödel's theorem and mechanism: inconsistency or unsoundness is unavoidable in any attempt to `out-Gödel' the mechanist
• Why Gödel's theorem cannot refute computationalism
• Penrose's new argument
• Mechanism, truth, and Penrose's new argument

Cited in

(6)

• Penrose's new argument
• The Four Sons of Penrose
• Mathematics and the Mind
• A refutation of Penrose's Gödelian case against artificial intelligence
• On Gödel's theorem and mechanism: inconsistency or unsoundness is unavoidable in any attempt to `out-Gödel' the mechanist
• Mechanism, truth, and Penrose's new argument

This page was built for publication: KI 2005: Advances in Artificial Intelligence

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