The axiomatic method in theory and in practice

Logique et Analyse

Volumn 51, Issue 202, 2008, Pages 125-147

  Rav, Yehuda ^a  

^a UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 60950401237     PISSN: 00245836     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (67)

1. Aberdein, A. (2007). "The informal logic of mathematical proof, in B. Van Kerkhove and J.P. Van Bendegem (2007): 135-151
2. Birkhoff, G. and S. MacLane (1941). A Survey of Modern Algebra. New York, N.Y., Macmillan
3. Bishop, E. (1967). Foundations of constructive analysis. New York, N.Y., McGraw-Hill
4. Blanché, R. (1962). Axiomatics. London, Routledge & Kegan Paul
5. Blanchette, P.A. (2007). "Frege on consistency and conceptual analysis." Philosophia Mathematica (3) 15: 321-346
6. Blumenthal, O. (1935). "Lebensgeschichte", in D. Hilbert (1935 III): 388-424
7. Bolzano, B. (1817). "Rein analytischer Beweis des Lehrsatzes, dass zwischen zwei Werten, die ein entgegengesetztes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege." (Pamphlet). Prague. English translation in Russ (1980). Reprinted in Russ (2004)
8. Cavaillès, J. (1938/1981). Méthode axiomatique et formalisme. Paris, Hermann
9. Cantor, G. (1872). "Über die Ausdehnung eines Satzes aus der Theorie der trigonometrischen Reihen." Math. Annalen 5: 123-132. Reprinted in Cantor (1932): 92-101
10. Cantor, G. (1932). Gesammelte Abhandlungen mathematischen und philosophischen Inhalts. Berlin, Springer. Reprint (1966), Hildesheim, Olms
11. Cellucci, C. (2005). Mathematical discourse vs. mathematical intuition, in Mathematical Reasoning and Heuristics, C. Cellucci and D. Gillies, Eds., London, Kings College: 137-165
12. Contro, W.S. (1975/76). "Von Pasch zu Hilbert." Arch. History Exact Sci. 15(3): 283-295
13. Dawson, J.W., Jr. (2006). "Why do mathematicians re-prove theorems?" Philosophia Mathematica (3) 14: 269-286
14. Dedekind, R. (1872). Stetigkeit und irrationale Zahlen. Braunschweig, Vieweg. Reprinted in Dedekind (1930-1932), III: 315-334. English translation in Dedekind (1901; 1963). Revised translation in W. Ewald (1996): 765-779
15. Dedekind, R. (1930-1932). Gesammelte mathematische Werke. Braunschweig, Vieweg; 3 volumes, R. Fricke, E. Noether, and Ö. Ore, Eds
16. Dedekind, R. (1901; 1963). Essays on the Theory of Numbers: I. Continuity and irrational numbers. II. The nature and meaning of numbers. Wooster Woodruff Beman, translator. Chicago, IL, Open Court (1901). Reprint: New York, Dover (1963)
17. Edwards, C.H., Jr. (1979). The Historical Development of the Calculus. New York-Heidelberg-Berlin, Springer
18. Edwards, R, Ed. (1967). The Encyclopedia of Philosophy. New York, Macmillan & Free Press
19. Enderton, H.B. (2001). A Mathematical Introduction to Logic. Second edition, Burlington, MA, Harcourt/Academic Press
20. Ewald, W. (1996). From Kant to Hilbert: A Source Book in Mathematics. Oxford, Clarendon Press
21. Feferman, S. (2006). "Are there absolutely unsolvable problems? Godel's dichotomy." Philosophia Mathematica (3) 14(2): 134-152
22. Feferman, S., H.M. Friedman, M. Maddy, and J.R. Steel (2000). "Does mathematics need new axioms?" Bull. Symbolic Logic 6(4): 401-446
23. Gergonne, J.D. (1818/19). "Essai sur la théorie des définitions." Annates de Mathématiques pures et appliquées 9: 1-35
24. Hallett, M. and U. Majer, eds. (2004). Hilbert's Lectures on the Foundations of Geometry 1891-1902. Berlin-Heidelberg-New York, Springer
25. Heine, E. (1872). "Die Elemente der Funktionenlehre", Journal für die Reine und Angewandte Mathematik 74: 172-188
26. Hilbert, D. (1897). "Die Theorie der algebraischen Zahlkörper", Jahresbericht der Deutschen Mathematiker Vereinigung (JDMV) 4: 175-546
27. Reprinted in Hilbert (1932 I): 63-482
28. Hilbert, D. (1899). Grundlagen der Geometrie Leipzig, Teubner
29. Hilbert, D. (1902). Foundations of Geometry. La Salle, IL, Open Court
30. Hilbert, D. (1900). "Über den Zahlbegriff", Jahresbericht der Deutschen Mathematiker Vereinigung (JDMV) 8: 180-194
31. rd ed., (1909), Leipzig, Teubner
32. Hilbert, D. (1904). "Über die Grundlagen der Logik und der Arithmetik", in Verhandlungen des dritten Mathematiker-Kongresses in Heidelberg, August 1904. Leipzig, Teubner (1905): 174-185. English translation in Hilbert (1967)
33. Hilbert, D. (1918). "Axiomatisches Denken." Mathematische Annalen 78: 405-415
34. Hilbert, D. (1932, I; 1933, II; 1935, III). Gesammelte Abhandlungen (Collected Works, 3 volumes). Berlin, Springer. Reprint (1965), Bronx, N.Y., Chelsea
35. Hilbert, D. (1967). On the foundations of logic and arithmetic, in From Frege to Gödel. J. van Heijenoort, Ed., Cambridge, MA, Harvard University Press: 130-138
36. Hilbert, D. (1971). Letter to Frege, dated December 29, 1899, in G. Frege: On the Foundation of Geometry and Formal Theories of Arithmetic, E.H. Kluge, translator. New Haven, Conn., Yale University Press
37. Hilbert, D. (1976). "Mathematical Problems", in Mathematical developments arising from Hilbert problems. Proceedings of Symposia in Pure Mathematics, vol. XXVIII, Part 1, F.E. Browder, Ed., Providence, RI, American Mathematical Society: 1-34
38. Hintikka, J. (1980). "Aristotelian axiomatics and geometric axiomatics". Proceedings of the 1978 Pisa Conference, J. Hintikka et al. (Eds.), Dordrecht, D. Reidel: 133-144
39. Hintikka, J. (1996). The principles of mathematics revisited. Cambridge, Cambridge University Press
40. Kennedy, H.C. (1972). "The origins of modern axiomatics: Pasch to Peano." American Mathematical Monthly 79: 133-136
41. Kline, M. (1972). Mathematical thought from ancient to modern times. New York, N.Y., Oxford University Press
42. Kneale, W. & M. (1971). The development of logic. London, Oxford University Press
43. Kossack, E. (1872). Die Elemente der Arithmetik. Berlin
44. Landau, E. (1930/1965). Grundlagen der Analysis. First edition, Leipzig, Teubner 1930
45. th edition 1965, New York, N.Y., Chelsea. English: Foundations of analysis (1951), F. Steinhardt, translator, New York, N.Y., Chelsea
46. Lederman, W. (1957). Introduction to the theory of finite groups. Edinburgh, Oliver & Boyd
47. Lenhard, J. and M. Otte (2002). "Analyse und Synthese - Von Leibniz und Kant zum Axiomatischen Denken." Philosophia Naturalis 39(2): 259-292
48. Méray, C. (1872). Nouveau Précis d'analyse infinitésimale. Paris
49. Oliveri, G. (2005). "Do we really need axioms in mathematics?", in Mathematical Reasoning and Heuristics. C. Cellucci and D. Gillies, Eds., London, Kings College: 119-135
50. Pasch, M. (1882/1926). Vorlesungen über neuere Geometrie Leipzig, Teubner 1882. Second edition 1926, with an appendix by Max Dehn, Berlin, Springer
51. Peano, G. (1888). Calcolo geometrico, secondo l'Ausdehnungslehre di H. Grassmann, preceduto dalle operazioni della logica deduttiva. Torino
52. Peano, G. (1889). I principi di geometria, logicamente espositi. Opere scelte 2, U. Cassino Ed., Roma, Editioni Cremonese (1958): 56-91
53. Pieri, M. (1894), in Rivista diMatematica 4: 51-90
54. Poincaré, H. (1891). "Les Géometries non-euclidiennes." Revue générale des Sciences pures et appliquées 2(15 déc. 1891): 769-774. Reprinted in Poincaré (1902): 63-76
55. Poincaré, H. (1902). La Science et l'Hypothèse. Paris, Flammarion
56. Rav, Y. (1999). "Why do we prove theorems?" Philosophia Mathematica (3)7: 5-41
57. Rav, Y. (2007). "A critique of a formalist-mechanist version of the justification of arguments in mathematicians' proof practices." Philosophia Mathematica (3) 15: 291-320
58. nd edition). New York, N.Y., McGraw-Hill
59. Ruelle, D. (2007). The Mathematician's Brain: A personal tour through the essentials of mathematics and some of the great minds behind them. Princeton, N.J., Princeton University Press
60. Russ, S. (1980). "A translation of Bolzano's paper on the Intermediate Value Theorem." Historia Mathematica 7 (2): 156-185
61. Russ, S. (2004). The Mathematical Works of Bernard Bolzano. Oxford, Oxford University Press
62. Seidenberg, A. (1975). "Did Euclid's Elements, Book I, develop geometry axiomatically?" Archive for History of Exact Sciences 14(4): 263-295
63. Szabó, Á. (1969). Die Anfänge der griechischen Mathematik. München, R. Oldenbourg. English: The beginning of Greek mathematics, A.M. Ungar, translator. Dordrecht, D. Reidel (1978)
64. Toepell, M.-M. (1986). "On the origins of David Hilbert's 'Grundlagen der Geometrie'." Archive for History of Exact Sciences 35: 329-344
65. Van Kerkhove, B. and J.P. Van Bendegem, eds. (2007). Perspectives on Mathematical Practices (PMP 2002). Dordrecht, Springer
66. Veronese, G. (1891). Fondamenti di geometria. Padova
67. Wussing, H. (1984). The genesis of the abstract group concept. Cambridge, MA, MIT Press. Translation of Die Genesis des abstrakten Gruppenbegriffes. Berlin, VEB (1969)