Special Topics

L.E.J. Brouwer's Intuitionism: A Revolution in Two Installments
Professor Dirk van Dalen, Visitor from University of Utrecht, June 26, 1998
Intuitionism - The Philosophy of L.E.J. Brouwer
Dirk Schlimm, Carnegie Mellon University, April 21, 1998
Sociology of Proof
Professor Donald MacKenzie, Visitor from the University of Edinburgh, November 3, 1997


Department of Computer Science, Cornell University