Seminar in logic and philosophy of mathematics

Fridays at 10:15-11:45 via Zoom. Contact annika.kanckos’at’helsinki.fi for details.

Spring 2022:

4th February: Jan von Plato (HU).
Title: Proof analysis of two Gödelian sequent calculi.
18th February: Annika Kanckos (HU).
4th March: Fan Yang (HU).
22nd April: Marianna Antonutti Marfori (Université Paris 1 Panthéon-Sorbonne).
***

Fall 2021:

1st October: Gabriel Sandu (Helsinki Uni).
5th November at 9:00-10:15: Tim Lethen (Helsinki Uni/Universität des Saarlandes). Tentative title: The Evolution of Knowledge – A metabiological Approach.
19th November: Christoph Benzmüller (Freie Universität Berlin).
3rd December: Markus Pantsar (Helsinki Uni/Aachen).