Computability : Turing, Gödel, Church, and Beyond.
Copeland, B. Jack.
Computability : Turing, Gödel, Church, and Beyond. - 1st ed. - 1 online resource (373 pages) - The MIT Press Series . - The MIT Press Series .
Intro -- Contents -- Introduction: The 1930s Revolution -- 1 Turing versus Gödel on Computability and the Mind -- 2 Computability and Arithmetic -- 3 About and around Computing over the Reals -- 4 The Church-Turing "Thesis" as a Special Corollary of Gödel's Completeness Theorem -- 5 Computability and Constructibility -- 6 After Gödel -- 7 The Open Texture of Computability -- 8 Gödel's Philosophical Challenge (to Turing) -- 9 Interactive Computing and Relativized Computability -- 10 Why Philosophers Should Care about Computational Complexity -- 11 Is Quantum Mechanics Falsifiable? A Computational Perspective on the Foundations of Quantum Mechanics -- About the Authors -- Index.
Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developments.
9780262312677
Computational complexity.
Electronic books.
QA267.7.C677 2013eb
511.352
Computability : Turing, Gödel, Church, and Beyond. - 1st ed. - 1 online resource (373 pages) - The MIT Press Series . - The MIT Press Series .
Intro -- Contents -- Introduction: The 1930s Revolution -- 1 Turing versus Gödel on Computability and the Mind -- 2 Computability and Arithmetic -- 3 About and around Computing over the Reals -- 4 The Church-Turing "Thesis" as a Special Corollary of Gödel's Completeness Theorem -- 5 Computability and Constructibility -- 6 After Gödel -- 7 The Open Texture of Computability -- 8 Gödel's Philosophical Challenge (to Turing) -- 9 Interactive Computing and Relativized Computability -- 10 Why Philosophers Should Care about Computational Complexity -- 11 Is Quantum Mechanics Falsifiable? A Computational Perspective on the Foundations of Quantum Mechanics -- About the Authors -- Index.
Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developments.
9780262312677
Computational complexity.
Electronic books.
QA267.7.C677 2013eb
511.352