Les mathématiques grecques sous le regard de la théorie des types
Philosophia Scientiae (2005)
- Volume: 9, Issue: S2, page 11-26
- ISSN: 1281-2463
Access Full Article
topHow to cite
topGardies, Jean-Louis. "Les mathématiques grecques sous le regard de la théorie des types." Philosophia Scientiae 9.S2 (2005): 11-26. <http://eudml.org/doc/103764>.
@article{Gardies2005,
author = {Gardies, Jean-Louis},
journal = {Philosophia Scientiae},
language = {fre},
number = {S2},
pages = {11-26},
publisher = {Éditions Kimé},
title = {Les mathématiques grecques sous le regard de la théorie des types},
url = {http://eudml.org/doc/103764},
volume = {9},
year = {2005},
}
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
PB - Éditions Kimé
VL - 9
IS - S2
SP - 11
EP - 26
LA - fre
UR - http://eudml.org/doc/103764
ER -
References
top- [1] Whitehead, Albert North & Russell, Bertrand1910.— Principia Mathematica, Cambridge, vol. 1, 1910, vol. 2, 1912, vol. 3, 1913 ; 2e éd., 1925-1927. Zbl0877.01042
- [2] Hilbert, David & Bernays, Paul1934-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. Zbl0009.14501
- [3] Hilbert, David & Ackermann, W. 1928.— Grundzüge der theoretischen Logik, Berlin : Springer, 1928, cité d’après la 5e éd., 1967. Zbl0158.00602
- [4] Hilbert, David1899.— 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-Louis1997.— L’organisation des mathématiques grecques de Théétète à Archimède, Paris : Vrin, 1997. Zbl0952.01005MR1650049
- [6] Gardies, Jean-Louis1988.— L’héritage épistémologique d’Eudoxe de Cnide, Paris : Vrin, 1988.
- [7] Frege, Gottlob1884.— 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. MR840876
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.