Logic and Modeling 2021: Lecture 14

Video 1: decision problems

Video 2: the halting problem

Video 3: the Post Correspondence Problem