The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited