Cambridge, Massachusetts : The MIT Press, [2013].;©2013
Added to CLICnet on 07/30/2014
Check CLICnet for availability
Notes:
- Includes bibliographical references and index.
- 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.
Subjects:
Requested by Steinmetz, E