Axiomatic Thinking
s14.09.2017-15.09.2017
Organized by: R. Kahle, T. Kappeler, V. Schroeder, G. Sommaruga
Home |
Programme |
Venues |
Accommodation |
Programme 1917 |
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)
