Hilbert's formalism and arithmetization of mathematics (Q1293008)

The main concern is Hilbert's understanding of axiomatics, especially as deployed in his Grundlagen der Geometrie (1899), and in later sources such as a lecture course on foundations in 1904-1905 (not `a long lecture of 1905' of p. 3). The author shows that in some ways Hilbert was opposed to kinds of formalism in mathematics, and should have mentioned that Hilbert never used the word ``Formalismus'' to characterise his position; it was imposed by Brouwer, as a criticism. The author brings out by examples the model-theoretic aspects of Hilbert's philosophy. Various items of primary and historical literature in German are cited in the footnotes and references -- with a mass of spelling mistakes.