## 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.

## Keywords

Number Line Formal Proof Mathematical Thinking Structure Theorem Limit Concept## Preview

Unable to display preview. Download preview PDF.

## References

- Blokland, P., & Giessen, C. (2000).
*Graphic calculus for windows*. http://www.vusoft2.nl.Google Scholar - 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.Google Scholar - 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.CrossRefGoogle Scholar - Davis, R. B. (1983). Complex mathematical cognition. In H. P. Ginsburg (Ed.)
*The Development of Mathematical Thinking*(pp. 254–290). New York: Academic Press.Google Scholar - 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.CrossRefGoogle Scholar - 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.Google Scholar - Hahkiöniemi, M. (2006).
*Tools for studying the derivative*. Unpublished PhD, Jyväskylä, Finland.Google Scholar - 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.Google Scholar - Lakoff, G. (1987).
*Women, fire and dangerous things*. Chicago: Chicago University Press.Google Scholar - 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.Google Scholar - Mejia-Ramos, J. P., & Tall, D. O. (2006). The long-term cognitive development of different types of reasoning and proof. Paper presented at the
*Conference 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.Google Scholar - 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.CrossRefGoogle Scholar - Pinto, M. M. F. (1998).
*Students’ understanding of real analysis*. Unpublished PhD, Warwick University.Google Scholar - 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.CrossRefGoogle Scholar - 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.CrossRefGoogle Scholar - Tall, D. O. (1985). Understanding the calculus.
*Mathematics Teaching, 110*, 49–53.Google Scholar - Tall, D. O. (Editor), (1991).
*Advanced mathematical thinking*. Kluwer: Dordrecht (now Springer-Verlag).Google Scholar - Tall D. O. (1991).
*Real functions and graphs*(*for the BBC computer, Master, Compact, Nimbus PC & Archimedes computer*). Cambridge: Cambridge University Press.Google Scholar - 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.Google Scholar - 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.Google Scholar - Tall, D. O. (2004), The three worlds of mathematics.
*For the Learning of Mathematics, 23*(3), 29–33.Google Scholar - 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.Google Scholar - 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.pdfGoogle Scholar - Thurston, W. P. (1994). On proof and progress in mathematics,
*Bulletin of the American Mathematical Society, 30*(3), 161–177.CrossRefGoogle Scholar - 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.CrossRefGoogle Scholar - van Hiele, P. M. (1986).
*Structure and insight*. New York: Academic Press.Google Scholar