View Related Documents

Abstract

Accelerating Turing machines are Turing machines of a sort able to perform tasks that are commonly regarded as impossible for Turing machines. For example, they can determine whether or not the decimal representation of pgr contains n consecutive 7s, for any n; solve the Turing-machine halting problem; and decide the predicate calculus. Are accelerating Turing machines, then, logically impossible devices? I argue that they are not. There are implications concerning the nature of effective procedures and the theoretical limits of computability. Contrary to a recent paper by Bringsjord, Bello and Ferrucci, however, the concept of an accelerating Turing machine cannot be used to shove up Searle's Chinese room argument.

accelerating Turing machine - Chinese room argument - Church–Turing thesis - decision problem - effective procedure - halting problem - hypercomputer - hypercomputation - infinity machine - pgr-machine - oracle machine - super-task

Fulltext Preview

Image of the first page of the fulltext document