Week 8
- Dates: 5/22/23 - 5/27/23
Lecture and Discussion podcast
See videos on podcast.ucsd.edu
(Video) ATM undecidable via diagonalization
(Video) ATM recap
(Video) Unrecognizable languages
(Video) Complement of ATM
(Video) Undecidability proof strategies
(Video) Reductions Intro
(Video) Mapping Reduction Definition
(Video) Computable Function Definition
(Video) Computable Function First Examples
(Video) Computable Function Complicated Example
(Video) Mapping Reduction Example 1
(Video) Mapping Reduction Example 2
(Video) Mapping Reduction Example 3
(Video) Halting Problem