Harvard University homepage
HARVARD.EDU

Past Events

Past Seminars and Colloquia

Colloquia for the 2012-2013 academic year: see the Harvard/MIT Logic Seminar Fall 2012 and Spring 2013 schedule archives.

In 2010-2011 and 2011-2012, the Logic Colloquium met (roughly) once every three weeks and involved a major figure in logic. Speakers were asked to provide a topic and some suitable references to the necessary background material required to obtain a better understanding of their talk. The Logic Colloquium was somewhat different than standard colloquia in that there was a closely associated Logic Workshop, which met during the two weeks prior to the talk and consisted of presentations (by local students and faculty) on the background material for the upcoming colloquium.

The 2011-2012 Logic Colloquium was part of the EFI project, and the Logic Workshop was given by Peter Koellner in preparation for EFI presentations. View the associated syllabus and course website.

The workshops and speakers for the 2010-2011 academic year were:

  • September 29, 2010. Peter Koellner: Background Material for October 8 Colloquium.
  • October 8, 2010. Theodore A. Slaman: “Randomness and Mathematical Logic”. Download slides. Abstract.
  • October 13, 2010. Rachel Epstein: Fundamental Concepts of Computability Theory. Background Material for October 29 Colloquium.
  • October 20, 2010. Rachel Epstein: Injury Arguments and Trees. Background Material for October 29 Colloquium.
  • October 27, 2010. Cameron Freer: Invariant measures on countable models. Abstract.
  • October 29, 2010. Rachel Epstein: “Definability in the Computably Enumerable Sets”. Download slides. Abstract.
  • November 12, 2010. Gerald Sacks: “Models of Long Sentences II”. Abstract.
  • November 17, 2010. Hugh Woodin: “The Search for Mathematical Truth”. Download slides. Abstract.
  • February 4, 2011. Michael Rabin: “Notions of Mathematical Proofs and Persuasions from Computer Science”. Abstract.
  • February 25, 2011. Warren Goldfarb: “Herbrand and the early development of proof theory”. Abstract.
  • March 25, 2011. Harvey Friedman: “Algorithmic Unsolvability in Euclidean Geometry”. Manuscript. Abstract.
  • April 8, 2011. Bjorn Poonen: “Diophantine subsets of rational numbers”. Abstract.