Recording of a lecture delivered on December 1, 2017, by Bernhardt Trout as part of the Formal Lecture Series.