Computation and intractability: echoes of Kurt Gödel

MaRDI QIDQ2856489zbMATHFDO

Authors Christos Papadimitriou

Publication date 29 October 2013

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of computer science (68-03) History of mathematical logic and foundations (03-03)

Recommendations

• Computability. Turing, Gödel, Church, and beyond
• Gödel's incompleteness theorems and computer science
• Logical Approaches to Computational Barriers
• Godel on computability
• Gödel's incompleteness phenomenon -- computationally
• Logical Approaches to Computational Barriers
• scientific article; zbMATH DE number 5064404
• Von Neumann, Gödel and complexity theory
• Turing‐computability and artificial intelligence: Gödel’s incompleteness results

Cited in

(10)

• scientific article; zbMATH DE number 4098721 (Why is no real title available?)
• Von Neumann, Gödel and complexity theory
• The origins of the halting problem
• scientific article; zbMATH DE number 3827200 (Why is no real title available?)
• scientific article; zbMATH DE number 5064404 (Why is no real title available?)
• Computability. Turing, Gödel, Church, and beyond
• scientific article; zbMATH DE number 5187689 (Why is no real title available?)
• Logical Approaches to Computational Barriers
• Gödel, Searle, and the Computational Theory of the (Other) Mind
• Logical Approaches to Computational Barriers

This page was built for publication: Computation and intractability: echoes of Kurt Gödel

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