Modern infinitesimals as a tool to match intuitive and formal reasoning in analysis

Synthese

Volumn 134, Issue 1-2, 2003, Pages 325-351

  Lutz, Robert ^a   Luis Gonzaga, Luis Gonzaga ^b  

^a UNIVERSITÉ DE HAUTE ALSACE   (France)

^b UNIVERSIDADE ABERTA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 41549129602     PISSN: 00397857     EISSN: 15730964     Source Type: Journal    
DOI: 10.1023/A:1022152117818     Document Type: Conference Paper

References (33)

1. Albuquerque, L. G.: 1994, Collage des champs et phénomène canard, Thèse Mulhouse.
2. 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.
3. 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.
4. E. Benoit J. L. Callot F. Diener M. Diener 1981 Chasse aux canards Collectanea Matematica 32 1-3 37 119
5. Diener, F. and G. Reeb: 1989, Analyse Non Standard, Hermann, Paris.
6. 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.
7. Diener, M. and F. Diener (eds.): 1995, Non Standard Analysis in Practice, Universitext, Springer-Verlag, Berlin/New York.
8. A. F. M. Fillippov 1964 Differential Equations with Dis(continuous) Right-Hand Sides Trans. Am. Math. Soc. 2 42 199 401
9. J. Harthong 1983 Eléments pour une théorie du continu Astérisque 109-110 2 234 244
10. 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.
11. Lakatos, I.: 1987, Matematicas, ciencia y epistemologia, Alianza Editorial, Madrid.
12. D. Laugwitz: 1992, 'Leibniz' Principle and Omega Calculus', in J. M. Salanskis (ed.), Le labyrinthe du continu, Springer France, Paris.
13. 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.
14. Lutz, R.: 1987, 'Rêveries infinitésimales', La Gazette des mathématiciens 34.
15. R. Lutz 1983 L'intrusion de l'Analyse Non Standard dans l'étude des perturbations singulières Astérisque 2 109 110
16. Lutz, R.: 1992, 'La force des théories infinitésimales faibles', in J. M. Salanskis (ed.), Le labyrinthe du continu, Springer France, Paris.
17. Lutz, R.: 1998, L'enrichissement conceptuel pour enseigner l'analyse autrement, Quadrature 34, Editions du choix, Marseilles.
18. Lutz, R. and M. Goze: 1981, Nonstandard Analysis: A Practical Guide with Applications, Lecture Notes in Math. No. 881, Springer.
19. 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.
20. 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.
21. 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.
22. E. Nelson 1977 Internal Set Theory Bull. Amer. Math. Soc. 83 6
23. Nelson, E.: 1987, Radically Elementary Probability Theory, Ann. Math. Studies 117, Princeton University Press, N.J.
24. E. Nelson 1988 The Syntax of Non Standard Analysis Ann. Pure and Appl. Logic 38 123 134
25. 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.
26. Y. Peraire 1995 Théorie relative des ensembles internes Osaka J. Math. 29 2
27. Reeb, G.: 1979, La mathématique non standard vielle de soixante ans, reproduced in J. M. Salanskis (1999), pp. 276-289.
28. Robert, A.: 1985, Analyse Non Standard, Presses Polytechniques Romandes, Lausanne.
29. Robinson, A.: 1966, Nonstandard Analysis, North Holland, Amsterdam.
30. Salanskis, J. M.: 1999, Le constructivisme non standard, Presses Univ. du Septentrion, Villeneuve d'Ascq.
31. T. Sari 1983 Sur la théorie asymptotique des oscillations non stationnaires Astérisque 2 109 110
32. van den Berg, I.: 1987, Nonstandard Asymptotic Analysis Lecture notes in Math. No. 1249, Springer.
33. I. van den Berg 1992 Extended Use of I.S.T. Annals of Pure and Applied Logic 58 73 92