Basic Reading on Computable Functions

Abstract

This is an annotated reading list on the beginning elements of the theory of computable functions. It is now structured so as to complement the first eight lectures of Thomas Forster’s Part III course in Lent 2011 (see the first four chapters of his evolving handouts)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

Computability: Computable Functions, Logic, and the Foundations of Mathematics.Richard L. Epstein - 2004
Computable models.Raymond Turner - 2009 - London: Springer.
Computability & unsolvability.Martin Davis - 1958 - New York: Dover Publications.
Computability of measurable sets via effective topologies.Yongcheng Wu & Decheng Ding - 2006 - Archive for Mathematical Logic 45 (3):365-379.
On the convergence of Fourier series of computable Lebesgue integrable functions.Philippe Moser - 2010 - Mathematical Logic Quarterly 56 (5):461-469.
I wish to express here my gratitude to various members of the Department of Mathematics of Cornell University who obliged me by critically reading various drafts of this paper. Bibliography.I. Alonzo Church - 1965 - In Martin Davis (ed.), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Problems and Computable Functions. Hewlett, NY, USA: Dover Publication. pp. 230.
Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.
Bounded iteration and unary functions.Stefano Mazzanti - 2005 - Mathematical Logic Quarterly 51 (1):89-94.
Tailoring recursion for complexity.Erich Grädel & Yuri Gurevich - 1995 - Journal of Symbolic Logic 60 (3):952-969.
Review: V. A. Uspenskij, (Lekcii o vycislimyh funkciah)Lectures on Computable Functions. [REVIEW]Elliott Mendelson - 1966 - Journal of Symbolic Logic 31 (2):263-264.

Analytics

Added to PP
2011-02-20

Downloads
64 (#87,988)

6 months
64 (#245,236)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Eldridge-Smith
Australian National University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references