Hilbert Bernays Summerschool on Logic and Computation

01.01.2019 bis 31.12.2019

Mit der Sommerschule werden die mit DAAD-Förderung an der Universität Göttingen durchgeführten „Hilbert-Bernays-Sommerschulen on Logic and Computation“ der Jahre 2015 bis 2018 fortgesetzt.
Das Leitthema der Sommerschule „Logic and Computation“ soll verschiedene Disziplinen ansprechen und Brücken zwischen diesen bilden: Mathematik, Informatik und Philosophie.
Konkret werden dafür vier wissenschaftliche Minikurse angeboten:
- Gerhard Jäger (Bern): From the Foundational Crisis of Mathematics to Explicit Mathematics.
- Reinhard Kahle (Lissabon/Tübingen): From Hilbert to Gentzen and beyond.
- Wolfgang Küchlin (Tübingen): Automatic Reasoning in the Automobile Industry.
- Klaus Mainzer (München): Foundations of Machine Learning and AI.