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, sense-investigation (Besinnung), can be understood as pertaining to philosophy of mathematical practice. In particular, I show that sense-investigation 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.