Hilbert's Program: An Essay on Mathematical Instrumentalism.
Mark Steiner, Michael E. Detlefsen · The Journal of Philosophy · 1991
I: The Philosophical Fundamentals of Hilbert's Program.- II: A Closer Look at the Problems.- III: The Godelian Challenge.- IV: The Stability Problem.- V: The Convergence Problem and the Problem of Strict Instrumentalism.- Appendix: Hilbert's Program and the First Theorem.- References.