International Journal of Philosophical Studies 20 (4):461-472 (2012)
Abstract In the first section of the paper I present Alan Turing?s notion of effective memory, as it appears in his 1936 paper ?On Computable Numbers, With an Application to The Entscheidungsproblem?. This notion stands in surprising contrast with the way memory is usually thought of in the context of contemporary computer science. Turing?s view (in 1936) is that for a computing machine to remember a previously scanned string of symbols is not to store an internal symbolic image of this string. Rather, memory consists in the fact that the past scanning of the string affects the behavior of the computer in the face of potential future inputs. In the second, central section of the paper I begin exploring how this view of Turing?s bears upon contemporary discussions in the philosophy of mind. In particular, I argue that Turing?s approach can be used to lend support to dispositional conceptions of the propositional attitudes, like the one recently presented by Matthews (2007), and that his effective memory manifests some of the characteristics of Millikan?s (1996) pushmepullyou mental states
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Reflections on Church's Thesis.Stephen C. Kleene - 1987 - Notre Dame Journal of Formal Logic 28 (4):490-498.
Citations of this work BETA
No citations found.
Similar books and articles
Turing's Golden: How Well Turing's Work Stands Today.Justin Leiber - 2006 - Philosophical Psychology 19 (1):13-46.
The Church-Turing Thesis and Effective Mundane Procedures.Leon Horsten - 1995 - Minds and Machines 5 (1):1-8.
The Scope of Turing's Analysis of Effective Procedures.Jeremy Seligman - 2002 - Minds and Machines 12 (2):203-220.
On the Possibilities of Hypercomputing Supertasks.Vincent C. Müller - 2011 - Minds and Machines 21 (1):83-96.
A Natural Axiomatization of Computability and Proof of Church's Thesis.Nachum Dershowitz & Yuri Gurevich - 2008 - Bulletin of Symbolic Logic 14 (3):299-350.
Alan Turing and the Mathematical Objection.Gualtiero Piccinini - 2003 - Minds and Machines 13 (1):23-48.
Added to index2012-10-16
Total downloads11 ( #402,514 of 2,168,938 )
Recent downloads (6 months)1 ( #346,364 of 2,168,938 )
How can I increase my downloads?