Matteo Bianchetti

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.

Research Interests

Philosophy of Mathematics