Recording of a lecture delivered by Paul Ludwig on September 14, 2018, as part of the Formal Lecture Series.
