Gödel's incompleteness theorems and computer science

DOI10.1023/A:1009639629935MaRDI QIDQ1567047zbMATH OpenOpenAlexFDO

Authors Roman Murawski

Publication date 3 December 2000

Published in Foundations of Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1009639629935

zbMATH Keywords

artificial intelligenceTuring machinephilosophy of mathematicsmind-body problemphilosophy of mindGödel's incompleteness theorems

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic in artificial intelligence (68T27) Philosophy of mathematics (00A30) Logic in computer science (03B70)

Recommendations

• Does it follow from Gödel's incompleteness theorems that we are not machines?
• Incompleteness, Mechanism, and Optimism
• Use and Misuse of G^|^ouml;del's Theorem
• A note on applicability of the incompleteness theorem to human mind
• Mathematical Realism and Gödel's Incompleteness Theorems

Cited in

(11)

• Mathematical Realism and Gödel's Incompleteness Theorems
• The impact of Gödel's incompleteness theorems on mathematics
• Logical Approaches to Computational Barriers
• Computation and intractability: echoes of Kurt Gödel
• Gödel's incompleteness as an argument for dualism
• Normativity and mechanism
• Does it follow from Gödel's incompleteness theorems that we are not machines?
• Is human mind fully algorithmic? Remarks on Kurt Gödel's incompleteness theorems
• On the depth of Gödel's incompleteness theorems
• A brief note on Gödel, Nagel, minds, and machines
• scientific article; zbMATH DE number 3853029 (Why is no real title available?)

This page was built for publication: Gödel's incompleteness theorems and computer science

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