16:45-18:15
Mirja Hartimo (University of Helsinki):
"Besinnung and Explication in Philosophy of Mathematical Practice: Husserl and Carnap in comparison".
Upcoming events of the Logic Café:
- Mo, 23.01.2023, 16:45-18:15 Uhr, Antonio Piccolomini d'Aragona (Czech Academy of Sciences): "From normalisation to proof-theoretic semantics. A case of informal rigour?".
- Mo, 16.01.2023, 16:45-18:15 Uhr, Johannes Korbmacher (Universiteit Utrecht): "The Limits of Artificial Mathematical Intelligence".
- Mo, 05.12.2022, 16:45-18:15 Uhr, Richard Lawrence (Universität Wien): "tba".
- Mo, 14.11.2022, 16:45-18:15 Uhr, Eduardo N. Giovannini (National Scientific and Technical Research Council, CONICET) and Georg Schiemer (Universität Wien): "Formal Content and Meaning in Mathematics".
- Do 10.11.2022, 11:30-13:00 Uhr, Yacin Hamami (Centre for Logic and Philosophy of Science of the Vrije Universiteit Brussel): "What role(s) for intuition in rigorous mathematical reasoning".
- Do 10.11.2022, 10:30-11:15 Uhr, Simon Weisgerber (Universität Wien): "Rigor, Visual Proofs and Types of Mathematical Justification".
- Mi, 09.11.2022, 11:30-13:00, Yacin Hamami (Centre for Logic and Philosophy of Science of the Vrije Universiteit Brussel): "Understanding Mathematical Proofs from a Planning Perspective".
Meetings in this semester will be held in presence, usually on Mondays, between 16:45 and 18:15. The meetings will be held in seminar room 3D (D0316, NIG; 3rd floor) at the Department of Philosophy, Universitätsstrasse 7.
Please see our website for further information on the Logic Café colloquium, for past events, and regular updates: https://logik-cafe.univie.ac.at