MD
The basics
Quick facts
Intro
American logician
Gender:
Male
Places:
Is:
Work field:
The details
Biography
Introduction
Michael Detlefsen is a philosopher at the University of Notre Dame. His areas of concentration are logic, history and philosophy of mathematics and epistemology.
Academic positions
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.
Publications
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.