[논문 리뷰] Tension between Intuitive Infinitesimals and Formal Mathematical Analysis

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

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세기 분석의 형식화 과정에서 무한소는 엄밀성에 대한 우려로 인해 에프실론-델타 정의로 체계적으로 대체되었다.
• 형식적으로 기각되었음에도 불구하고, 직관적 무한소 추론은 많은 학습자에게 인지적으로 자연스럽고 효과적이다.
• 학생들의 인지 발달은 종종 형식적 공리계를 숙달하기 이전에 직관적이고 시각적이며 상상적인 해석을 통해 진행된다.
• 학생들이 무한소를 직관적으로 이해하는 것과 교사가 가르치는 형식적 정의 사이에 끊임없는 긴장이 존재한다.
• 이 논문은 직관적 및 형식적 방법을 통합한 교육 접근 방식이 개념적 이해를 향상시킬 수 있음을 증거로 제시한다.
• 저자들은 형식적 분석이 직관적 추론을 완전히 대체해서는 안 되며, 수학교육에서 이를 보완해야 한다고 결론 내린다.