Axiomatic Thinking

14.09.2017-15.09.2017

Organisiert von: R. Kahle, T. Kappeler, V. Schroeder, G. Sommaruga



Home | Programme | Venues | Accommodation | Programme 1917 |


poster (pdf)

On September 11, 1917 David Hilbert gave his famous address "Axiomatisches Denken" in the Swiss Mathematical Society in Zurich. It was also at this opportunity that Hilbert invited Paul Bernays to Göttingen as his collaborator to develop the new area of Proof Theory.


Invited Speakers

Steve Awodey (Carnegie Mellon University)
John Bell (Western Ontario University)
Nachum Dershowitz (Tel Aviv University)
Ulrich Felgner (Tübingen University)
Fernando Ferreira (Lisbon University)
Domenico Giulini (Hannover University)
Lorenz Halbeisen (ETH Zurich)
Gerhard Jäger (Berne University)
Laurent Lafforgue (IHES)
Peter Schroeder-Heister (Tübingen University)
Wilfried Sieg (Carnegie Mellon University)