Abstract
Concepts of infinity usually arise by reflecting on finite experiences and imagining them extended to the infinite. This paper will refer to such personal conception as natural infinities.Research has shown that individuals' natural conceptions of infinity are `labile and self-contradictory' (Fischbein et al.,1979, p. 31). The formal approach to mathematics in the twentieth century attempted to rationalize these inconsistencies by selecting a finite list of specific properties (or axioms) from which the conception of a formal infinity is built by formal deduction. By beginning with different properties of finite numbers, such as counting,ordering or arithmetic,different formal systems may be developed. Counting and ordering lead to cardinal and ordinal number theory and the properties of arithmetic lead to ordered fields that may contain infinite and infinitesimalquantities. Cardinal and ordinal numbers can be added and multiplied but not divided or subtracted. The operations of cardinals are commutative, but the operations of ordinals are not. Meanwhile an ordered field has a full system of arithmetic in which the reciprocals of infinite elements are infinitesimals. Thus, while natural concepts of infinity may contain built-in contradictions, there are several different kinds of formal infinity, each with its own coherent properties, yet each system having properties that differ from the others. The construction of both natural and formal infinities are products of human thought and so may be considered in terms of embodied cognition' (Lakoff and Nunez,2000). The viewpoint forwarded here, however, is that formal deduction focuses as far as possible on formal logic in preference to perceptual imagery, developing a network of formal properties that do not depend on specific embodiments. Indeed, I shall show that formal theory can lead to structure theorems, whose formal properties may then be re-interpreted as a more subtle form of embodied imagery. Not only can natural embodied theory inspire theorems to be proved formally, but formal theory can also feed back into human embodiment, now subtly enhanced by the underlying network of formal relationships.
Similar content being viewed by others
REFERENCES
Artigue, M.: 1991, ‘Analysis’, in D.O. Tall (ed.), Advanced Mathematical Thinking, Kluwer, Dordrecht, pp. 166–198.
Berkeley, G.: 1951, ‘The analyst or a discourse addressed to an infidel mathematician wherein it is examined whether the object, principles, and inferences of the modern analysis are more distinctly conceived, or more evidently deduced, than religious mysteries and points of faith’, in A.A. Luce (ed.), The Works of George Berkeley Vol 4, Thomas Nelson, London.
Bishop, E.: 1967, Foundations of Constructive Analysis, McGraw-Hill.
Bishop, E.: 1977, Review of ‘elementary calculus’, in H.J. Keisler (ed.), Bulletin of the American Mathematical Society 83(2), 205–208.
Cantor, G.: 1895, Beiträge zur Begründung der transfiniten Mengelehre, (English trans.: Contributions to the Founding of the Theory of Transfinite numbers, 1915).
Cohen, P.J.: 1966, Set Theory and the Continuum Hypothesis, Benjamin, New York.
Cornu, B.: 1981, ‘Apprentissage de la notion de limite: modè les spontanés et modè les propres,’ Actes du Cinquiè me Colloque du Groupe International P.M.E., Grenoble, 322–326.
Cornu, B.: 1991, ‘Limits’, in D.O. Tall (ed.), Advanced Mathematical Thinking, Kluwer, Dordrecht, pp. 153–166.
Duffin, J.M. and Simpson, A.P.: 1993, ‘Natural, conflicting and alien,’ Journal of Mathematical Behaviour 12(4), 313–328.
Fischbein, E., Tirosh, D. and Hess, P.: 1979, ‘The intuition of infinity’, Educational Studies in Mathematics 10, 3–40.
Frid, S.: 1994, ‘Three approaches to undergraduate calculus instruction: Their nature and potential impact on students' language use and sources of conviction’, in E. Dubinsky, J. Kaput and A. Schoenfeld (eds.), Research in Collegiate Mathematics Education I, AMS, Providence, RI
Gödel, K.: 1931, ‘Ñber formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme,’ Monatshefte für Mathematik und Physik, 38.
Gray, E.M. and Tall, D.O.: 1994, ‘Duality, ambiguity and flexibility: A proceptual view of simple arithmetic,’ Journal of Research in Mathematics Education 25(2), 115–141.
Henle, J. and Kleinberg, E.: 1979, Infinitesimal Calculus, MIT Press, 1979.
Hilbert, D.: 1900, The Problems of Mathematics. Address to the International Congress of Mathematicians, Paris. Translated into English by M.W. Newson, for the Bulletin of the American Mathematical Society (1902), 8, 437–479.
Houdé, O., Zago, L., Mellet, E., Moutier, S. Pineau, A., Mazoyer, B. and Tzourio-Mazoyer, N.: 2000, ‘Shifting from the perceptual brain to the logical brain: the neural impact of cognitive inhibition training’, Journal of Cognitive Neuroscience 12(5), 721–728.
Keisler, H.J.: 1976, Elementary Calculus, Prindle, Weber and Schmidt.
Kennedy, H.C. (ed.): 1973, Selected works of Giuseppe Peano (1858- 1932) translated from the Italian, Allen and Unwin, London.
Kleiner, I., in press: ‘The infinitely small and the infinitely large in calculus’, Educational Studies in Mathematics. (This volume.)
Lakoff, G.: 1987, Women, Fire and Dangerous Things, University of Chicago Press, Chicago.
Lakoff, G. and Johnson, M.: 1999, Philosophy in the Flesh, Basic Books, New York.
Lakoff, G. and Nunez, R.: 2000, Where Mathematics Comes From, Basic Books, New York.
Lindstrø m, T.: 1988, ‘An invitation to nonstandard analysis’, in N. Cutland (ed.), Nonstandard Analysis and its Applications, Cambridge University Press, Cambridge, pp. 1–105.
Peano, G.: 1908, Formulario Mathematico, Fratelli Bocca, Torino.
Pinto, M.M.F.: 1998, students' Understanding of Real Analysis, Unpublished PhD Thesis, Warwick University.
Pinto, M.M.F. and Tall, D.O.: 1999, ‘Student constructions of formal theory: giving and extracting meaning,’ Proceedings of the 23rd International Conference of the International Group for the Psychology of Mathematics Education, Haifa, Israel, 2, 41–48.
Pinto, M.M.F. and Tall, D.O.: 2001, ‘Following students' development in a traditional university classroom,’ in Marja van den Heuvel-Panhuizen (ed.), Proceedings of the 25 th Conference of the International Group for the Psychology of Mathematics Education 4, 57–64. Utrecht, The Netherlands.
Robert, A.: 1988, Nonstandard Analysis, Wiley, New York.
Robinson, A.: 1966, Non-standard Analysis, North Holland.
Stewart, I.N. and Tall, D.O.: 1977, Foundations of Mathematics, Oxford University Press, Oxford.
Sullivan, K.: 1976, ‘The teaching of elementary calculus: an approach using infinitesimals,’ American Mathematical Monthly 83, 370–375.
Tall D.O.: 1980a, ‘The notion of infinite measuring number and its relevance in the intuition of infinity’, Educational Studies in Mathematics 11, 271–284.
Tall, D.O.: 1980b, ‘Looking at graphs through infinitesimal microscopes, windows and telescopes’, Mathematical Gazette 64, 22–49.
Tall, D.O. and Vinner, S.: 1981, ‘Concept image and concept definition in mathematics, with special reference to limits and continuity’, Educational Studies in Mathematics 12, 151–169.
Tall, D.O.: 1982, ‘Elementary axioms and pictures for infinitesimal calculus’, Bulletin of the IMA 18, 43–48.
Tall, D.O.: 1992, ‘The transition to advanced mathematical thinking: Functions, limits, infinity, and proof’, in D.A. Grouws (ed.), Handbook of Research on Mathematics Teaching and Learning, MacMillan, New York, pp. 495–511.
Tall, D.O., Gray, E.M., Ali, M.B., Crowley, L.R.F., DeMarois, P., McGowen, M.A., Pitta, D., Pinto, M.M.F., Thomas, M.O.J. and Yusof, Y.B.M.: 2001, ‘Symbols and the bifurcation between procedural and conceptual thinking’, Canadian Journal of Science, Mathematics and Technology Education 1, 81–104.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Tall, D. Natural and Formal Infinities. Educational Studies in Mathematics 48, 199–238 (2001). https://doi.org/10.1023/A:1016000710038
Issue Date:
DOI: https://doi.org/10.1023/A:1016000710038