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

352 jeremy avigadCarr, David (1979), ‘The logic of knowing how and ability’, Mind, 88, 394–409.Chou, C. C., Gao, X. S., and Zhang, J. Z. (1994), Machine Proofs in Geometry(Singapore: World Scientific).Dickson, Leonard Eugene (1966), History of the Theory of Numbers, vols. I–III (NewYork: Chelsea Publishing Co.).Euclid, The Thirteen Books of Euclid’s Elements Translated from the Text of Heiberg, trans.with introduction and commentary by Thomas L. Heath, 2nd edn, vols. I–III (NewYork: Dover Publications).Goldfarb, Warren (1985), ‘Kripke on Wittgenstein on rules’, Journal of Philosophy, 82,471–488.Graham, Ronald L., Knuth, Donald E., and Patashnik, Oren (1994), ConcreteMathematics: a Foundation for Computer Science, 2nd edn (Reading, MA: Addison-Wesley).Hardy, G. H., Littlewood, J.E.,andPólya, G.(1988), Inequalities (Cambridge:Cambridge University Press), repr. of 1952 edn.Hilbert, David (1899), ‘Grundlagen der Geometrie’, in Festschrift zur Feier der Enthüllungdes Gauss-Weber Denkmals in Göttingen (Leipzig: Teubner). Trans. by Leo Unger(1971) asFoundations of geometry (La Salle: Open Court).Hunt, Warren A., Krug, Robert Bellarmine, and Moore, J. (2003), ‘Linear andnonlinear arithmetic in ACL2’, in Daniel Geist and Enrico Tronci (eds.), CorrectHardware Design and Verification Methods, Proceedings of CHARME 2003, 319–333(Berlin: Springer-Verlag).Kripke, Saul(1982), Wittgenstein on Rules and Private Language (Cambridge, Mass.:Harvard University Press).Miller, Nathaniel (2001), A Diagrammatic Formal System for Euclidean Geometry, Ph.D.thesis, Cornell University.Mumma, John (2006), Intuition Formalized: Ancient and Modern Methods of Proof inElementary Geometry, Ph.D. thesis, Carnegie Mellon University.Nelson, GregandOppen, Derek C. (1979), ‘Simplification by cooperating decisionprocedures’, ACM Transactions of Programming Languages and Systems, 1, 245–257.Pasch, Moritz(1882), Vorlesungen über neueren Geometrie (Leipzig: Teubner).Poincaré, Henri(1908), Science et Méthode (Paris: Flammarion). Trans. by FrancisMaitland in 1914 as Science and Method (London: T. Nelson and Sons, 1914),republished in 2003 (Mineola, NY: Dover Publications).Ryle, Gilbert (1949), The Concept of Mind (Chicago, IL: University of Chicago Press).Steele, J. Michael (2004), The Cauchy–Schwarz Master Class: an Introduction to the Art ofMathematical Inequalities (Washington, DC: Mathematical Association of America).Tait, William W. (1986), ‘Wittgenstein and the ‘‘skeptical paradoxes’’ ’, Journal ofPhilosophy, 83, 475–488.Tarski, Alfred(1951), A Decision Procedure for Elementary Algebra and Geometry, 2ndedn (University of California Press). Reprinted in B. F. Caviness and J. R. Johnson(eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition, 24–84 (Vienna:Springer-Verlag, 1988).