Mancosu - Philosophy of Mathematical Practice (Oxford, 2008).pdf

purity of method in hilbert’s grundlagen 255(1923), Grundlagen der Geometrie. Sechste Auflage (Leipzig and Berlin: B. G.Teubner). Revised edn, with extra notes.(1930), Grundlagen der Geometrie. Siebente umgearbeitete und vermehrte Auflage(Leipzig and Berlin: B. G. Teubner). New edn, extensively revised by ArnoldSchmidt.(1935), Gesammelte Abhandlungen, Band 3 (Berlin: Julius Springer).Hilbert, David and Cohn-Vossen,Stefan(1932), Anschauliche Geometrie (Berlin: JuliusSpringer). 2nd edn published by Springer-Verlag in 1996. English trans. Geometryand the Imagination by P. Nemenyi (Chelsea Publishing Company, 1952).Isaacson, Daniel(1987), ‘Arithmetical Truth and Hidden Higher-order Concepts’,in Logic Colloquium ’85 (Amsterdam: North-Holland Publishing Co.). Reprinted inHart (1996, 203–224).Killing, Wilhelm (1898), Einführung in die Grundlagen der Geometrie. Band II (Paderborn:Druck und Verlag von Ferdinand Schöningh).Kirchhoff, Gustav(1877), Vorlesungen über mathematische Physik. Band I: Mechanik(Leipzig: J. Barth).Kürschák, Josef(1902), ‘Das Streckenabtragen’, Mathematische Annalen, 55, 597–598.Pasch, Moritz(1882), Vorlesungen über neuere Geometrie (Leipzig: B. G. Teubner).Poincaré, Henri(1891), ‘Les géometries non-euclidiennes’, Revue générale des sciencespures et appliquées, 2, 769–776. Reprinted with alterations in Poincaré (1902).(1902), La Science et l’Hypothése (Paris: Ernst Flammarion). English translation asScience and Hypothesis, Walter Scott Publishing Co., London, reprinted by DoverPublications, New York, 1952.Samuel, Pierre (1988), Projective Geometry (Berlin, Heidelberg, New York: Springer-Verlag). English trans. by Silvio Levy of Géometrie Projective (Paris: Presses Universitairesde France, 1986).Sommer, Julius(1899/1900), ‘Hilbert’s Foundations of Geometry; Review of DavidHilbert: Grundlagen der Geometrie’, Bulletin of the American Mathematical Society, 6 (2ndser.), 287–289.Stäckel, PaulandEngel, Friedrich (eds.) (1895), Theorie der Parallellinien von Euklidbis auf Gauss, eine Urkundensammlung zur vorgeschichte der nichteuklidischen Geometrie(Leipzig: B. G. Teubner).