• Journal of Educational Research in Mathematics
• /
• v.8 no.1
• /
• pp.351-364
• /
• 1998

This thesis analyzes the nature of proof in the perspective on the philosophy of mathematics. such as absolutism, quasi-empiricism and social constructivism. And this thesis searches for the improvement of teaching proof in the light of the result of those analyses of the nature of proof. Though the analyses of the nature of proof in the perspective on the philosophy of mathematics, it is revealed that proof is a dynamic reasoning process unifying the way of analytical thought and the way of synthetical thought, and plays remarkably important roles such as justification, discovery and conviction. Hence we should teach proof as a dynamic reasoning process unifying the way of analytic thought and the way of synthetic thought, avoiding the mistake of dealing with proof as a unilaterally synthetic method. At the same time, we should make students have the needs of proof in a natural way by providing them with the contexts of both justification and discovery simultaneously. Finally, we should introduce the aspect of proof that can be represented as conviction, understanding, explanation and communication to school mathematics.

• School Mathematics
• /
• v.18 no.4
• /
• pp.839-856
• /
• 2016

In 2009 revision and 2015 revision mathematics national curriculum, 'proof' was moved to high school from middle school in consideration of the cognitive development level of students, and 'proof by contradiction' was stated in the "success criteria of learning contents" of the first year high school subject while it had been not officially introduced in $7^{th}$ and 2007 revision national curriculum. Proof by contradiction is known that it induces a cognitive conflict due to the unique nature of rather assuming the opposite of the statement for proving it. In this article, based on the logical, mathematical and historical analysis of Proof by contradiction, we looked about the introductions and the applications of the current textbooks which had been revised recently, and searched for improvement measures from the viewpoint of discovery, explanation, and consilience. We suggested introducing Proof by contradiction after describing the discovery process earlier, separately but organically describing parts necessary to assume the opposite and parts not necessary, disclosing the relationships with proof by contrapositive, and using the viewpoint of consilience.

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

This research intends to analyse how mathematically gifted 8th graders (age 14) discover and proof the properties on the sum of face angles of polyhedron. In this research, the problems on the sum of face angles of polyhedrons were given to 36 gifted students, and their discovery and proof processes were analysed on the basis of their the activity sheets and the researcher's observation. The discovery and proof processes the gifted students made were categorized, and levels revealed in their processes were analysed.

• 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.

• East Asian mathematical journal
• /
• v.28 no.2
• /
• pp.197-213
• /
• 2012

In this paper we study Soltan & Meidman's method that is able to be used in mathematical discovery. We analyze Soltan & Meidman's book "Tozdestva i Neravenstva v Treugolike" that is published in Moldova Republic. In this work we formulate Soltan & Meidman's method related with discovery of triangle's various equalities, and use the method to discovery mathematical equalities. As a result we suggest some new mathematical equalities related with triangle's sides and its proof.

• Education of Primary School Mathematics
• /
• v.7 no.2
• /
• pp.85-99
• /
• 2003

In this paper, firstly examined various proofs types that cover informal empirical justifications by Balacheff, Miyazaki, and Harel ＆ Sowder and Tall. Using these theoretical frameworks, justification activities by 5th graders were analyzed and several conclusions were drawn as follow: 1) Children in 5th grade could justify using various proofs types and method ranged from external proofs schemes by Harel & Sowder to thought experiment by Balacheff This implies that children in elementary school can justify various mathematical statements of ideas for themselves. To improve children's proving abilities, rich experience for justifying should be provided. 2) Activities that make conjectures from cases then justify should be given to students in order to develop a sense of necessity of formal proof. 3) Children have to understand the meaning and usage of mathematical symbol to advance to formal deductive proofs. 4) New theoretical framework is needed to be established to provide a framework for research on elementary school children's justification activities. Research on proof mainly focused on the type of proof in terms of reasoning and activities involved. But proof types are also influenced by the tasks given. In elementary school, tasks that require physical activities or examples are provided. To develop students'various proof types, tasks that require various justification methods should be provided. 5) Children's justification type were influenced not only by development level but also by the concept they had. 6) Justification activities provide useful situation that assess students'mathematical understanding. 7) Teachers understanding toward role of proof(verification, explanation, communication, discovery, systematization) should be the starting point of proof activities.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.32 no.7B
• /
• pp.403-410
• /
• 2007

Neighbor Discovery (ND) protocol was proposed to discover neighboring hosts and routers in IPv6 wire/wireless local networks. ND protocol, however, has a problem that it is vulnerable to network attacks because ND protocol allows malicious users to impersonate other legitimate hosts or routers by forging ND protocol messages. To address the security problem, Secure Neighbor Discovery (SEND) protocol was proposed. SEND protocol provides address ownership proof mechanism, ND protocol message protection mechanism, reply attack prevention mechanism, and router authentication mechanism to protect ND protocol. In this paper, we design and implement SEND protocol in IPv6 local networks. And also, we evaluate and analyze the security vulnerability and performance of SEND protocol by experimenting the implemented SEND protocol on IPv6 networks.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.1
• /
• pp.51-63
• /
• 2013

Recently with base apply MANET with the application for the service discovery and delivery which are various techniques are being proposed the result of such MANET base research techniques from actual inside. This dissertation proposes T-Chord(Trustworthy-based Chord) Ring system for MANET to guarantees from such requirements. T-Chord Ring system in order to manage Efficiently the services which the mobile nodes provide is the service discovery system which uses P2P overlay network Technique in mobile environment. The system which is proposed MANET communications in order to accomplish a service discovery operation with physical network class and logical network class will be able to minimize problems from about MANET service discoveries, and uses the dispersive hash table technique for a service discovery and effectiveness of service discovery improves and will be able to guarantee the expandability of network size. The mobile nodes(mobile device) have a mobility from MANET and operate with service request node, service provide node and service transmit node. The mobile nodes will be able to elect cluster header using Trustworthy that was evaluated service request, provision and delivery in each other. The system which is proposed a service discovery and a delivery efficiently will compose the cluster head which will grow of P2P overlay networks and will be able to accomplish. The system which proposes from dissertation is composed of Trustworthy evaluations of MANET mobile nodes, service information collection which is dispersed and P2P overlay networks that composed of Chord algorithm modules which provide O(Log N) efficiencies. The system comparison evaluation analyzes an efficiency from the expandability side of effectiveness and the network of service discovery technique and the service discovery message over head, service discovery and delivery of former times and service discovery and delivery is excellent gives proof from MANET.

• Journal for History of Mathematics
• /
• v.16 no.2
• /
• pp.55-70
• /
• 2003

This study investigated tile intuitive level of justification in geometry, as the former step to the aximatization, with concrete examples. First, we analyze limitations that the axiomatic method has in tile context of discovery and the educational situation. This limitations can be supplemented by the proper use of the intuitive method. Then, using the histo-genetic analysis, this study shows the process of the development of geometrical thought consists of experimental, intuitive, and axiomatic steps. The intuitive method of proof which is free from the rigorous axiom has an advantage that can include the context of discovery. Finally, this paper presents the issue of intuitive proving that the three angles of an arbitrary triangle amount to 180$^{\circ}$, as an example of the local systematization.

• Journal of Educational Research in Mathematics
• /
• v.14 no.2
• /
• pp.143-156
• /
• 2004

Lakatos's mathematical philosophy implies that the mathematical knowledge is quasi-empirical and provides the context where mathematics grows and develops. So, it is educationally significant. But, it is not easy to apply Lakatos's methodology to teaching elementary mathematics, because Lakatos's logic of the mathematical discovery is based on the proofs and refutations but elementary mathematics does not contain any proof. This study is to develop the schemes that apply Lakatos's methodology to teaching elementary mathematics and to provide the teaching examples. I devised the teaching process and the curriculum development method. And I developed the teaching examples.