1986 veröffentlichte Michael Detlefsen Hilbert's Program, die bisher einzige Monographie zum Hilbertprogramm. Der Untertitel "An Essay on Mathematical Instrumentalism" bezeichnet das Programm des Buches: Eine instrumentalistische Auffassung des Hilbertprogramms zu entwickeln und argumentativ zu verteidigen. In diesem Kapitel sollen an diese Auffassung zwei Fragen gestellt werden: Erstens: Ist das HP in diesem instrumentalistischen Rahmen überhaupt adäquat interpretiert? Und zweitens: Ist der mathematische Instrumentalismus, wie Detlefsen ihn beschreibt, eine plausible Philosophie der Mathematik?