"The Empiricist Roots of Hilbert’s Axiomatic Method", in Vincent F. Hendricks et al.  (eds.) Proof Theory: History and Philosophical Significance, Dordrecht, Kluwer (2000): 35-54.