Minds and Machines

, Volume 12, Issue 2, pp 181-201

First online:

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

  • David IsraelAffiliated withArtificial Intelligence Center, SRI International

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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