Abstract
This paper focuses on the changes in thinking involved in the transition from school mathematics to formal proof in pure mathematics at university. School mathematics is seen as a combination of visual representations, including geometry and graphs, together with symbolic calculations and manipulations. Pure mathematics in university shifts towards a formal framework of axiomatic systems and mathematical proof. In this paper, the transition in thinking is formulated within a framework of ‘three worlds of mathematics’- the ‘conceptual-embodied’ world based on perception, action and thought experiment, the ‘proceptual-symbolic’ world of calculation and algebraic manipulation compressing processes such as counting into concepts such as number, and the ‘axiomatic-formal’ world of set-theoretic concept definitions and mathematical proof. Each ‘world’ has its own sequence of development and its own forms of proof that may be blended together to give a rich variety of ways of thinking mathematically. This reveals mathematical thinking as a blend of differing knowledge structures; for instance, the real numbers blend together the embodied number line, symbolic decimal arithmetic and the formal theory of a complete ordered field. Theoretical constructs are introduced to describe how genetic structures set before birth enable the development of mathematical thinking, and how experiences that the individual has met before affect their personal growth. These constructs are used to consider how students negotiate the transition from school to university mathematics as embodiment and symbolism are blended with formalism. At a higher level, structure theorems proved in axiomatic theories link back to more sophisticated forms of embodiment and symbolism, revealing the intimate relationship between the three worlds.
Similar content being viewed by others
References
Blokland, P., & Giessen, C. (2000).Graphic calculus for windows. http://www.vusoft2.nl.
Chin, E. T., & Tall D. O. (2002). University students’ embodiment of quantifier. In A. D. Cockburn & E. Nardi (Eds.),Proceedings of the 26th Conference of the International Group for the Psychology of Mathematics Education (Vol. 4, 273–280). Norwich, UK: IGPME.
Cottrill, J., Dubinsky, E., Nichols, D., Schwingendorf, K., Thomas, K., & Vidakovic, D. (1996). Understanding the limit concept: Beginning with a coordinated process scheme.Journal of Mathematical Behavior, 15(2), 167–192.
Davis, R. B. (1983). Complex mathematical cognition. In H. P. Ginsburg (Ed.)The Development of Mathematical Thinking (pp. 254–290). New York: Academic Press.
Gray, E. M., Pitta, D., Pinto M. M. F., & Tall, D. O. (1999). Knowledge construction and diverging thinking in elementary and advanced mathematics.Educational Studies in Mathematics, 38(1–3), 111–133.
Gray, E., & Tall, D. O. (1994). Duality, ambiguity and flexibility: A proceptual view of simple arithmetic.Journal for Research in Mathematics Education, 26(2), 115–141.
Hahkiöniemi, M. (2006).Tools for studying the derivative. Unpublished PhD, Jyväskylä, Finland.
Hilbert, D. (1900).Mathematische probleme, göttinger nachrichten, 253–297, translated into English by Mary Winton Newson, retrieved from http://aleph0.clarku.edu/~djoyce/hilbert/problems.html.
Lakoff, G. (1987).Women, fire and dangerous things. Chicago: Chicago University Press.
Mejia-Ramos, J. P., & Tall, D. O. (2004). Reflecting on post-calculus-reform.Opening plenary Topic Group 12: Calculus, International Congress of Mathematics Education, Copenhagen, Denmark. http://www.icme-organisers.dk/tsg12/papers/tall-mejia-tsg12.pdf.
Mejia-Ramos, J. P., & Tall, D. O. (2006). The long-term cognitive development of different types of reasoning and proof. Paper presented at theConference on explanation and proof in mathematics: Philosophical and educational perspectives, Essen, Germany. Available on the web at: http://www.warwick.ac.uk/staff/David.Tall/pdfs/dot2006g-mejiatall.pdf.
Miller, G. A. (1956). The magic number seven plus or minus two: Some limits on our capacity for processing information.Psychological Review, 63, 81–97.
Pinto, M. M. F. (1998).Students’ understanding of real analysis. Unpublished PhD, Warwick University.
Pegg, J., & Tall, D. O. (2005). The fundamental cycle of concept construction underlying various theoretical frameworks.International Reviews on Mathematical Education (ZDM), 37(6), 468–475.
Sfard, A. (1991). On the dual nature of mathematical conceptions: Reflections on processes and objects as different sides of the same coin.Educational Studies in Mathematics, 22, 1–36.
Tall, D. O. (1985). Understanding the calculus.Mathematics Teaching, 110, 49–53.
Tall, D. O. (Editor), (1991).Advanced mathematical thinking. Kluwer: Dordrecht (now Springer-Verlag).
Tall D. O. (1991).Real functions and graphs (for the BBC computer, Master, Compact, Nimbus PC & Archimedes computer). Cambridge: Cambridge University Press.
Tall, D. O. (1995). Visual organizers for formal mathematics. In R. Sutherland & J. Mason (Eds.),Exploiting mental imagery with computers in mathematics education, (pp. 52–70). Berlin: Springer-Verlag.
Tall, D. O. (2003). Using technology to support an embodied approach to learning concepts in mathematics. In L. M. Carvalho and L. C. Guimarães (Eds.),História e tecnologia no ensino da matemática (Vol. 1, pp. 1–28), Rio de Janeiro, Brasil.
Tall, D. O. (2004), The three worlds of mathematics.For the Learning of Mathematics, 23(3), 29–33.
Tall, D. O. (2006). A theory of mathematical growth through embodiment, symbolism and proof.Annales de Didactique et de Sciences Cognitives, Irem de Strasbourg, 11, 195–215.
Tall, D. O., & Giacomo, S. (2000). Cosa vediamo nei disegni geometrici? (il caso della funzione blancmange),Progetto alice 1, (2), 321–336. English version: What do we “see” in geometric pictures?, available at: http://www.warwick.ac.uk/staff/David.Tall/pdfs/dot2000f-blancmange-english.pdf
Thurston, W. P. (1994). On proof and progress in mathematics,Bulletin of the American Mathematical Society, 30(3), 161–177.
Weber, K. (2004). Traditional instruction in advanced mathematics courses: A case study of one professor’s lectures and proofs in an introductory real analysis course.Journal of Mathematical Behavior, 23, 115–133.
van Hiele, P. M. (1986).Structure and insight. New York: Academic Press.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Tall, D. The transition to formal thinking in mathematics. Math Ed Res J 20, 5–24 (2008). https://doi.org/10.1007/BF03217474
Issue Date:
DOI: https://doi.org/10.1007/BF03217474