1948 – 2019
Michael Detlefsen (1948–2019) was an American philosopher of mathematics at the University of Notre Dame, best known for his defense and reconstruction of Hilbert's Program. His work examined the philosophical foundations of proof, formalism, and the epistemic significance of Gödel's incompleteness theorems.
Authored 'Hilbert's Program: An Essay on Mathematical Instrumentalism' (1986), a landmark defense of formalist foundations
Argued that Gödel's incompleteness theorems do not decisively refute Hilbert's Program
Developed an instrumentalist account of mathematical proof and its epistemic role
Advanced the view that consistency, not truth, is the proper aim of formal systems
Contributed to debates on the nature of mathematical knowledge and the significance of formal provability