Recording of a lecture delivered on November 21, 1997, by Steven Crockett as part of the Formal Lecture Series.
