Undecidability

1. Languages that are not Recursive or not r.e.
   • Material 14b
   • A rambling scene-set | The Impossible Code | SUMMARY of STM and ATM
2. Diagonalization and the Halting Problem
   • Material 14a
   • More thoughts: Diagonalization | Countable sets | Halting problem | SUMMARY of Uncountable and Undecidable
3. Reductions and More Undecidable Problems:
   • Material 15a
   • More thoughts reductions: theory | reductions: application
4. Summary from book here
5. Extension/Revision Questions:
   • UnDecidable sols