Book:Martin Davis/Computability and Unsolvability

Subject Matter

 * Logic
 * Mathematical Logic

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