Les mathématiques grecques sous le regard de la théorie des types
Gardies, Jean-Louis
Philosophia Scientiae, Tome 9 (2005), p. 11-26 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 2005-01-01
@article{PHSC_2005__9_S2_11_0,
     author = {Gardies, Jean-Louis},
     title = {Les math\'ematiques grecques sous le regard de la th\'eorie des types},
     journal = {Philosophia Scientiae},
     volume = {9},
     year = {2005},
     pages = {11-26},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/PHSC_2005__9_S2_11_0}
}

Gardies, Jean-Louis. Les mathématiques grecques sous le regard de la théorie des types. Philosophia Scientiae, Tome 9 (2005) pp. 11-26. http://gdmltest.u-ga.fr/item/PHSC_2005__9_S2_11_0/

[1] Whitehead, Albert North & Russell, Bertrand 1910.- Principia Mathematica, Cambridge, vol. 1, 1910, vol. 2, 1912, vol. 3, 1913 ; 2e éd., 1925-1927.

[2] Hilbert, David & Bernays, Paul 1934-39.- Grundlagen der Mathematik, Berlin : Springer, vol. 1, 1934, vol. 2, 1939 ; 2e éd., 1968-1970 ; trad. fr. par F. Gaillard, E. et M. Guillaume, Paris : L'Harmattan, 2001.

[3] Hilbert, David & Ackermann, W. 1928.- Grundzüge der theoretischen Logik, Berlin  : Springer, 1928, cité d'après la 5e éd., 1967.

[4] Hilbert, David 1899.- Grundlagen der Geometrie, Leipzig, 1899 ; 2e éd., Leipzig : Teubner, 1903 ; 7e éd., Leipzig-Berlin : Teubner ; trad. fr. par P. Rossier, Paris : Dunod, 1971.

[5] Gardies, Jean-Louis 1997.- L'organisation des mathématiques grecques de Théétète à Archimède, Paris : Vrin, 1997. | MR 1650049 | Zbl 0952.01005

[6] Gardies, Jean-Louis 1988.- L'héritage épistémologique d'Eudoxe de Cnide, Paris : Vrin, 1988.

[7] Frege, Gottlob 1884.- Die Grundlagen der Arithmetik, eine logisch-mathematische Untersuchung über den Begriff der Zahl, Breslau, 1884 ; cité d'après Hamburg : Felix Meiner, 1988 ; trad. fr. par C. Imbert, Paris : Seuil, 1969. | MR 840876