On founding the theory of algorithms

In Harold Garth Dales & Gianluigi Oliveri (eds.), Truth in mathematics. New York: Oxford University Press, Usa. pp. 71--104 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Yiannis N. Moschovakis. Notes on set theory. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1994, xiv + 272 pp. [REVIEW]Joel David Hamkins - 1997 - Journal of Symbolic Logic 62 (4):1493-1494.
Alexander S. Kechris and Yiannis N. Moschovakis. Notes on the theory of scales. Cabal seminar 76–77, Proceedings, Caltech-UCLA Logic Seminar 1976–77, edited by A. S. Kechris and Y. N. Moschovakis, Lecture notes in mathematics, vol. 689, Springer-Verlag, Berlin, Heidelberg, and New York, 1978, pp. 1–53. [REVIEW]T. Jech - 1985 - Journal of Symbolic Logic 50 (3):849-851.
Yiannis N. Moschovakis. Descriptive set theory. Studies in logic and the foundations of mathematics, vol. 100. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, xii + 637 pp. [REVIEW]Richard Mansfield - 1981 - Journal of Symbolic Logic 46 (4):874-876.
C. C. Chang and Yiannis N. Moschovakis. The Suslin-Kleene theorem for Vκ with cofinality = ω. Pacific journal of mathematics, vol. 35 , pp. 565–569. [REVIEW]C. Smorynski - 1975 - Journal of Symbolic Logic 40 (2):245.
Review: Yiannis N. Moschovakis, Many-one Degrees of the Predicates $H_a(x)$. [REVIEW]Gustav B. Hensel - 1967 - Journal of Symbolic Logic 32 (4):529-530.
Yiannis N. Moschovakis. Elementary induction on abstract structures. Studies in logic and the foundations of mathematics, vol. 77. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, x + 218 pp. [REVIEW]Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
Yiannis N. Moschovakis. The game quantifier. Proceedings of the American Mathematical Society, vol. 31 , pp. 245–250.Donald A. Martin - 1973 - Journal of Symbolic Logic 38 (4):653.
Yiannis N. Moschovakis. Notation systems and recursive ordered fields. Compositio mathematica, vol. 17 no. 1 , pp. 40–71. [REVIEW]B. H. Mayoh - 1966 - Journal of Symbolic Logic 31 (4):650-651.
John R. Steel. Scales on sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc. pp. 72–76. - Yiannis N. Moschovakis. Scales on coinductive sets. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc., pp. 77–85. - Donald A. Martin and John R. Steel. The extent of scales in L. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Springer-Verlag, Berlin etc., pp. 86–96. - John R. Steel. Scales in L. Cabal seminar 79–81, Proceedings, Caltech-UCLA Logic Seminar 1979–81, edited by A. S. Kechris, D. A. Martin, and Y. N. Moschovakis, Lecture notes in mathematics, vol. 1019, Spring. [REVIEW]Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.

Analytics

Added to PP
2014-02-02

Downloads
49 (#452,488)

6 months
3 (#1,486,845)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

What an Algorithm Is.Robin K. Hill - 2016 - Philosophy and Technology 29 (1):35-59.
The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references