Michael Detlefsen

University of Notre Dame

United States

Bio

Worked on foundations, proof, and methodological questions in mathematics.

philosophy of mathematicslogic