Provability Predicates, and Beyond (The Power and Limits of Logic, 12)
Channel: Greg Restall
Date: 2020-04-10

A class video for an advanced undergraduate unit on the power and limits of first order predicate logic, taught at the University of Melbourne. 

This video presents a proof of Löb's Theorem, and its consequence, Gödel's Second Incompleteness Theorem.

For more details of the class, see here: https://consequently.org/class/2020/phil30043/