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 machinesalgorithmic computationChurch-Turing thesiscomputationseffective computationGandy machinesTuring machines

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

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