Gödel's incompleteness theorems and computer science
From MaRDI portal
(Redirected from Publication:1567047)
Recommendations
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)