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

purity as an ideal of proof 195Ewald, William (1996), From Kant to Hilbert: A Source Book in the Foundations ofMathematics, 2 Vols. (Oxford: OUP).Formanek, Edward(1973), ‘Faithful Noetherian Modules’, Proceedings of the AmericanMathematical Society, 41, 381–383.Frege, Gottlob (1884), Die Grundlagen der Arithmetik, eine logisch-mathematische Untersuchungüber den Begriff der Zahl (Breslau: W. Koebner). Page references are to theEnglish trans. by J. L. Austin, The Foundations of Arithmetic, a Logico-MathematicalEnquiry into the Concept of Number, 2nd rev. edn (Evanston, IL: NorthwesternUniversity Press).(1885), ‘Formal theories of arithmetic’. English trans. of 1885 German originalin Collected Papers on Mathematics, Logic and Philosophy, ed. B. McGuinness (Oxford:Blackwell).Friberg, Bjorn(1973), ‘A topological proof of a theorem of Kneser’, Proceedings of theAmerican Mathematical Society, 39, 421–426.Gauss, Carl(1799), Demonstratio Nova Theorematis, omnem functionem algebraicam rationalemintegram unius variabilis in factores reales primi vel secundi gradus resolvi posse (Helmstadii:C. G. Fleckeisen). .(1870–1927), Werke, 12 vols (Göttingen: Königlichen Gesellschaft der Wissenschaften).(1976), Briefwechsel mit H. W. M. Olbers (Hildesheim: Georg Olms).(1832), Theoria residuorum biquadraticorum, commentatio secunda (Anzeige). Reprintedin Gauss (1870–1927), vol. II. English translation in Ewald (1996), vol. I. Pagereferences are to this translation.Gilmer, Robert and Mott, Joe (1971), ‘An algebraic proof of a theorem ofA. Robinson’, Proceedings of the American Mathematical Society, 29, 461–466.Hilbert, David (1899), The Foundations of Geometry. English trans. by L. Unger of10th edn of Die Grundlagen der Geometrie (Stuttgart: Teubner, 1968). First editionpublished by Teubner, Leipzig, 1899.Hobson, ErnestW.(1927), The Theory of Functions of a Real Variable and the Theory ofFourier’s Series, vol.I,2nd edn (Cambridge: CUP).Ingham, Albert(1932), The Distribution of Prime Numbers (Cambridge: CUP).(1949), Review of Selberg (1949) andErdös (1949), in Mathematical Reviews, 10,595–596.Jenkins, James(1982), ‘A uniqueness result in conformal mapping. II’, Proceedings of theAmerican Mathematical Society, 85, 231–232.Kazarinoff, D. K. (1957), ‘A simple proof of the Erdös–Mordell inequality fortriangles’, Michigan Mathematics Journal, 4, 97–98.Klein, Felix (1894), The Evanston Colloquium: Lectures on Mathematics (New York:Macmillan & Co.).(1925), Elementary Mathematics from an Advanced Standpoint: Geometry (Mineola:Dover). English trans. by E. Hedrick and C. Noble of the 1925 3rd edn of the 1908German original Elementarmathematik vom höheren Standpunkte aus, vol.2 (Berlin:J. Springer, 1924–1928).