Book contents
- Frontmatter
- Contents
- Preface
- COMPUTABILITY THEORY
- 1 Enumerability
- 2 Diagonalization
- 3 Turing Computability
- 4 Uncomputability
- 5 Abacus Computability
- 6 Recursive Functions
- 7 Recursive Sets and Relations
- 8 Equivalent Definitions of Computability
- BASIC METALOGIC
- FURTHER TOPICS
- Hints for Selected Problems
- Annotated Bibliography
- Index
2 - Diagonalization
Published online by Cambridge University Press: 05 June 2012
- Frontmatter
- Contents
- Preface
- COMPUTABILITY THEORY
- 1 Enumerability
- 2 Diagonalization
- 3 Turing Computability
- 4 Uncomputability
- 5 Abacus Computability
- 6 Recursive Functions
- 7 Recursive Sets and Relations
- 8 Equivalent Definitions of Computability
- BASIC METALOGIC
- FURTHER TOPICS
- Hints for Selected Problems
- Annotated Bibliography
- Index
Summary
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9781139164931/resource/name/firstPage-9781139164931c2_p16-22_CBO.jpg)
- Type
- Chapter
- Information
- Computability and Logic , pp. 16 - 22Publisher: Cambridge University PressPrint publication year: 2002