The prevalence of Hilbert's formalism reflects sociological and instrumental factors in mathematical...