We use Taylor's formula with Lagrange remainder to prove that functions with bounded second derivative are rectifiable in the case when polygonal paths are defined by interval subdivisions which are equally spaced. As a means for generating interesting examples of exact arc length calculations in calculus courses, we recall two large classes of…

We examine a commonly suggested proof construction strategy from the mathematics education literature--that students first produce a graphical argument and then work to construct a verbal-symbolic proof based on that graphical argument. The work of students who produce such graphical arguments when solving proof construction tasks was analyzed to…

This article discusses an issue of inserting mathematical knowledge within the problem-solving processes. Relatively advanced mathematical knowledge is defined in terms of "three mathematical worlds"; relatively advanced problem-solving behaviours are defined in terms of taxonomies of "proof schemes" and "heuristic behaviours". The relationships…

This paper examines the mathematical work of the French bishop, Nicole Oresme (c. 1323-1382), and his contributions towards the development of the concept of graphing functions and approaches to investigating infinite series. The historical importance and pedagogical value of his work will be considered in the context of an undergraduate course on…

In this paper, we will discuss the way various features of consciousness interact with each other and with cognition, specifically, the cognition of mathematical reasoning and problem solving. Thus we are interested in how consciousness and cognition "work," in a somewhat mechanistic way, rather than in larger philosophical questions about…