Recording of a lecture delivered on October 13, 2006, by Jonathan Tuck as part of the Formal Lecture Series.
A typescript of Tuck's lecture is also available on the SJC Digital Archives.
