Minds and Machines

, Volume 12, Issue 2, pp 181–201

Reflections on Gödel's and Gandy's Reflections on Turing's Thesis

  • David Israel

DOI: 10.1023/A:1015634729532

Cite this article as:
Israel, D. Minds and Machines (2002) 12: 181. doi:10.1023/A:1015634729532


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.

abstract machines algorithmic computation Church-Turing thesis computations effective computation Gandy machines Turing machines 

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • David Israel
    • 1
  1. 1.Artificial Intelligence CenterSRI InternationalMenlo ParkUSA

Personalised recommendations