• Communications of Mathematical Education
• /
• v.37 no.4
• /
• pp.653-674
• /
• 2023

The development of mathematical problem solving ability and the making(transforming) mathematical problems are consistently emphasized in the mathematics curriculum. However, research on the problem making methods or the analysis of the characteristics of problem making methods itself is not yet active in mathematics education in Korea. In this study, we concretize the method of deductive problem making(DPM) in a different direction from the what-if-not method proposed by Brown & Walter, and present the characteristics and phases of this method. Since in DPM the components of the problem solving process of the initial problem are changed and problems are made by going backwards from the phases of problem solving procedure, so the problem solving process precedes the formulating problem. The DPM is related to the verifying and expanding the results of problem solving in the reflection phase of problem solving. And when a teacher wants to transform or expand an initial problem for practice problems or tests, etc., DPM can be used.

• Journal of Educational Research in Mathematics
• /
• v.11 no.2
• /
• pp.385-402
• /
• 2001

The purpose of this study is to conceptualize 'proof' school mathematics. We based on the assumption the following. (a) There are several different roles of 'proof' : verification, explanation, systematization, discovery, communication (b) Accepted criteria for the validity and rigor of a mathematical 'proof' is decided by negotiation of school mathematics community. (c) There are dynamic relations between mathematical proof and empirical theory. We need to rethink the nature of mathematical proof and give appropriate consideration to the different types of proof related to the cognitive development of the notion of proof. 'proof' in school mathematics should be conceptualized in the broader, psychological sense of justification rather than in the narrow sense of deductive, formal proof 'proof' has not been taught in elementary mathematics, traditionally, Most students have had little exposure to the ideas of proof before the geometry. However, 'proof' cannot simply be taught in a single unit. Rather, proof must be a consistent part of students' mathematical experience in all grades, in all mathematics.

• Journal of Educational Research in Mathematics
• /
• v.19 no.3
• /
• pp.371-392
• /
• 2009

A lot of researches state mathematical justification is important. Specially, NCTM (2000) mentions that mathematical reasoning and proof should be taught every student from pre-primary school to 12 grades. Some of researches say elementary school students are also able to prove and justify their own solution(Lester, 1975; King, 1970, 1973; Reid, 2002). Balacheff(1987), Tall(1995), Harel & Sowder(1998, 2007), Simon & Blume(1996) categorize the level or the types of mathematical justification. We re-categorize the 4 types of mathematical justification basis on their studies; external conviction justification, empirical-inductive justification, generic justification, deductive justification. External conviction justification consists of authoritarian justification, ritual justification, non-referential symbolic justification. empirical-inductive justification consists of naive examples justification and crucial example justification. Generic justification consists of generic example and visual example. The results of this research are following. First, elementary school teachers in Korea respectively understand mathematical justification well. Second, elementary school teachers in Korea prefer deductive justification when they justify by themselves, while they prefer empirical-inductive justification when they teach students.

• Communications of the Korean Mathematical Society
• /
• v.19 no.2
• /
• pp.219-232
• /
• 2004

We study relationships between closure operators and BL-algebras. We investigate the properties of closure operators and BL-homomorphisms on BL-algebras. We show that the image of a closure operator on a BL-algebra is isomorphic to a quotient BL-algebra.

• Journal for History of Mathematics
• /
• v.26 no.4
• /
• pp.219-232
• /
• 2013

Japanese mathematics, namely Wasan, was well-developed before the Meiji period. Seki Takakazu (1642?-1708) is the most famous one. Taking Seki's interpolation as an example, the similarities and differences are made between Wasan and Chinese mathematics. According to investigating the sources and attitudes to this problem which both Japanese and Chinese mathematicians dealt with, the paper tries to show how and why Japanese mathematicians accepted Chinese tradition and beyond. Professor Wu Wentsun says that, in the whole history of mathematics, there exist two different major trends which occupy the main stream alternately. The axiomatic deductive system of logic is the one which we are familiar with. Another, he believes, goes to the mechanical algorithm system of program. The latter featured traditional Chinese mathematics, as well as Wasan. As a typical sample of the succession of Chinese tradition, Wasan will help people to understand the real meaning of the mechanical algorithm system of program deeper.

• Journal of the Korean School Mathematics Society
• /
• v.16 no.4
• /
• pp.821-840
• /
• 2013

Definition of geometric figure in middle school geometry seems to mere meaning of the term which could be perceived visually through its shape. However, Much research reported the low achievements of definitions of basic geometric figures. It suggested the limitation of instrumental understanding. In this research, I guided gifted middle school students to reinvent definitions of basic geometric figure by the deductive organization of its properties as Freudenthal pointed. These students understood relationally about why some geometric figure can be defined this way and how it could be defined equally via other properties. This analysis of reinventing of definitions will be a stepping stone to reflect on the pedagogical problems in teaching geometry and to search the new alternatives.

• Journal of Elementary Mathematics Education in Korea
• /
• v.17 no.1
• /
• pp.165-184
• /
• 2013

In order to utilize Sphinx Puzzle in shape education or deductive reasoning, a lesson employing Dienes' six-stage theory of learning mathematics was structured to be applied to students of 6th grade of elementary school. 4 students of 6th grade of elementary school, the researcher's current workplace, were selected as subjects. The academic achievement level of 4 subjects range across top to medium, who are generally enthusiastic and hardworking in learning activities. During the 3 lessons, the researcher played role as the guide and observer, recorded observation, collected activity sheet written by subjects, presentation materials, essays on the experience, interview data, and analyzed them to the detail. A task of finding every possible triangle out of pieces of Sphinx Puzzle was given, and until 6 steps of formalization was set, students' attitude to find a better way of mathematical deduction, especially that of operational thinking and deductive thinking, was carefully observed and analyzed.

• Journal of Educational Research in Mathematics
• /
• v.21 no.2
• /
• pp.135-148
• /
• 2011

Middle school mathematics treats axiom as mere fact verified by experiment or observation and doesn't mention it axiom. But axiom is very important to understand the difference between empirical verification and mathematical proof, intuitive geometry and deductive geometry, proof and nonproof. This study analysed textbooks and surveyed gifted students' conception of axiom. The results showed the problem and limitation of middle school mathematics on the treatment of axiom and proof.

• Education of Primary School Mathematics
• /
• v.4 no.1
• /
• pp.63-73
• /
• 2000

The purpose of this paper is to address He possibility of the teaching of 'proof' in elementary mathematics, on the assumption that proof in school mathematics should be used in the broader, psychological sense of justification rather than in the narrow sense of deductive, formal proof. 'Proof' has not been taught in elementary mathematics, traditionally. Most students have had little exposure to the ideas of proof before the geometry. However, 'Proof' cannot simply be taught in a single unit. Rather, proof must be a consistent part of students' mathematical experience in all grades. Or educators and mathematicians need to rethink the nature of mathematical proof and give appropriate consideration to the different types of proof related to the cognitive development of a notion of proof.

• Research in Mathematical Education
• /
• v.26 no.1
• /
• pp.19-30
• /
• 2023

This study analyzes the tasks selected and implemented by pre-service mathematics teachers to support students' development of epistemic actions. Data was collected from 20 students who participated in a mathematics education curriculum theory course during one semester, and multiple data sources were used to gather information about the microteaching sessions. The study focused on the tasks selected and demonstrated during microteaching by pre-service teachers. The results suggest that providing students with a variety of learning opportunities that engage them in different combinations of abductive and deductive epistemic actions is important. The tasks selected by pre-service teachers primarily focused on understanding concepts, calculation, and reasoning. However, the use of engineering tools may present challenges as it requires students to engage in two epistemic actions simultaneously. The study's findings can inform the development of more effective approaches to mathematics education and can guide the development of teacher training programs.