• East Asian mathematical journal
• /
• 제24권5호
• /
• pp.465-476
• /
• 2008

Even though Godel's theorem is remarkable to mathematics teachers, it is not simple to understand the proof in detail. It would be useful for us to understand the basic ideas and the proving process of the proof. In this note, we suggest a proposal for the purpose.

• 한국수학사학회지
• /
• 제21권3호
• /
• pp.143-156
• /
• 2008

본 연구에서는 중학교 2학년 도형의 성질 단원의 증명학습을 세 단계로 나누어 설문을 통하여 학생들이 증명학습에서 겪는 어려움을 조사하였다. 설문 분석 결과 학생들은 증명학습에서 증명의 의미를 이해하지 못해 명제의 참을 판단하는 정도의 간단한 추론도 하지 못할 뿐만 아니라 제시된 증명을 읽고 그것이 증명하려는 명제의 가정과 결론을 파악하지 못한다. 이는 학생들이 명제의 가정과 결론의 의미와 역할을 명확히 이해하지 못하는데서 비롯된다. 따라서 학생들에게 명제의 가정과 결론의 의미와 역할에 대한 지도에 좀 더 역점을 두는것이 필요하다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제52권4호
• /
• pp.549-565
• /
• 2013

To help students understand the deduction system in the proof, we analyzed the textbook on mathematics at first. As results, we could find that the textbook' system of deduction is similar with the Euclid' system of deduction. The starting point of deduction is different with each other. But the flow of deduction match with each other. Next, we searched for the example of circular argument and analyzed. As results, we classified the circular argument into two groups. The first is an internal circular argument which is a circular argument occurred in a theorem. The second is an external circular argument which is a circular argument occurred between many theorems. We could know that the flow of deduction system is consistent in internal-external dimension. Lastly, we proposed the desirable teaching direction to help students understand the deduction system in the proof.

• 충청수학회지
• /
• 제16권2호
• /
• pp.75-78
• /
• 2003

The Tychonoff product theorem is one of the most fundamental theorems in general topology. As is well-known, the proof of the Tychonoff product theorem relies on the axiom of choice. The converse was also conjectured by S. Kakutani and Kelley [1] then resolved this conjecture in his historical short note on 1950. However, the original proof due to Kelley has a flaw. According to this observation, we provide a correction of the proof in this paper.

• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제13권3호
• /
• pp.217-233
• /
• 2009

The purpose of this study is to describe how dynamic geometry systems can be useful in proof activity; teaching sequences based on the use of dynamic geometry systems and to analyze the possible roles of dynamic geometry systems in both teaching and learning of proof. And also dynamic geometry environments can generate powerful interplay between empirical explorations and formal proofs. The point of this study was to show that how using dynamic geometry software can provide an opportunity to link between empirical and deductive reasoning, and how such software can be utilized to gain insight into a deductive argument.

• Journal of Applied and Pure Mathematics
• /
• 제4권5_6호
• /
• pp.263-268
• /
• 2022

We derive an alternative proof of Marsaglia's method for generating a pair of independent standard normal random variables.

• 대한수학교육학회지:수학교육학연구
• /
• 제16권4호
• /
• pp.327-344
• /
• 2006

본 연구는 경기도의 A, S시 교육청 과학영재교육원에서 교육을 받고 있는 초등학교 6학년 학생들이 기하 영역의 특정 과제를 해결하는 과정에서 보여주는 증명의 수준과 증명의 구성 요소에 대한 이해 정도를 확인하는 것이다. 이를 위해 동일한 시기에 선발되어 함께 교육프로그램에 참여하고 있는 20명 중 표현력이 우수한 3명의 학생을 담임교수로부터 추천 받아 질적 연구 방법을 통해 분석하였다. 각 학생들에게 Clairaut의 기하 과제 중 하나인 '두 직사각형의 넓이를 합한 것과 동일한 넓이를 갖는 하나의 직사각형을 작도하시오'라는 과제를 제시하고, 그것을 해결하는 과정에서 나타나는 증명의 수준과 증명의 구성 요소에 대한 이해와 관련하여 초등 수학영재들이 보여주는 사고의 특징을 분석하였다. 자료 분석은 Waring(2000)이 제시한 증명 수준과 Galbraith(1981), Dreyfus & Hadas(1987), 서동엽(1999) 등이 제시한 증명의 구성 요소에 기초하여 이루어졌다. 그 결과, 4가지의 의미 있는 결과를 도출하였고 이를 바탕으로 수학영재교육에 주는 시사점을 논의하였다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제58권2호
• /
• pp.161-185
• /
• 2019

이 연구에서는 중등 수학 교사와 예비교사들이 추론과 증명을 어떻게 이해하여 구성하는지를 탐색하였다. 연구 참여자들은 대부분 대수적인 증명을 시도하는데 이미 알고 있는 공식이나 식을 적용한 대수적 조작으로 답을 구하는 것에 그치며 주어진 문제에 내재된 수학적 구조를 통해 증명을 구성하지는 못하였다. 또한 참여자의 상당수가 대수적 식을 통한 증명만을 완전한 증명으로 판단하였으며 대부분은 기존에 접하지 못했던 새로운 문제유형에서 추론 및 증명구성을 완성하지 못하는 것으로 나타났다.

• 대한수학교육학회지:수학교육학연구
• /
• 제19권2호
• /
• pp.185-206
• /
• 2009

분석법은 증명 방법을 찾을 수 있는 좋은 방법의 하나로 제안되어 왔다. 본 연구에서는 4명의 중학교 1학년 학생들을 대상으로 실제로 분석법을 중심으로 증명을 지도하기 위한 교수 실험을 실시하여, 분석법을 활용하여 증명 방법을 찾고 그것을 증명으로 표현하는 과정에서의 어려움을 살펴보았다. 본 연구 결과, 4명의 학생들은 교수 실험을 통해 분석법을 의미 있게 이해하고 분석법을 활용하여 증명 방법을 찾는 데에 대부분 성공하였다. 한편, 분석법을 중심으로 한 증명 학습에서 학생들이 겪는 어려움은 삼각형의 합동조건의 올바른 탐색, 증명 문제에 제시된 그림의 재해석, 증명 방법의 기호적 표현 등으로 나타났다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제24권2호
• /
• pp.325-344
• /
• 2010

본 연구는 중학생을 대상으로 학생들이 경험적 증명과 연역적 증명에 대한 선호를 결정할 때 영향을 미치는 요인을 분석하였다. 47명의 중학생에게 설문지를 통하여 자료를 수집하고 응답들을 분석한 결과, 경험적 증명과 연역적 증명의 선호에 영향을 미치는 요인들로 측정, 수학적 원리, 다양한 예를 통한 검증과정에 대한 인식들이 공통적으로 나타났다. 이 요소들은 경험적 증명과 연역적 증명의 선호와 비선호를 결정짓는 요인으로써, 선호하는 증명에 따라 상호 배타적으로 나타나지 않고 증명 선호에 영향을 미쳤다. 이를 통해 본 연구에서는 학생들이 특정 증명을 선호할 때, 한 증명에 대한 비선호와 다른 증명에 대한 선호가 동시에 작용할 수 있다는 결론과 함께 한 증명에 대한 선호요인을 보는 것만으로는 학생들의 증명 선호 이유를 정확히 파악할 수 없을 것이라는 가능성을 제언한다.