Computability Turing, Gödel, Church, and Beyond

In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Copeland, Jack, Posy, Carl J., Shagrir, Oron
Médium: E-kniha Kniha
Jazyk:angličtina
Vydáno: Cambridge, Mass MIT Press 2013
The MIT Press
Vydání:1
Edice:Computability
Témata:
Computational complexity
Computer Science
COMPUTERS
Computing and Processing
General Topics for Engineers
History
Mathematics & Statistics
Mathematics > Philosophy
Philosophy
ISBN:0262527480, 9780262527484, 0262018993, 9780262018999
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Obsah:
  • Index About the Authors 11. Is Quantum Mechanics Falsifiable? A Computational Perspective on the Foundations of Quantum Mechanics 10. Why Philosophers Should Care about Computational Complexity 9. Interactive Computing and Relativized Computability 8. Gödel’s Philosophical Challenge (to Turing) 7. The Open Texture of Computability 6. After Gödel 5. Computability and Constructibility Cover Title Page, Copyright 4. The Church-Turing “Thesis” as a Special Corollary of Gödel’s Completeness Theorem 3. About and around Computing over the Reals 2. Computability and Arithmetic 1. Turing versus Gödel on Computability and the Mind Contents Introduction: The 1930s Revolution
  • 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