Cognitive Structures and Processes in the Interpretation of Mathematical Proofs

Adrian Robert, August 2001


We propose that mathematical concepts are cognitively represented as blended (Fauconnier & Turner, 1998) combinations of schemas acquired through everyday experience; the properties of these source schemas generate the relational characteristics of the concepts that are explored in mathematical proofs. Proofs are understood by constructing novel blends of the concepts under consideration, and they are verified through paying attention to the presence or absence of dissonance in the associated mappings. We analyze these mappings through examples and compare the analysis with the results of an empirical survey of students' mental processes in studying the proofs. The results suggest explanations for the trends of increasing rigor and conceptual "fine-grainedness" in the historical development of mathematics, and they potentially shed light on processes of natural language understanding because the mechanisms at work in the two cases appear qualitatively similar.
Back to online papers page.