Title Computability : Turing, Gödel, Church, and beyond / edited by Jack Copeland, Carl Posy, and Oron Shagrir.

Publication Info.

Cambridge, Massachusetts : The MIT Press, [2013]

Copies

Location	Call No.	Status
Rocky Hill - Downloadable Materials	EBSCO Ebook	Downloadable
Rocky Hill cardholders click here to access this title from EBSCO

Description	1 online resource
Bibliography	Includes bibliographical references and index.
Note	Print version record.
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.
	Mathematics -- Philosophy.
	COMPUTERS -- Machine Theory.
	Computational complexity. (OCoLC)fst00871991
	Mathematics -- Philosophy. (OCoLC)fst01012213
Added Author	Copeland, B. Jack, 1950- editor.
	Posy, Carl J., editor.
	Shagrir, Oron, 1961- editor.
Other Form:	Print version: Computability. Cambridge, Massachusetts : The MIT Press, [2013] 9780262018999 (DLC) 2012039321 (OCoLC)813540892
ISBN	9781461931843 (electronic bk.)
	1461931843 (electronic bk.)
	0262312670 (electronic bk.)
	9780262312677 (electronic bk.)
	9780262312660 (electronic bk.)
	0262312662 (electronic bk.)
	1299688004 (electronic bk.)
	9781299688001 (electronic bk.)
	9780262312684 (electronic bk.)
	0262312689 (electronic bk.)

-->

Permanent Link

Add a Review

Title Computability : Turing, Gödel, Church, and beyond / edited by Jack Copeland, Carl Posy, and Oron Shagrir.

Copies

Library Links

Search Tools

Language Settings