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".
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".
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