Philosophia Mathematica 3 (1):5-30 (1995)
Machines were introduced as calculating devices to simulate operations carried out by human computers following fixed algorithms. The mathematical study of (paper) machines is the topic of our essay. The first three sections provide necessary logical background, examine the analyses of effective calculability given in the thirties, and describe results that are central to recursion theory, reinforcing the conceptual analyses. In the final section we pursue our investigation in a quite different way and focus on principles that govern the operations of physically realizable machines.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
The Physical Church–Turing Thesis: Modest or Bold?Gualtiero Piccinini - 2011 - British Journal for the Philosophy of Science 62 (4):733 - 769.
The Physical Church-Turing Thesis: Modest or Bold?G. Piccinini - 2011 - British Journal for the Philosophy of Science 62 (4):733-769.
Step by Recursive Step: Church's Analysis of Effective Calculability.Wilfried Sieg - 1997 - Bulletin of Symbolic Logic 3 (2):154-180.
Similar books and articles
Can Machines Think? An Old Question Reformulated.Achim Hoffmann - 2010 - Minds and Machines 20 (2):203-212.
Computing Machines Can't Be Intelligent (...And Turing Said So).Peter Kugel - 2002 - Minds and Machines 12 (4):563-579.
Organisational Spaces and Intelligent Machines: A Metaphorical Approach to Ethics. [REVIEW]Luis Monta�O. Hirose - 1995 - AI and Society 9 (1):43-56.
Nonmonotonic Reasoning: From Finitary Relations to Infinitary Inference Operations.Michael Freund & Daniel Lehmann - 1994 - Studia Logica 53 (2):161 - 201.
Observability of Turing Machines: A Refinement of the Theory of Computation.Yaroslav Sergeyev & Alfredo Garro - 2010 - Informatica 21 (3):425–454.
Added to index2009-01-28
Total downloads15 ( #309,002 of 2,153,823 )
Recent downloads (6 months)1 ( #398,274 of 2,153,823 )
How can I increase my downloads?