Università degli studi di Milano, dottorato di ricerca 2011
Special interests: philosophy of mathematics, computability
Dissertation research project: the epistemic value of constructive reasoning in mathematics. My goal is to evaluate the specific ideals of knowledge and norms of inquiries that mathematicians have used or could have plausibly used to justify their views pro or contra the use of constructive reasoning.
Other research interest: infinite time computation. I study variants of infinite time Turing machines. More broadly, I analyze what infinite time computation is, its plausibility, and its relationship to the standard notion of computability.
Philosophy of Mathematics