Axiomatic Mathematics and Phenomenology

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


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ş