Logic and Modeling 2021: Lecture 14

Video 4: undecidability of validity

Video 5: Godel's incompleteness theorem