Mathematics through diagrams: Microscopes in non-standard and smooth analysis

Studies in Computational Intelligence

Volumn 64, Issue , 2007, Pages 193-213

  Dossena, Riccardo ^a   Magnani, Lorenzo ^a  

^a UNIVERSITY OF PAVIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34347369994     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-540-71986-1_11     Document Type: Article

References (20)

1. Magnani, L.: Abduction, Reason, and Science. Processes of Discovery and Explanation. Kluwer Academic/Plenum Publishers, New York (2001)
2. Magnani, L.: Epistemic mediators and model-based discovery in science. In Magnani, L., Nersessian, N., eds.: Model-Based Reasoning: Science, Technology, Values, New York, Kluwer Academic/Plenum Publishers (2002) 305-329.
3. Sullivan, K.A.: The teaching of elementary calculus using the non-standard approach. American Mathematical Monthly (1976) 370-375.
4. Robinson, A.: Non-Standard Analysis. North Holland, Amsterdam (1966).
5. Kock, A.: Synthetic Differential Geometry. LMS Lecture Notes Series 51. Cambridge University Press, Cambridge (1981).
6. Stroyan, K.D.: Uniform continuity and rates of growth of meromorphic functions. In Luxemburg, W.J., Robinson, A., eds.: Contributions to Non-Standard Analysis, Amsterdam, North-Holland (1972) 47-64.
7. Tall, D.: Elementary axioms and pictures for infinitesimal calculus. Bulletin of the IMA 18 (1982) 43-48.
8. Tall, D.: Natural and formal infinities. Educational Studies in Mathematics 48 (2001) 199-238.
9. Keisler, H.J.: Elementary Calculus. Prindle, Weber, and Schmidt, Boston (1976).
10. Keisler, H.J.: Foundations of Infinitesimal Calculus. Prindle, Weber, and Schmidt, Boston (1976).
11. Hurd, A.E., Loeb, P.A.: An Introduction to Nonstandard Real Analysis Academic Press, Orlando (1985).
12. Goldblatt, R.: Lectures on the Hyperreals: An Introduction to Nonstandard Analysis. Springer-Verlag, New York (1998).
13. Stroyan, K.D., Luxemburg, W.A.J.: Introduction to the Theory of Infinitesimals. Academic Press, New York (1976).
14. Bell, J.L.: A Primer of Infinitesimal Analysis. Cambridge University Press, Cambridge (1998).
15. Moerdijk, I., Reyes, G.E.: Models for Smooth Infinitesimal Analysis Springer-Verlag, New York (1991).
16. Browuer, L.E.J.: Intuitionism and formalism. In Benacerraf, P., Putnam, H., eds.: Philosophy of Mathematics. Selected Readings. Prentice-Hall, Inc., Englewood Cliffs, New Jersey (1964) 66-77.
17. Dalen, D.V., ed.: Browuer's Cambridge Lectures on Intuitionism. Cambridge University Press, Cambridge (1981).
18. Heyting, A.: Disputation. In Benacerraf, P., Putnam, H., eds.: Philosophy of Mathematics. Selected Readings. Prentice-Hall, Inc., Englewood Cliffs, New Jersey (1964) 55-65.
19. Heyting, A.: The intuitionist foundations of mathematics. In Benacerraf, P., Putnam, H., eds.: Philosophy of Mathematics. Selected Readings Prentice-Hall, Inc., Englewood Cliffs, New Jersey (1964) 42-54.
20. Lavendhomme, R.: Basic Concepts of Synthetic Differential Geometry Kluwer Academic Publisher, Dordrecht (1996).