5. Computability

5.1. Computable problems

5.2. The acceptance problem for Turing machines

5.3. K