Seminar at Universidade Federal Rio de Janiero, February 20, 2002

How do we think about axioms and proof in mathematics?

The files here are in PDF (portable document format) which may be read using Adobe Acrobat Reader on any PC, Unix Machine, or Macintosh computer.


Click here to download a copy of Acrobat Reader for your computer.
If you have any difficulties, please e-mail me at

Based on recent publications on the way that mathematicians use thought experiments and formal deductions to build up mathematical theories and how axiomatic theories are conceived by different students. In particular I refer to work from recent PhD theses at Warwick University.

Overheads for seminar

Useful references for the talk are:
David Tall & Shlomo Vinner (1981). Concept Image and Concept Definition: with special reference to limits and continuity, Educational Studies in Mathematics, 12 151–169. (Historical: an oldie but goodie!)
Liz Bills & David Tall (1998). Operable Definitions in Advanced Mathematics: The case of the Least Upper Bound, Proceedings of PME 22, Stellenbosch, South Africa, 2, 104–111.
Marcia Pinto & David Tall (2001). Following students’ development in a traditional university classroom, Proceedings of PME 25, (4), 57-64.
Erh-Tsung Chin & David Tall (2001), Developing Formal Mathematical Concepts over Time. Proceedings of PME 25, (2), 241-248.
Erh-Tsung Chin & David Tall (in draft), University Students Embodiment of Quantifiers.

David Tall (2001), Natural and Formal Infinities, Educational Studies in Mathematics.

last modified: Friday, October 4, 2002