Abstract
We discuss various ways, which have been plainly justified in the secondhalf of the twentieth century, to introduce infinitesimals, and we considerthe new style of reasoning in mathematical analysis that they allow.
Similar content being viewed by others
REFERENCES
Albuquerque, L. G.: 1994, Collage des champs et phénomène canard, Thèse Mulhouse.
Callot, J. L. and T. Sari: 1983, in T. D. Landau (ed.), Stroboscopie infinitésimale et moyennisation dous les systèmes d'équations différentielles à solutions rapidement oscillentes, tome3, Editions du CNRS, pp. 345–353.
Callot, J. L.: 1992, ‘Trois leçons d'Analyse Infinitésimale’, in J. M. Salanskis (ed.), Le labyrinthe du continu, Springer France, Paris, pp. 369–381.
Benoit, E., J. L. Callot, F. Diener, and M. Diener: 1981, ‘Chasse aux canards’, Collectanea Matematica 32(1-3), 37–119.
Diener, F. and G. Reeb: 1989, Analyse Non Standard, Hermann, Paris.
Diener, F.: 1992, ‘Deux exemples de formalisation au moyen de l'Analyse Non Standard’, in J. M. Salanskis (ed.), Le labyrinthe du continu, Springer France, Paris.
Diener, M. and F. Diener (eds.): 1995, Non Standard Analysis in Practice, Universitext, Springer-Verlag, Berlin/New York.
Fillippov, A. F. M.: 1964, ‘Differential Equations with Dis(continuous) Right-Hand Sides’, Trans. Am. Math. Soc. 2(42), 199–401.
Harthong, J.: 1983, ‘Eléments pour une théorie du continu’, Astérisque 109-110, 2, 234–244.
Harthong, J. and G. Reeb (1989), ‘Intuitionisme 84’, in H. Barreau and J. Harthong (eds.), La mathématique non standard, éditions du CNRS, Paris, pp. 211–252.
Lakatos, I.: 1987, Matematicas, ciencia y epistemologia, Alianza Editorial, Madrid.
D. Laugwitz: 1992, ‘Leibniz' Principle and Omega Calculus’, in J. M. Salanskis (ed.), Le labyrinthe du continu, Springer France, Paris.
Loeb, P. A.: 1974, A Non Standard Representation of Borel Measure and Sigma-Finite Measures, Lecture Notes in Math. No. 369, Springer, pp. 144–152.
Lutz, R.: 1987, ‘Rêveries infinitésimales’, La Gazette des mathématiciens 34.
Lutz, R.: 1983, ‘L'intrusion de l'Analyse Non Standard dans l'étude des perturbations singulières’, Astérisque 2, 109–110.
Lutz, R.: 1992, ‘La force des théories infinitésimales faibles’, in J. M. Salanskis (ed.), Le labyrinthe du continu, Springer France, Paris.
Lutz, R.: 1998, L'enrichissement conceptuel pour enseigner l'analyse autrement, Quadrature 34, Editions du choix, Marseilles.
Lutz, R. and M. Goze: 1981, Nonstandard Analysis: A Practical Guide with Applications, Lecture Notes in Math. No. 881, Springer.
Lutz, R., A. Makhlouf, and E. Meyer: 1996, Fondement pour un enseignement de l'analyse en termes d'ordres de grandeur: les réels dévoilés, Brochure APMEP 103, Paris.
Lutz, R. and T. Sari: 1982, ‘Applications of Nonstandard Analysis to Boundary Value Problems in Singular Perturbation Theory’, in W. Eckhaus and E. M. de Jager (eds.), Theory and Applications of Singular Perturbations, Lecture Notes in Math. No. 942, Springer, pp. 113–135.
Musio, M. and R. Lutz: 1994, A Finitisation of the Finitely Additive Probability Theory, Rend. Acad. Naz. delle Sc. detta del XL, mem. di Mat, 112, Vol. XVIII, Part 1, pp. 117–132.
Nelson, E.: 1977, ‘Internal Set Theory’, Bull. Amer. Math. Soc. 83, 6.
Nelson, E.: 1987, Radically Elementary Probability Theory, Ann. Math. Studies 117, Princeton University Press, N.J.
Nelson, E.: 1988, ‘The Syntax of Non Standard Analysis’, Ann. Pure and Appl. Logic 38, 123–134.
Oliveira, F. A. J.: 1985, ‘L'arithmétique de Péano avec le prédicat standard’, in Mathématiques finitaires et Analyse Non Standard, Vol. VII, Public University, Paris, pp. 322–332.
Peraire, Y.: 1995, ‘Théorie relative des ensembles internes’, Osaka J. Math. 29, 2.
Reeb, G.: 1979, La mathématique non standard vielle de soixante ans, reproduced in J. M. Salanskis (1999), pp. 276–289.
Robert, A.: 1985, Analyse Non Standard, Presses Polytechniques Romandes, Lausanne.
Robinson, A.: 1966, Nonstandard Analysis, North Holland, Amsterdam.
Salanskis, J. M.: 1999, Le constructivisme non standard, Presses Univ. du Septentrion, Villeneuve d'Ascq.
Sari, T.: 1983, ‘Sur la théorie asymptotique des oscillations non stationnaires’, Astérisque 2, 109–110.
van den Berg, I.: 1987, Nonstandard Asymptotic Analysis Lecture notes in Math. No. 1249, Springer.
van den Berg, I.: 1992, ‘Extended Use of I.S.T.’, Annals of Pure and Applied Logic 58, 73–92.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lutz, R., Luis Gonzaga, L.G. Modern Infinitesimals as a Tool to Match Intuitive and Formal Reasoning in Analysis. Synthese 134, 325–351 (2003). https://doi.org/10.1023/A:1022152117818
Issue Date:
DOI: https://doi.org/10.1023/A:1022152117818