Voir la notice de l'article provenant de la source Numdam
L'histoire récente des mathématique non standard est mise en perspective de manière à faire apparaître une modification dans le langage utilisé et dans la pratique de la référentiation des énoncés qui pourrait conduire, si on le souhaitait à rapprocher la langue mathématique d'une langue de communication. La profusion des constructions ensemblistes peut être limitée grâce à un vocabulaire un peu plus riche permettant de «dire l'indétermination», l'indiscernabilité, l'inaccessibilité... quand cela est nécessaire et d'explorer plus finement par le langage mathématique, par une sorte de traduction du langage courant, des concepts sur lesquels le langage des mathématiques conventionnelles est presque muet : concepts de point, de grandeur infinie ou infinitésimale etc...
The recent history of nonstandard mathematics is displayed so as to reveal a modification in the used language as well that in the way the referentiation of the statements is done. These changes could lead to bring the mathematical language closer to a language of communication. The profusion of constructions of sets can be limited thanks to a little richer vocabulary making it possible “to express the indetermination”, indiscernibility, inaccessibility... when it is necessary, and permit also to explore more precisely with the mathematical language, using a sort of translation of the ordinary language, some concepts about which the language of conventional mathematics is almost dumb such as concepts of point, infinity or infinitesimality.
@article{PHSC_2005__9_S2_257_0, author = {P\'eraire, Yves}, title = {Le replacement du r\'ef\'erent dans les pratiques de l'analyse issues de {E.} {Nelson} et de {G.} {Reeb}}, journal = {Philosophia Scientiae}, pages = {257--273}, publisher = {\'Editions Kim\'e}, volume = {9}, number = {S2}, year = {2005}, language = {fr}, url = {http://geodesic.mathdoc.fr/item/PHSC_2005__9_S2_257_0/} }
TY - JOUR AU - Péraire, Yves TI - Le replacement du référent dans les pratiques de l'analyse issues de E. Nelson et de G. Reeb JO - Philosophia Scientiae PY - 2005 SP - 257 EP - 273 VL - 9 IS - S2 PB - Éditions Kimé UR - http://geodesic.mathdoc.fr/item/PHSC_2005__9_S2_257_0/ LA - fr ID - PHSC_2005__9_S2_257_0 ER -
Péraire, Yves. Le replacement du référent dans les pratiques de l'analyse issues de E. Nelson et de G. Reeb. Philosophia Scientiae, Fonder autrement les mathématiques, Tome 9 (2005), pp. 257-273. http://geodesic.mathdoc.fr/item/PHSC_2005__9_S2_257_0/