Computation and intractability: echoes of Kurt Gödel
From MaRDI portal
Publication:2856489
zbMATH Open1275.03006MaRDI QIDQ2856489
Publication date: 29 October 2013
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) History of computer science (68-03)
Related Items (7)
Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ The origins of the halting problem ⋮ Gödel, Searle, and the Computational Theory of the (Other) Mind ⋮ Logical Approaches to Computational Barriers ⋮ Computability. Turing, Gödel, Church, and beyond ⋮ Title not available (Why is that?)
Recommendations
- Title not available (Why is that?) 👍 👎
- Gödel's incompleteness theorems and computer science 👍 👎
- Computability. Turing, Gödel, Church, and beyond 👍 👎
- Von Neumann, Gödel and Complexity Theory 👍 👎
- Godel on computability 👍 👎
- Turing‐computability and artificial intelligence: Gödel’s incompleteness results 👍 👎
- Gödel’s Incompleteness Phenomenon—Computationally 👍 👎
- Logical Approaches to Computational Barriers 👍 👎
- 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)