The Motion Behind the Symbols: A Vital Role for Dynamism in the Conceptualization of Limits and Continuity in Expert Mathematics

The canonical history of mathematics suggests that the late 19th-century "arithmetization" of calculus marked a shift away from spatial-dynamic intuitions, grounding concepts in static, rigorous definitions. Instead, we argue that mathematicians, both historically and currently, rely on dynamic conceptualizations of mathematical concepts like continuity, limits, and functions. In this article, we present two studies of the role of dynamic conceptual systems in expert proof. The first is an analysis of co-speech gesture produced by mathematics graduate students while proving a theorem, which reveals a reliance on dynamic conceptual resources. The second is a cognitive-historical case study of an incident in 19th-century mathematics that suggests a functional role for such dynamism in the reasoning of the renowned mathematician Augustin Cauchy. Taken together, these two studies indicate that essential concepts in calculus that have been defined entirely in abstract, static terms are nevertheless conceptualized dynamically, in both contemporary and historical practice.

[1]  Rafael Núñez,et al.  Do Real Numbers Really Move? Language, Thought, and Gesture: The Embodied Cognitive Foundations of Mathematics , 2003, Embodied Artificial Intelligence.

[2]  Imre Lakatos,et al.  Cauchy and the continuum , 1978 .

[3]  M. Studdert-Kennedy.  Hand and Mind: What Gestures Reveal About Thought. , 1994 .

[4]  Augustin-Louis Cauchy.  Oeuvres complètes: ANALYSE MATHÉMATIQUE. — Note sur les séries convergentes dont les divers termes sont des fonctions continues d'une variable réelle ou imaginaire, entre des limites données , 2009 .

[5]  Daniel C. Richardson,et al.  Spatial representations activated during real-time comprehension of verbs , 2003, Cogn. Sci..

[6]  Detlef Laugwitz.  Infinitely small quantities in Cauchy's textbooks , 1987 .

[7]  Mark Rowlands,et al.  The body in mind , 1999 .

[8]  R. Núñez,et al.  What Did Weierstrass Really Define? The Cognitive Structure of Natural and ∊-δ Continuity , 1998 .

[9]  Judith V. Grabiner,et al.  Who Gave You the Epsilon? Cauchy and the Origins of Rigorous Calculus , 1983 .

[10]  Rafael E. Núñez,et al.  With the Future Behind Them: Convergent Evidence From Aymara Language and Gesture in the Crosslinguistic Comparison of Spatial Construals of Time , 2006, Cogn. Sci..

[11]  Madeline Muntersbjorn,et al.  Representational Innovation and Mathematical Ontology , 2004, Synthese.

[12]  Benedikt Löwe,et al.  PhiMSAMP. Philosophy of mathematics : sociological aspects and mathematical practice , 2006 .

[13]  Jean-Pierre Koenig,et al.  Metaphoric gestures and some of their relations to verbal metaphoric expressions , 1998 .

[14]  I. Lakatos.  PROOFS AND REFUTATIONS (I)*† , 1963, The British Journal for the Philosophy of Science.

[15]  J. Pier.  Development of mathematics , 1994 .

[16]  M. Engelmann.  The Philosophical Investigations , 2013 .

[17]  David Kirsh,et al.  Thinking with external representations , 2010, AI & SOCIETY.

[18]  Mark L. Johnson.  The body in the mind: the bodily basis of meaning , 1987 .

[19]  Karen Emmorey,et al.  Modulation of BOLD Response in Motion-sensitive Lateral Temporal Cortex by Real and Fictive Motion Sentences , 2010, Journal of Cognitive Neuroscience.

[20]  H. D. Cruz,et al.  An Extended Mind Perspective on Natural Number Representation , 2008 .

[21]  Teenie Matlock,et al.  Abstract motion is no longer abstract , 2010, Language and Cognition.

[22]  I. Lakatos,et al.  Proofs and Refutations: Frontmatter , 1976 .

[23]  William Byers,et al.  How Mathematicians Think: Using Ambiguity, Contradiction, and Paradox to Create Mathematics , 2007 .

[24]  Yehuda Rav,et al.  A Critique of a Formalist-Mechanist Version of the Justification of Arguments in Mathematicians' Proof Practices , 2007 .

[25]  Ian Stewart,et al.  Concepts of Modern Mathematics , 1975 .

[26]  M. Turner.  The literary mind. , 1997 .

[27]  I. Grattan-Guinness.  Lakatos and the Philosophy of Mathematics and Science: On Popper's Philosophy and its Prospects , 1979, The British Journal for the History of Science.

[28]  D. Varberg,et al.  Calculus with Analytic Geometry , 1968 .

[29]  Robert L. Goldstone,et al.  How abstract is symbolic thought? , 2007, Journal of experimental psychology. Learning, memory, and cognition.

[30]  B. Löwe,et al.  Skills and mathematical knowledge , 2010 .

[31]  J. Bargh,et al.  Experiencing Physical Warmth Promotes Interpersonal Warmth , 2008, Science.

[32]  Wayne D. Gray,et al.  Topics in Cognitive Science , 2009 .

[33]  D. Gentner,et al.  Flowing waters or teeming crowds: Mental models of electricity , 1982 .

[34]  Brendan Larvor,et al.  Lakatos as Historian of Mathematics , 1997 .

[35]  G. Fauconnier,et al.  The Way We Think , 2002 .

[36]  David Hilbert.  Neubegründung der Mathematik. Erste Mitteilung , 1922 .

[37]  Susan Goldin-Meadow,et al.  Illuminating Mental Representations Through Speech and Gesture , 1999 .

[38]  G. Lakoff,et al.  Where Mathematics Comes From , 2000 .

[39]  W. Thurston.  On Proof and Progress in Mathematics , 1994, math/9404236.

[40]  Marcus Giaquinto,et al.  Visual thinking in mathematics : an epistemological study , 2007 .

[41]  Rafael Núñez,et al.  Numbers and Arithmetic: Neither Hardwired Nor Out There , 2009 .

[42]  C. Goodwin.  Action and embodiment within situated human interaction , 2000 .