Institut für MathematikHome > Academic programme > Conferences > AT2017

  Deutsch  |  Contact  |  Print  |  Search  

FÜR SCHÜLERiNNEN
INSTITUTE
ACADEMIC PROGRAMME
COLLOQUIA/SEMINARS
STUDENT SEMINARS
LECTURE COURSES
MODULES
CONFERENCES/EVENTS
VORKURSE
FOR STUDENTS
FOR PhD STUDENTS


Axiomatic Thinking


14.09.2017-15.09.2017

Organized by: 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)