Review of Computability: Turing, Gödel, Church, and Beyond [Book Review]

Notre Dame Philosophical Reviews 3 (20) (2015)
  Copy   BIBTEX

Abstract

A review of Computability: Turing, Gödel, Church, and Beyond by Copeland, Posy and Shagrir

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,410

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Computability: Gödel, Turing, Church, and beyond.B. J. Copeland, C. Posy & O. Shagrir (eds.) - 2013 - MIT Press.
Godel on computability.W. Sieg - 2006 - Philosophia Mathematica 14 (2):189-207.
B. Jack Copeland, Carl J. Posy, Oron Shagrir eds. Computability: Turing, Gödel, Church, and Beyond: Books of Essays.[author unknown] - 2014 - Philosophia Mathematica 22 (1):141-141.
B. Jack Copeland, Carl J. Posy, and Oron Shagrir, eds, Computability: Turing, Gödel, Church, and Beyond. Cambridge, Mass.: MIT Press, 2013. ISBN 978-0-262-01899-9. Pp. x + 362. [REVIEW]Roy T. Cook - 2014 - Philosophia Mathematica 22 (3):412-413.
Turing oracle machines, online computing, and three displacements in computability theory.Robert I. Soare - 2009 - Annals of Pure and Applied Logic 160 (3):368-399.
Turing-, human- and physical computability: An unasked question. [REVIEW]Eli Dresner - 2008 - Minds and Machines 18 (3):349-355.
GOdel on Turing on Computability.Oron Shagrir - 2006 - In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. pp. 1--393.
The Church-Turing ‘Thesis’ as a Special Corollary of Gödel’s Completeness Theorem.Saul A. Kripke - 2013 - In B. J. Copeland, C. Posy & O. Shagrir (eds.), Computability: Gödel, Turing, Church, and beyond. MIT Press.
Computability and recursion.Robert I. Soare - 1996 - Bulletin of Symbolic Logic 2 (3):284-321.
Church's Thesis and the Conceptual Analysis of Computability.Michael Rescorla - 2007 - Notre Dame Journal of Formal Logic 48 (2):253-280.
Turing computations on ordinals.Peter Koepke - 2005 - Bulletin of Symbolic Logic 11 (3):377-397.
Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 1980 - New York: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
A natural axiomatization of computability and proof of Church’s thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
SAD computers and two versions of the Church–Turing thesis.Tim Button - 2009 - British Journal for the Philosophy of Science 60 (4):765-792.

Analytics

Added to PP
2016-04-02

Downloads
92 (#187,716)

6 months
4 (#799,368)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrew Arana
Université de Lorraine

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references