Theory of Computation uvatoc.github.... 19.4 HALTS is Undecidable - HALTS and A_TM - Reduction Proof that HALTS is Undecidable Nathan Brunelle and David Evans University of Virginia
You may be the only instructor bringing a fresh focus to this topic. The use of metaphors and emphasis on critical concepts is way more thoughtful than anything I've encountered. My professor spends the whole lecture scribbling things, and doing willy-nilly concept introduction. Exams are on an entirely different level, crushingly difficult. Your channel will help me pass.