Les mathématiques grecques sous le regard de la théorie des types
Philosophia Scientiae, Fonder autrement les mathématiques, Tome 9 (2005) no. S2, pp. 11-26. 
@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},
     pages = {11--26},
     publisher = {\'Editions Kim\'e},
     volume = {9},
     number = {S2},
     year = {2005},
     language = {fr},
     url = {http://www.numdam.org/item/PHSC_2005__9_S2_11_0/}
}
TY  - JOUR
AU  - Gardies, Jean-Louis
TI  - Les mathématiques grecques sous le regard de la théorie des types
JO  - Philosophia Scientiae
PY  - 2005
SP  - 11
EP  - 26
VL  - 9
IS  - S2
PB  - Éditions Kimé
UR  - http://www.numdam.org/item/PHSC_2005__9_S2_11_0/
LA  - fr
ID  - PHSC_2005__9_S2_11_0
ER  - 
%0 Journal Article
%A Gardies, Jean-Louis
%T Les mathématiques grecques sous le regard de la théorie des types
%J Philosophia Scientiae
%D 2005
%P 11-26
%V 9
%N S2
%I Éditions Kimé
%U http://www.numdam.org/item/PHSC_2005__9_S2_11_0/
%G fr
%F PHSC_2005__9_S2_11_0
Gardies, Jean-Louis. Les mathématiques grecques sous le regard de la théorie des types. Philosophia Scientiae, Fonder autrement les mathématiques, Tome 9 (2005) no. S2, pp. 11-26. http://www.numdam.org/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 | Zbl

[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