CSMN Colloquium: Mirja Hartimo
Mirja Hartimo (IFIKK)
On Husserl’s philosophy of mathematics
In this talk I will first explain Husserl’s view of mathematics and logic in the end of the 1920s. I will argue that his view combines a structuralist view of mathematics with an attempt to give it a “proof theory” with which to impart Evidenz of perceiving concrete objects to the more abstract realms of mathematics. Against this background I will then examine Husserl’s reading marks in his copy of Friedrich Waismann’s Einführung in das mathematische Denken: die Begriffsbildung der modernen Mathematik (1936). The purpose of doing this is then to examine the impact of the developments in the foundations of mathematics in the 1930s on Husserl’s last writings, such as the “Origin of Geometry” and parts of Crisis.