@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://archive.numdam.org/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, Fonder autrement les mathématiques, Tome 9 (2005) no. S2, pp. 11-26. http://archive.numdam.org/item/PHSC_2005__9_S2_11_0/
[1] Principia Mathematica, Cambridge, vol. 1, 1910, vol. 2, 1912, vol. 3, 1913 ; 2e éd., 1925-1927.
& 1910.-[2] 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.
& 1934-39.-[3] Hilbert, David & Ackermann, W. 1928.- Grundzüge der theoretischen Logik, Berlin : Springer, 1928, cité d'après la 5e éd., 1967.
[4] Grundlagen der Geometrie, Leipzig, 1899 ; 2e éd., Leipzig : Teubner, 1903 ; 7e éd., Leipzig-Berlin : Teubner ; trad. fr. par P. Rossier, Paris : Dunod, 1971.
1899.-[5] L'organisation des mathématiques grecques de Théétète à Archimède, Paris : Vrin, 1997. | MR | Zbl
1997.-[6] L'héritage épistémologique d'Eudoxe de Cnide, Paris : Vrin, 1988.
1988.-[7] 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
1884.-