The autonomy of mathematical knowledge Hilbert's program revisited - Franks, Curtis (Cambridge University Press, 2009)