Name Michael Detlefsen | Books Hilbert's program | |
 | ||
Education Wheaton College, Johns Hopkins University | ||
Michael Detlefsen is a philosopher at the University of Notre Dame. His areas of concentration are logic, history and philosophy of mathematics and epistemology.
Contents
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.
References
Michael Detlefsen Wikipedia(Text) CC BY-SA