|
" Computability : "
edited by Jack Copeland, Carl J. Posy, and Oron Shagrir
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
626106
|
| Doc. No
|
:
|
dltt
|
| Title & Author
|
:
|
Computability : : Turing, Gödel, Church, and beyond /\ edited by Jack Copeland, Carl J. Posy, and Oron Shagrir
|
| Page. NO
|
:
|
x, 362 pages ;; 24 cm
|
| ISBN
|
:
|
9780262018999
|
|
|
:
|
: 0262018993
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Contents
|
:
|
Turing versus Gödel on computability and the mind / B. Jack Copeland and Oron Shagrir -- Computability and arithmetic / Martin Davis -- About and around Computing over the reals / Solomon Feferman -- The Church-Turing "thesis" as a special corollary of Gödel's completeness theorem / Saul A. Kripke -- Computability and constructibility / Carl J. Posy -- After Gödel / Hilary Putnam -- The open texture of computability / Stewart Shapiro -- Gödel's philosophical challenge (to Turing) / Wilfried Sieg -- Interactive computing and relativized computability / Robert Irving Soare -- Why philosophers should care about computational complexity / Scott Aaronson -- Is quantum mechanics falsifiable? A computational perspective on the foundations of quantum mechanics / Dorit Aharonov and Umesh V. Vazirani
|
| Subject
|
:
|
Computational complexity
|
| Subject
|
:
|
Mathematics-- Philosophy
|
| LC Classification
|
:
|
QA267.7.C677 2013
|
| Added Entry
|
:
|
Copeland, B. Jack,1950-
|
|
|
:
|
Posy, Carl J.
|
|
|
:
|
Shagrir, Oron,1961-
|
| |