Programm: Logik zwischen Mathematik und Philosophie Zur

Geschichte des Grundlagenbegriffs und seiner Erforscher

Gttingen, 28. 30. April 2017

Uhrzeit Programm am Freitag

bis 15:00 Einchecken bei der Jugendherberge

15:00 16:00 Anmeldung vor dem Hrsaal (ZHG 001, Zentrales Hrsaalgebude, Platz der Gttinger
Sieben 5)
16:00 16.30 Begrung, Informationen ber den weiteren Ablauf

16:30 17:30 Reinhard Kahle: Hilberts umfassendes Programm

17:45 18:45 Hrsaal ZHG 001 Raum 0.133

Tabea Rohr: Lwenheim-Skolem-Theorem Sebastian Krapp: Konstruktive und nicht-

zwischen Philosophie und Mathematik (?) konstruktive Beweise

Tobias Martin: Russellsche Paradoxien Christopher Izgin: Aristoteles Prinzip vom

und das Principle of Uniform Solution ausgeschlossenen Dritten

danach Abendessen

Uhrzeit Programm am Samstag

9:00 10:00 Benedikt Lwe: Philosophische Relevanz von mathematischer Kultur

10:15 11:15 Hrsaal ZHG 001 Raum 0.133

Julian Kiefer: Reflexion und Fabian Heimann: Sind

Letztbegrndung. Annherung an eine Baumgdelisierungen mehr als eine
Verhltnisbestimmung von Philosophie und historische Sackgasse?
formaler Logik

Robin Sluk: Strategien der Nikolay Paleshnikov: Logisches Schlieen

Letztbegrndung in Philosophie, in Computerprogramme umsetzen
Mathematik und Logik

11:30 12.30 Ulrich Majer: Was ist und soll Grundlagenforschung?

12:30 14:00 Mittagspause

14:00 15:30 Felix Mhlhlzer: Wittgenstein ber logizistische und verwandte (z.B.
mengentheoretische) Versuche der Grundlegung der Mathematik

16:00 16:30 Hrsaal ZHG 001 Raum 0.133

Anna-Lena Nolte: Mathematik in der Natur Jonathan Schmidt-Domin: Dialektik und

von Menschen gemacht? Formalisierung
17:30 18.30 Podiumsdiskussion (Was sind die Adquatheitskriterien fr Grundlagentheorien der
Mathematik?): V. Peckhaus, R. Kahle, Ch. Thiel, P. Schroeder-Heister; Moderation: B.
Lwe
danach Abendessen
Uhrzeit Programm am Sonntag

9:00 10:00 Volker Peckhaus: Formalismus und Kritische Mathematik

10:15 11:15 Christian Thiel: Heinrich Behmanns Beitrag zur Grundlagendebatte

11:30 12.30 Hannes Leitgeb: Structuralist (Philosophy of) Mathematics: An Axiomatic Theory of
Unlabeled Graphs as Example
12:30 14:00 Mittagspause

14:00 15:30 Abschlieende Worte von Peter Schroeder-Heister und den Organisatoren