Book:Martin Davis/Computability and Unsolvability/Second Edition

From ProofWiki
Jump to: navigation, search

Martin Davis: Computability and Unsolvability (2nd Edition)

Published $1988$, Dover Publications

ISBN 0-486-61471-9.


Subject Matter


Contents

Preface to the Dover Edition (1982)
Preface to the First Edition
Glossary of Special Symbols


PART 1: THE GENERAL THEORY OF COMPUTABILITY
Chapter 1. Computable Functions
Chapter 2. Operations on Computable Functions
Chapter 3. Recursive Functions
Chapter 4. Turing Machines Self-applied
Chapter 5. Unsolvable Decision Problems


PART 2: APPLICATIONS OF THE GENERAL THEORY
Chapter 6: Combinatorial Problems
Chapter 7: Diophantine Equations
Chapter 8: Mathematical Logic


PART 3: FURTHER DEVELOPMENT OF THE GENERAL THEORY
Chapter 9. The Kleene Hierarchy
Chapter 10. Computable Functionals
Chapter 11. The Classification of Unsolvable Decision Problems


Appendix 1. Some Results from the Elementary Theory of Numbers
Appendix 2. Hilbert's Tenth Problem Is Unsolvable


References
Index