Philosophy of Mathematics seminar




Stella Moon, Czech Academy of Sciences Institute of Philosophy
Husserlian Philosophy of Mathematical Practice and Homotopy Type Theory
In this talk, I argue that Husserl's method, senseinvestigation (Besinnung), can be understood as pertaining to philosophy of mathematical practice. In particular, I show that senseinvestigation involves joining the mathematical community, and looking at philosophical questions found within mathematical practice. I further apply this method to the philosophical question about identity within homotopy type theory.

