Video 1: decision problems

Video 2: the halting problem

Video 3: the Post Correspondence Problem

Video 4: undecidability of validity

Video 5: Godel's incompleteness theorem

Q&A Session