Monday 13 February 2017 (5th Week, Hilary Term)

• 16:30 - Consistency, a catchword making the second incompleteness theorem more spectacular than the first: Comments on a comment by Georg Kreisel
  Doukas Kapantais (Athens)
  Philosophy of Mathematics Seminar