Reflections on gödel's and Gandy's reflections on Turing's thesis

Minds and Machines 12 (2):181-201 (2002)
  Copy   BIBTEX

Abstract

We sketch the historical and conceptual context of Turing's analysis of algorithmic or mechanical computation. We then discuss two responses to that analysis, by Gödel and by Gandy, both of which raise, though in very different ways. The possibility of computation procedures that cannot be reduced to the basic procedures into which Turing decomposed computation. Along the way, we touch on some of Cleland's views.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,509

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
48 (#242,029)

6 months
1 (#417,896)

Historical graph of downloads
How can I increase my downloads?