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…

Provides examples of if-then and combinatorial reasoning situations that have proved successful with college students and can be used with secondary school students. Proposes that practice with these problem solving processes can eliminate the need to memorize formulas that students may not understand. (ML)