Michael Detlefsen

Michael Detlefsen is a philosopher at the University of Notre Dame. His areas of concentration are logic, history and philosophy of mathematics and epistemology.

Detlefsen studied at Wheaton College and Johns Hopkins University. He began teaching at the University of Minnesota, Duluth and later moved to Notre Dame as an associate professor of philosophy.

He currently serves as the chief editor of the Notre Dame Journal of Formal Logic and is on the editorial boards of Philosophia Mathematica and the Journal of Universal Computer Science. He is the author of Hilbert's Program: An Essay in Mathematical Instrumentalism as well as the editor of Proof, Logic and Formalization and Proof and Mathematical Knowledge.

...
Wikipedia