Skolem forelesning 2011 - Jan von Plato

Thoralf Skolem (1887-1963) var en av de fremste logikerne gjennom tidene. Hvert år blir det holdt en Skolem forelesning ved Universitetet i Oslo i et samarbeid mellom filosofi, matematikk og informatikk.

Tid og sted for årets Skolem forelesning av Jan von Plato er 5. april 2011 kl. 10:15-11:30, i Auditoriet SHELL i Ole-Johan Dahls hus.

Årets forelesning: The combinatorics of proof

Tidligere forelesere er Dag Prawitz, Robin Gandy, Solomon Feferman , Robert Boyer, Burton Dreben, Jean Yves Girard,  Hao Wang, Grigori Mints, Charles Parsons, Per Martin-Löf, Dana Scott, Helmut Schwichtenberg, Peter Gärdenfors , Krister Segerberg, Saul Kripke, Paul Cohen, Göran Sundholm, Tim Williamson, Thierry Coquand, Stan S. Wainer, William Tait.