The IRH at the University of Bucharest and
The MTA Lendület Morals and Science Research Group
cordially invite you to their workshop:
Axiomatic Mathematics and Phenomenology
Venue: Institute for Research in the Humanities, University of Bucharest
Date: September 3-4, 2018.
Organized by: Iulian Toader
Programme:
Monday, September 3
09:00-10:00 - Bernd Buldt: Reduction, Axioms, Practice
10:00-11:00 - Andrea Reichenberger: Intuition and Axiomatics in the Neo-Friesian School
Chair: Iulian Toader
Coffee break
11:30-12:30 - Mircea Dumitru: Gödel's Realism: What Kind of Conceptual Realism?
12:30-13:30 - Constantin Brîncuş: Finitism and Phenomenology: Is Negation an Ideal Element, After All?
Chair: Grigore Vida
Lunch break
15:30-16:30 - Deodáth Zuh: Husserl's Logic of Signs as the Harbinger of Constitutive Phenomenology
16:30-17:30 - Carlo Ierna: Husserl on the 'Remarkable Doubling of All Pure Mathematical Concepts': A Computational Approach to Axiomatic Mathematics
17:45-18:45 - Georg Schiemer: Husserl and Carnap on Completeness
Chair: Constantin Brîncuş
19:30 - Dinner
Tuesday, September 4
09:00-10:00 - Ilie Pârvu: Theoretical Naturalism and Transcendental Phenomenology
10:00-11:00 - Mirja Hartimo: Husserl's Transcendentalisation of Mathematical Naturalism: Maddy and Husserl in Comparison
Chair: Grigore Vida
Coffee break
11:30-12:30 - Ansten Klev: Meaning Explanations
12:30-13:30 - Iulian Toader: Weyls Widerliches Geschwätz: Predicativism, Evidence, and the ω-Rule
Chair: Constantin Brîncuş