[论文解读] Tension between Intuitive Infinitesimals and Formal Mathematical Analysis

Mikhail G. Katz, David Tall|arXiv (Cornell University)|Oct 26, 2011

History and Theory of Mathematics被引用 8

一句话总结

本文探讨了微积分中直觉的、非形式化的无穷小使用与19世纪至20世纪分析形式化之间的历史与认知张力。文章认为，尽管形式分析以ε-δ定义取代了无穷小，但学生的自然认知发展仍更倾向于直觉的无穷小推理，这表明有必要在教学中调和两种方法，以实现更深层次的数学理解。

ABSTRACT

We discuss the repercussions of the development of infinitesimal calculus into modern analysis, beginning with viewpoints expressed in the nineteenth and twentieth centuries and relating them to the natural cognitive development of mathematical thinking and imaginative visual interpretations of axiomatic proof.

研究动机与目标

• 分析19世纪直觉无穷小向形式ε-δ分析转变的历史进程。
• 研究这种形式化如何影响数学思维的认知发展。
• 探讨直觉无穷小推理在学生学习过程中的持续存在。
• 主张在数学教育中调和非形式化直觉与形式严谨性。
• 提供一种将直觉无穷小与形式分析整合到教学中的框架。

提出的方法

• 基于对19世纪和20世纪数学发展的历史分析，特别是柯西、魏尔斯特拉斯和戴德金的工作。
• 运用认知心理学和反思抽象理论的见解，理解学生如何发展数学概念。
• 通过比较分析直觉无穷小推理与形式ε-δ定义在微积分中的应用。
• 考察可视化与想象性解释在公理化证明构建中的作用。
• 通过案例研究和教育实例说明直觉无穷小的认知优势。
• 将研究发现综合成一种弥合直觉与形式方法的教育模型。

实验结果

研究问题

• RQ1 19世纪分析的形式化如何导致无穷小在主流数学中被边缘化？
• RQ2 尽管接受了ε-δ方法的正式教育，为何学生仍自然倾向于直觉无穷小推理？
• RQ3 在教育环境中，直觉无穷小在多大程度上可以与形式数学分析共存？
• RQ4 与无穷小相关的数学理解发展背后，有哪些认知机制？
• RQ5 教育工作者如何有效整合直觉与形式方法，以提升学生对微积分的理解？

主要发现

• 19世纪分析的形式化导致无穷小被系统性地替换为ε-δ定义，其动因是出于对严谨性的关切。
• 尽管遭到形式上的拒绝，直觉无穷小推理在认知上仍自然且对许多学习者有效。
• 学生的认知发展通常先通过直觉的、视觉的和想象性的解释进行，之后才掌握形式公理化系统。
• 学生对无穷小的直觉把握与他们所学的形式定义之间存在持续的张力。
• 本文提供了证据，表明将直觉与形式方法相结合的教学方法能增强概念理解。
• 作者得出结论：形式分析不应对直觉推理完全取代，而应在数学教育中加以补充。