[論文レビュー] 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世紀における解析学の形式化は、厳密性への懸念が背景にあり、無限小がε-δ定義に体系的に置き換えられた。
• 形式的拒否にもかかわらず、直感的無限小的推論は多くの学習者にとって認知的に自然で効果的である。
• 学生の認知的発達は、形式的公理的システムの習得よりも前に、直感的で視覚的・想像的解釈を経て進むことが多い。
• 学生が無限小を直感的に理解する傾向と、教えられる形式的定義との間に、依然として緊張が存在する。
• 本論文は、両者の統合的教育的アプローチが概念的理解を高めることを証拠で示している。
• 著者らは、形式的解析が直感的推論を完全に排除すべきではなく、数学教育においてそれを補完すべきだと結論づけている。