Minds and Machines 12 (2):241-258 (2002)
|Abstract||Does what guides a pastry chef stand on par, from the standpoint of contemporary computer science, with what guides a supercomputer? Did Betty Crocker, when telling us how to bake a cake, provide an effective procedure, in the sense of `effective' used in computer science? According to Cleland, the answer in both cases is ``Yes''. One consequence of Cleland's affirmative answer is supposed to be that hypercomputation is, to use her phrase, ``theoretically viable''. Unfortunately, though we applaud Cleland's ``gadfly philosophizing'' (as, in fact, seminal), we believe that unless such a modus operandi is married to formal philosophy, nothing conclusive will be produced (as evidenced by the problems plaguing Cleland's work that we uncover). Herein, we attempt to pull off not the complete marriage for hypercomputation, but perhaps at least the beginning of a courtship that others can subsequently help along.|
|Keywords||algorithms classical and constructivist mathematics computationalism effective procedures hypercomputation|
|Categories||categorize this paper)|
Similar books and articles
Leon Horsten (1995). The Church-Turing Thesis and Effective Mundane Procedures. Minds and Machines 5 (1):1-8.
Paolo Cotogno (2009). A Brief Critique of Pure Hypercomputation. Minds and Machines 19 (3):391-405.
Philip D. Welch (2004). On the Possibility, or Otherwise, of Hypercomputation. British Journal for the Philosophy of Science 55 (4):739-746.
Toby Ord & Tien D. Kieu (2005). The Diagonal Method and Hypercomputation. British Journal for the Philosophy of Science 56 (1):147-156.
E. Mendelson (2005). Selmer Bringsjord and Michael Zenzen. Superminds: People Harness Hypercomputation, and More. Studies in Cognitive Systems, Volume 29. Dordrecht: Kluwer Academic Publishers, 2003. Pp. Xxx + 339. ISBN 1-4020-1094-X. [REVIEW] Philosophia Mathematica 13 (2):228-230.
Mike Stannett (2003). Computation and Hypercomputation. Minds and Machines 13 (1):115-153.
Tien D. Kieu (2002). Quantum Hypercomputation. Minds and Machines 12 (4):541-561.
B. Jack Copeland (2002). Hypercomputation. Minds and Machines 12 (4):461-502.
Carol E. Cleland (2002). On Effective Procedures. Minds and Machines 12 (2):159-179.
Added to index2009-01-28
Total downloads6 ( #154,676 of 722,774 )
Recent downloads (6 months)1 ( #60,541 of 722,774 )
How can I increase my downloads?