• Journal for History of Mathematics
• /
• v.20 no.4
• /
• pp.23-48
• /
• 2007

This study begins from posing a problem, 'formal introduction of mathematical induction in school mathematics'. Most students may learn the mathematical induction at the level of instrumental understanding without meaningful understanding about its meaning and structure. To improve this didactical situation, we research on the historical progress of mathematical induction from implicit use in greek mathematics to formalization by Pascal and Fermat. And we identify various types of thinking included in the developmental process: recursion, regression, analytic thinking, synthetic thinking. In special, we focused on the role of regression in mathematical induction, and then from that role we induce the implications for teaching mathematical induction in school mathematics.

• Journal of Educational Research in Mathematics
• /
• v.18 no.1
• /
• pp.123-135
• /
• 2008

This study analysed the schemata which are requisite to understand and prove examples of mathematical induction, and examined students' construction of the schemata. We verified that the construction of implication-valued function schema and modus ponens schema needs function schema and proposition-valued function schema, and needs synthetic coordination for successive mathematical induction schema. Given this background, we establish $1{\sim}4$ levels for students' understanding of the mathematical induction. Further, we analysed cognitive difficulties of students who studying mathematical induction in connection with these understanding levels.

• Journal for History of Mathematics
• /
• v.35 no.2
• /
• pp.43-56
• /
• 2022

The 21st century world has experienced all-around changes from the 4th industrial revolution. In this developmental changes, artificial intelligence is at the heart, with data science adopting certain scientific methods and tools on data. It is necessary to investigate on the logic lying underneath the methods and tools. We look at the origins of logic, deduction and induction, and scientific methods, together with mathematical induction, probabilistic method and data science, and their meaning.

• Journal for History of Mathematics
• /
• v.34 no.6
• /
• pp.195-204
• /
• 2021

Mathematical induction is one of the deductive methods used for proving mathematical theorems, and also used as an inductive method for investigating and discovering patterns and mathematical formula. Proper understanding of the mathematical induction provides an understanding of deductive logic and inductive logic and helps the developments of algorithm and data science including artificial intelligence. We look at the origin of mathematical induction and its usage and educational aspects.

• Proceedings of the Korean Society for History of Mathematics Conference
• /
• 2001.11a
• /
• pp.9-9
• /
• 2001

• Communications of Mathematical Education
• /
• v.18 no.2 s.19
• /
• pp.109-124
• /
• 2004

대학수학에서 수학적귀납법의 원리를 소개하고 풍부한 예를 통해 이해를 돕는다. 특별히 교양수학을 수강하는 1학년 학생 수준에 맞게 매스매티카 프로그램을 이용하여 구체적인 예를 갖고 한단계 한단계 접근하여 수학적귀납법의 증명을 연습할 기회를 준다. 증명을 단계적으로 하는 것을 연습하여 학생들은 논리적인 사고능력을 개발하고 새로운 명제를 발견할 수 있는 기회를 맞보게 한다. 물론, 증명 연습은 1학년 신입생에게는 쉽지 않으나 여러 명제에 대해 연습을 하는 것은 수학적, 논리적 사고 능력을 개발하고 증명문제에 대한 인식을 바꾸는데 매우 중요한 역할을 할 것이다.

• Journal of Educational Research in Mathematics
• /
• v.24 no.1
• /
• pp.1-27
• /
• 2014

In the present study, we analyze the four participating 9th grade students' mathematical reasoning processes in their dragging activities while solving open-ended geometry problems in terms of abduction, induction and deduction. The results of the analysis are as follows. First, the students utilized 'abduction' to adopt their hypotheses, 'induction' to generalize them by examining various cases and 'deduction' to provide warrants for the hypotheses. Secondly, in the abduction process, 'wandering dragging' and 'guided dragging' seemed to help the students formulate their hypotheses, and in the induction process, 'dragging test' was mainly used to confirm the hypotheses. Despite of the emerging mathematical reasoning via their dragging activities, several difficulties were identified in their solving processes such as misunderstanding shapes as fixed figures, not easily recognizing the concept of dependency or path, not smoothly proceeding from probabilistic reasoning to deduction, and trapping into circular logic.

• East Asian mathematical journal
• /
• v.24 no.5
• /
• pp.497-507
• /
• 2008

Two proving methods are investigated. One method uses we mathematical induction and the other uses the progression of difference. Two methods are analysed and compared. As a result, we get a generalization of these series.

• Communications of Mathematical Education
• /
• v.23 no.2
• /
• pp.461-481
• /
• 2009

The semiotic approach to the mathematics education has been studied in last 20 years by PME, ICME conferences. New cultural developments in multi-media, digital documents and digital arts and cultures may influence mathematical education and teaching and learning activities. Hence semiotical interest in the mathematics education research and practice will be increasing. In this paper the basic ideas of semiotics, such as Peirce triad and Saussure's dyad, are introduced with some mathematical applications. There is some similarities between traditional research topics for concept, representation and social construction in mathematics education research and semiotic approach topics for the same subjects. some semiotic applications for an arithmetic problem for work, induction, deduction and abduction syllogisms with respect to Peirce's triad, its meaning in scientific discoveries and learning in geometry and symmetry.

• East Asian mathematical journal
• /
• v.32 no.2
• /
• pp.193-215
• /
• 2016

There are three subjects in the study. First, after investigating the development process of the method of infinite descent and the reduction to absurdity, we prove them to be equivalent each other. Second, we apply the method of infinite descent to some problems in textbook and compare it with the reduction to absurdity. Finally, we discuss on teaching proofs with the method of infinite descent.