A first course in computability theory [
| Main Author: | |
|---|---|
| Format: | Electronic Book |
| Language: | English |
| Published: |
New York, United States :
Orange Apple ,
2012
|
| Edition: | Revised edition : 2014 |
| Subjects: | |
| Online Access: | Orange Apple |
Table of Contents:
- 1. Table of contents
- 2. Introduction to computability theory
- 3. Turing reduction and turing degree
- 4. Reduction (recursion theory)
- 5. Reverse mathematics and kolmogorov complexity
- 6. Church-turing thesis
- 7. Computable function and computability logic
- 8. Decision problem and enumeration
- 9. Halting problem and lambda calculus
- 10. Post correspondence problem and primitive recursive function