Speaker: Jan von Plato (University of Helsinki)
Jan has worked both in logic and its development, with three systematic books on proof theory. His work of a historical-foundational character includes two books, The Great Formal Machinery Works, and Saved from the Cellar. The latter is a collection of the shorthand writings on logic and foundations by Gödel’s contemporary Gerhard Gentzen.