Hilbert's Program: An Essay On Mathematical Instrumentalism