Summary. Diagrams play an important role in the construction of mathematical concepts, mainly in (some) “limit” situations, like in the case of the mental representation of geometric tangent lines. They have many properties and can be viewed as particular epistemic mediators. Further, they are able to provide a better understanding of some mathematical concepts because they can be manipulated. In this paper we investigate how a particular kind of diagram (microscope) can serve to obtain two different and interesting visual representations of how a real function appears in small neighborhoods of its points.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Magnani, L.: Abduction, Reason, and Science. Processes of Discovery and Expla-nation. Kluwer Academic/Plenum Publishers, New York (2001)
Magnani, L.: Epistemic mediators and model-based discovery in science. In Magnani, L., Nersessian, N., eds.: Model-Based Reasoning: Science, Technol-ogy, Values, New York, Kluwer Academic/Plenum Publishers (2002) 305-329
Sullivan, K.A.: The teaching of elementary calculus using the non-standard approach. American Mathematical Monthly (1976) 370-375
Robinson, A.: Non-Standard Analysis. North Holland, Amsterdam (1966)
Kock, A.: Synthetic Differential Geometry. LMS Lecture Notes Series 51. Cambridge University Press, Cambridge (1981)
Stroyan, K.D.: Uniform continuity and rates of growth of meromorphic func-tions. In Luxemburg, W.J., Robinson, A., eds.: Contributions to Non-Standard Analysis, Amsterdam, North-Holland (1972) 47-64
Tall, D.: Elementary axioms and pictures for infinitesimal calculus. Bulletin of the IMA 18 (1982) 43-48
Tall, D.: Natural and formal infinities. Educational Studies in Mathematics 48 (2001) 199-238
Keisler, H.J.: Elementary Calculus. Prindle, Weber, and Schmidt, Boston (1976)
Keisler, H.J.: Foundations of Infinitesimal Calculus. Prindle, Weber, and Schmidt, Boston (1976)
Hurd, A.E., Loeb, P.A.: An Introduction to Nonstandard Real Analysis. Acad-emic Press, Orlando (1985)
Goldblatt, R.: Lectures on the Hyperreals: An Introduction to Nonstandard Analysis. Springer-Verlag, New York (1998)
Stroyan, K.D., Luxemburg, W.A.J.: Introduction to the Theory of Infinitesimals. Academic Press, New York (1976)
Bell, J.L.: A Primer of Infinitesimal Analysis. Cambridge University Press, Cambridge (1998)
Moerdijk, I., Reyes, G.E.: Models for Smooth Infinitesimal Analysis. Springer-Verlag, New York (1991)
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
Dalen, D.V., ed.: Browuer’s Cambridge Lectures on Intuitionism. Cambridge University Press, Cambridge (1981)
Heyting, A.: Disputation. In Benacerraf, P., Putnam, H., eds.: Philosophy of Mathematics. Selected Readings. Prentice-Hall, Inc., Englewood Cliffs, New Jersey (1964) 55-65
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
Lavendhomme, R.: Basic Concepts of Synthetic Differential Geometry. Kluwer Academic Publisher, Dordrecht (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Dossena, R., Magnani, L. (2007). Mathematics through Diagrams: Microscopes in Non-Standard and Smooth Analysis. In: Magnani, L., Li, P. (eds) Model-Based Reasoning in Science, Technology, and Medicine. Studies in Computational Intelligence, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-71986-1_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-71986-1_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-71985-4
Online ISBN: 978-3-540-71986-1
eBook Packages: EngineeringEngineering (R0)