To design and improve instruction in mathematical proof, mathematics educators require an adequate definition of proof that is faithful to mathematical practice and relevant to pedagogical situations. In both mathematics education and the philosophy of mathematics, mathematical proof is typically defined as a type of justification that satisfies a…

Research in psychology and in mathematics education has documented the ubiquity of "intuition traps" -- tasks that elicit non-normative responses from most people. Researchers in cognitive psychology often view these responses negatively, as a sign of irrational behaviour. Others, notably mathematics educators, view them as necessary…