In the sequence of articles [3, 4, 5, 6, 7], Moschovakis has proposed a mathematical modeling of the notion of algorithm—a set-theoretic “definition” of algorithms, much like the “definition” of real numbers as Dedekind cuts on the rationals or that of random variables as measurable functions on a probability space. The aim is to provide a traditional foundation for the theory of algorithms, a development of it within axiomatic set theory in the same way as analysis and probability theory are rigorously developed within set theory on the basis of the set theoretic modeling of their basic notions. A characteristic feature of this approach is the adoption of a very abstract notion of algorithm that takes recursion as a primitive operation and is so wide as to admit “non-implementable” algorithms: implementations are special, restricted algorithms (which include the familiar models of computation, e.g., Turing and random access machines), and an algorithm is implementable if it is reducible to an implementation.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
P. van Emde Boas. Machine models and simulations. In Jan van Leeuwen, editor, Hand-book of Theoretical Computer Science, Vol. A, Algorithms and Complexity, pages 1-66. Elsevier and MIT Press, 1994.
J. McCarthy. A basis for a mathematical theory of computation. In P. Braffort and D Herschberg, editors, Computer Programming and Formal Systems, pages 33-70. North-Holland, 1963.
Y. N. Moschovakis. Abstract recursion as a foundation of the theory of algorithms. In M. M. Richter et. al., editors, Computation and Proof Theory, Vol. 1104, pages 289-364. Springer-Verlag, Berlin, 1984. Lecture Notes in Mathematics.
Y. N. Moschovakis. The formal language of recursion. The Journal of Symbolic Logic, 54:1216-1252, 1989.
Y. N. Moschovakis. A mathematical modeling of pure, recursive algorithms. In A. R. Meyer and M. A. Taitslin, editors, Logic at Botik ’89, Vol. 363, pages 208-229. Springer-Verlag, Berlin, 1989. Lecture Notes in Computer Science.
Y. N. Moschovakis. On founding the theory of algorithms. In H. G. Dales and G. Oliveri, editors, Truth in Mathematics, pages 71-104. Clarendon Press, Oxford, 1998.
Y. N. Moschovakis. What is an algorithm? In B. Engquist and W. Schmid, editors, Math-ematics unlimited - 2001 and Beyond, pages 929-936. Springer, 2001.
V. Paschalis. Recursive algorithms and implementations, 2006. (M.Sc. Thesis, in Greek).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Moschovakis, Y.N., Paschalis, V. (2008). Elementary Algorithms and Their Implementations. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) New Computational Paradigms. Springer, New York, NY. https://doi.org/10.1007/978-0-387-68546-5_5
Download citation
DOI: https://doi.org/10.1007/978-0-387-68546-5_5
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-36033-1
Online ISBN: 978-0-387-68546-5
eBook Packages: Computer ScienceComputer Science (R0)