عنوان

Computability :

(hardcover : alk. paper)

(hardcover : alk. paper)

0262018993

9780262018999

dltt

Computability :

[Book]

Turing, Gödel, Church, and beyond /

edited by Jack Copeland, Carl J. Posy, and Oron Shagrir

x, 362 pages ;

24 cm

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

0

Computational complexity

Mathematics-- Philosophy

Copeland, B. Jack,1950-

Posy, Carl J.

Shagrir, Oron,1961-

20130826231932.0

rda

[Book]

Y