| Thursday, 14.09.17 | |||
| Zeit | Referent | Vortragstitel | Referent |
| 09:00-09:15 | opening | Y16G05 | |
| 09:15-10:15 | Nachum Dershowitz (School of Computer Science, Tel Aviv University) | Axiomatizing Computation | Y16G05 |
| 10:15-10:45 | coffee break | ||
| 10:45-11:45 | Peter Schroeder-Heister (Wilhelm-Schickard-Institut, Universität Tübingen) | Axiomatic Thinking and Proof-Theoretic Semantics: The Intensional Perspective | Y16G05 |
| 11:45-14:00 | lunch | ||
| 14:00-15:00 | Lorenz Halbeisen (ETHZ) | Ein Rahmen für die Metamathematik | Y16G05 |
| 15:00-16:00 | Ulrich Felgner (Mathematisches Institut, Universität Tübingen) | Der Hilbertsche Kritizismus | Y16G05 |
| 16:00-16:30 | coffee break | ||
| 16:30-17:30 | Wilfried Sieg (Department of Philosophy, Carnegie Mellon University) | Proofs as Objects: A Pivotal Thought | Y16G05 |
| Friday, 15.09.17 | |||
| Zeit | Referent | Vortragstitel | Referent |
| 08:30-09:30 | Domenico Giulini (Institut für Theoretische Physik, Universität Hannover) | Axiomatisation in Physics: Use and Fallacy | Y16G05 |
| 09:30-10:30 | Fernando Ferreira (Departamento de Matemática, Universidade de Lisboa) | Ideal Elements and Their Removal | Y16G05 |
| 10:30-11:00 | coffee break | ||
| 11:00-12:00 | John Bell (Department of Philosophy, Western University) | The Axiomatization of Continuity | Y16G05 |
| 12:00-14:00 | lunch | ||
| 14:00-15:00 | Laurent Lafforgue (IHES) | Axiomatic Thinking According to Hilbert and to Grothendieck | Y16G05 |
| 15:00-16:00 | Gerhard Jäger (Institute of Computer Science, University of Bern) | Axiomatic Systems: An Operational Perspective | Y16G05 |
| 16:00-16:30 | coffee break | ||
| 16:30-17:30 | Steve Awodey (Department of Philosophy, Carnegie Mellon University) | Univalence as an Axiom for the Foundations of Mathematics | Y16G05 |
Axiomatic Thinking
s14.09.2017-15.09.2017
Organisiert von: R. Kahle, T. Kappeler, V. Schroeder, G. Sommaruga
Home |
Programme |
Venues |
Accommodation |
Programme 1917 |