6.1. Turing reductions
6.2. Mapping reductions
6.3. Putting reductions to work
6.4. Complementary problems
6.5. Rice's theorem
6.6. Post's correspondence problem
6.7. Hilbert's tenth problem