The paper outlines an interpretation of one of the most important and original contributions of David Hilbert’s monograph Foundations of Geometry , namely his internal arithmetization of geometry. It is claimed that Hilbert’s profound interest in the problem of the introduction of numbers into geometry responded to certain epistemological aims and methodological concerns that were fundamental to his early axiomatic investigations into the foundations of elementary geometry. In particular, it is shown that a central concern that motivated Hilbert’s axiomatic investigations (...) from very early on was the aim of providing an independent basis for geometry. Accordingly, these concerns about an independent grounding for elementary geometry determined very clear methodological constraints in the process of embedding it into a formal axiomatic system. It is argued that Hilbert not only sought to show that geometry could be considered a pure mathematical theory, once it was presented as a formal axiomatic system; he also aimed at showing that in the construction of such an axiomatic system one could proceed purely geometrically, avoiding concept formations borrowed from other mathematical disciplines like arithmetic or analysis. (shrink)

In this paper we briefly expose a project which could be summed up as ‘doing justice to Mario Pieri’. The main result of the project will be the publication of a book on him, in which we will mainl...

This article was found among the papers left by Prof. Laugwitz (May 5, 1932–April 17, 2000). The following abstract is extracted from a lecture he gave at the Fourth Austrain Symposion on the History of Mathematics (Neuhofen/ybbs, November 10, 1995).About 100 years ago, the Cantor-Veronese controversy found wide interest and lasted for more than 20 years. It is concerned with “actual infinity” in mathematics. Cantor, supported by Peano and others, believed to have shown the non-existence of infinitely small quantities, and (...) therefore he fought against the infinitely large and small numbers in Veronese’s geometry, but also against the non-archimedean systems of Thomae, du Bois-Reymond, and Stolz. As a positive consequence of the controversy the distinction between Cantor’s transfinite arithmetic and the theory of ordered algebraic structures becomes clear. (shrink)

Moritz Pasch (1843ber neuere Geometrie (1882), in which he also clearly formulated the view that deductions must be independent from the meanings of the nonlogical terms involved. Pasch also presented in these lectures the main tenets of his philosophy of mathematics, which he continued to elaborate on throughout the rest of his life. This philosophy is quite unique in combining a deductivist methodology with a radically empiricist epistemology for mathematics. By taking into consideration publications from the entire span of Paschs (...) highly original, but virtually unknown, philosophy of mathematics is presented. (shrink)