• 대한수학교육학회지:수학교육학연구
• /
• 제24권4호
• /
• pp.595-605
• /
• 2014

소수점 아래 0에서 9까지의 임의의 숫자가 무한히 나열되는 무한소수는 '소수점 아래끝자리까지의 모든 숫자를 명확하게 알 수 없는 모호한 수'라는 불투명성을 가지고 있다. 이 논문에서는 이와 같은 불투명성을 야기하는 무한소수 기호로부터 어떻게 연속적인 수를 창조할 수 있었는지를 분석하였다. 무한소수 기호의 완비성 공리에 대한 투명성에 의존하여, 실수 개념이 엄밀하게 형식화되기 이전에도 수학자들은 실수 개념을 다룰 수 있었다. 이 논문의 수학적 역사적 분석은 무한소수에 의존하여 실수 개념을 전개하는 학교수학의 접근과, 완비순서체로서의 실수의 형식적 정의를 다루는 대학수학의 접근 사이에서 야기될 수 있는 이중단절의 문제를 극복하는 데 도움이 될 수 있을 것이다.

• 한국수학사학회지
• /
• 제17권1호
• /
• pp.53-60
• /
• 2004

In this paper, we analyse several number theoretical proofs of the irrationality of $\sqrt{2}$ and reveal that these proofs are implied by The Completeness Axiom of the real number system.

• East Asian mathematical journal
• /
• 제26권4호
• /
• pp.581-597
• /
• 2010

In this paper, the author focuses on the teaching-level and learning-level of the completeness axiom and its applications on [0,1] and $\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}{\times}\mathbb{R}$ by (expected) teachers in the school mathematics, which is usually introduced in the class of real analysis of university mathematics. Firstly the author considers the properties of the completeness axiom and its 19 equivalent theorems, next he deals with its importances in the school mathematics and finally he suggests the teaching and learning of the concepts on the completeness axiom and its applications on [0,1] and $\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}{\times}\mathbb{R}$ by (expected) teachers in the school mathematics.

• East Asian mathematical journal
• /
• 제27권4호
• /
• pp.381-389
• /
• 2011

The flexible mathematical thinking - the ability to generate and connect various representations of concepts - is useful in understanding mathematical structure and variation in problem solving. In particular, the flexible mathematical thinking with the inventive mathematical thinking, the original mathematical problem solving ability and the mathematical invention is a core concept, which must be emphasized in all branches of mathematical education. In this paper, the author considered a case of flexible mathematical thinking with an inventive problem solving ability shown by his student via real analysis courses. The case is on the proofs of the equivalences of three different definitions on the concept of limit superior shown in three different real analysis books. Proving the equivalences of the three definitions, the student tried to keep the flexible mathematical thinking steadily.

• 한국수학사학회지
• /
• 제24권3호
• /
• pp.37-58
• /
• 2011

수리 논리학의 발전은 상당 부분 힐버트 (D. Hilbert, 1862~1943)의 증명이론(Beweistheorie)에 뿌리를 두고 있다. 흔히 '힐버트 계획' (Hilbert's program)으로 불리는 이 계획의 목표는 형식적 공리론적 방법에 의해 수학의 모든 명제와 증명을 형식화하고 이 형식 체계의 완비성과 무모순성 증명을 통해 고전 수학을 '구원' 하고, 수학의 토대를 공고히 하자는 데에 있다. 1931년 괴델의 제 1정리에 의해 결정불가능 명제의 존재가 드러나면서 완전성이 위기를 맞고, 제 2정리에 의해 무모순성의 확립이 무산될 위기에 처한다. 그러나 '상대적' 내지 '부분적' 힐버트 계획은 효과적인 연구 프로그램으로서 살아 있다고 말하는 학자들이 적지 않다. 우리는 특히 힐버트 계획 이 오늘날 구성주의 수학의 발전에 동력을 제공하고 있다는 점을 커리-하워드 대응 (Curry-Howard Correspondence)을 통하여 부각시키고자 했다. 자연연역에서 증명 (proof) 이 바로 컴퓨터 프로그램 (computer program) 에 다름 아니라는 사실에 의해 수학의 형식화 (formalization)는 새로운 조명을 받게 된 것이다. 요컨대 힐버트 계획은 컴퓨터 과학에서 알고리듬 (algorithm) 이라는 핵심개념에 가장 잘 부합되는 것이다.

• 대한수학교육학회지:수학교육학연구
• /
• 제25권3호
• /
• pp.263-279
• /
• 2015

유리수에서 실수로의 확장 혹은 무리수의 존재성을 수학적으로 정당화하기 위해서는 완비성 공리가 필요하므로, 실수의 도입은 학교수학에서 가장 가르치기 어려운 주제 중 하나이다. 이 연구에서는 실수를 '유리수와 무리수의 합집합'으로 정의하는 학교수학의 교수학적 변환이 어떠한 교수학적 공백을 남겨놓을 수 있는지를 살펴보고, 유리수에서 실수로의 수 체계 확장의 이유, 임의의 비순환 무한소수의 존재 이유 등에 대한 예비교사들의 설명을 분석하여 대학수학의 학습에도 불구하고 예비교사들의 실수에 대한 피상적인 이해를 구체적으로 확인하였다. 교수학적 공백을 인식하고 학교수학과 대학수학을 연결함으로서, 예비교사들이 실수 개념이 자명하다는 착각으로부터 어떻게 벗어날 수 있었는지를 논의하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제22권4호
• /
• pp.471-487
• /
• 2008

본 연구에서는 해석학 강좌를 운영하는 과정에서 얻어진 학생들의 수학적 발명의 사례를 제시하고 분석하여, 수학적 발명과 관련된 구체적인 교수-학습 과정, 얻어진 수학적 산출물들, 이들의 수학적 의의를 기술하였다.