Atjaunināt sīkdatņu piekrišanu

Computability: Turing, Godel, Church, and Beyond [Hardback]

4.00/5 (37 ratings by Goodreads)
Edited by (Hebrew University of Jerusalem), Edited by (Hebrew University of Jerusalem), Edited by (University of Canterbury)
  • Formāts: Hardback, 376 pages, height x width x depth: 229x178x15 mm, weight: 753 g, 1 b&w illus
  • Izdošanas datums: 28-Jun-2013
  • Izdevniecība: MIT Press
  • ISBN-10: 0262018993
  • ISBN-13: 9780262018999
  • Hardback
  • Cena: 36,44 €
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
  • Formāts: Hardback, 376 pages, height x width x depth: 229x178x15 mm, weight: 753 g, 1 b&w illus
  • Izdošanas datums: 28-Jun-2013
  • Izdevniecība: MIT Press
  • ISBN-10: 0262018993
  • ISBN-13: 9780262018999
Introduction: The 1930s Revolution vii
1 Turing versus Godel on Computability and the Mind
1(34)
B. Jack Copeland
Oron Shagrir
2 Computability and Arithmetic
35(20)
Martin Davis
3 About and around Computing over the Reals
55(22)
Solomon Feferman
4 The Church-Turing "Thesis" as a Special Corollary of Godel's Completeness Theorem
77(28)
Saul A. Kripke
5 Computability and Constructibility
105(36)
Carl J. Posy
6 After Godel
141(12)
Hilary Putnam
7 The Open Texture of Computability
153(30)
Stewart Shapiro
8 Godel's Philosophical Challenge (to Turing)
183(20)
Wilfried Sieg
9 Interactive Computing and Relativized Computability
203(58)
Robert Irving Soare
10 Why Philosophers Should Care about Computational Complexity
261(68)
Scott Aaronson
11 Is Quantum Mechanics Falsifiable? A Computational Perspective on the Foundations of Quantum Mechanics
329(22)
Dorit Aharonov
Umesh V. Vazirani
About the Authors 351(4)
Index 355