Location of Repository

Natural and formal infinities

By David Tall


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. \u

Topics: QA
Publisher: Springer Netherlands
Year: 2001
OAI identifier: oai:wrap.warwick.ac.uk:476

Suggested articles



  1. (1915). 1895: Beiträge zur Begründung der transfiniten Mengelehre, (English trans.: Contributions to the Founding of the Theory of Transfinite numbers,
  2. 1973: Selected works of Giuseppe Peano (1858–1932) translated from the Italian. London: Allen and Unwin.
  3. (1980). 1980a: ‘The notion of infinite measuring number and its relevance in the intuition of infinity’, doi
  4. (1988). An Invitation to Nonstandard Analysis.’ doi
  5. (1991). Analysis’. In doi
  6. (1981). Apprentissage de la notion de limite: modèles spontanés et modèles propres,’
  7. (1981). Concept image and concept definition in mathematics, with special reference to limits and continuity’, doi
  8. (1994). Duality, ambiguity and flexibility: A proceptual view of simple arithmetic,’ doi
  9. (1982). Elementary axioms and pictures for infinitesimal calculus’,
  10. (1976). Elementary Calculus, doi
  11. (2001). Following students’ development in a traditional university classroom.’
  12. (1908). Formulario Mathematico. doi
  13. (1967). Foundations of Constructive Analysis, doi
  14. (1977). Foundations of Mathematics. doi
  15. (1987). in press: ‘The Infinitely Small and the Infinitely Large in Calculus’. doi
  16. (1979). Infinitesimal Calculus,
  17. (1993). Natural, conflicting and alien,’
  18. (1966). Non-standard Analysis. doi
  19. (1988). Nonstandard Analysis, doi
  20. (1999). Philosophy in the Flesh. doi
  21. (1977). Review of ‘Elementary Calculus’ by doi
  22. (1966). Set Theory and the Continuum Hypothesis, doi
  23. (2000). Shifting from the perceptual brain to the logical brain: the neural impact of cognitive inhibition training’, doi
  24. (1999). Student constructions of formal theory: giving and extracting meaning,’
  25. (1998). Students’ Understanding of Real Analysis. Unpublished PhD Thesis,
  26. (2001). Symbols and the Bifurcation between Procedural and Conceptual Thinking’, doi
  27. (1979). The intuition of infinity’, doi
  28. (1900). The Problems of Mathematics. Address to the International Congress of Mathematicians, Paris. Translated into
  29. (1992). The Transition to Advanced Mathematical Thinking: Functions, Limits, Infinity, and Proof’. In
  30. (1994). Three approaches to undergraduate calculus instruction: Their nature and potential impact on students’ language use and sources of conviction.’ In
  31. (2000). Where Mathematics Comes From. doi

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.