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

This study deals with the problem of proof education in the middle school geometry bby examining van Hiele#s geometric thought level theory and Freudenthal#s mathematization teaching theory. The implications that have been revealed by examining the theory of van Hie이 and Freudenthal are as follows. First of all, the proof education at present that follows the order of #definition-theorem-proof#should be reconsidered. This order of proof-teaching may have the danger that fix the proof education poorly and formally by imposing the ready-made mathematics as the mere record of proof on students rather than suggesting the proof as the real thought activity. Hence we should encourage students in reinventing #proving#as the means of organization and mathematization. Second, proof-learning can not start by introducing the term of proof only. We should recognize proof-learning as a gradual process which forms with understanding the meaning of proof on the basic of the various activities, such as observation of geometric figures, analysis of the properties of geometric figures and construction of the relationship among those properties. Moreover students should be given this natural ground of proof.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.7
• /
• pp.35-48
• /
• 2022

In this study, it propose a proof theory method for expressing and reasoning knowledge in a multiagent environment. Since this method determines logical results in a mechanical way, it has developed as a core field from early AI research. However, since the proposition cannot always be proved in any set of closed sentences, in order for the logical result to be determinable, the range of expression is limited to the sentence in the form of a clause. In addition, the resolution principle, a simple and strong reasoning rule applicable only to clause-type sentences, is applied. Also, since the proof theory can be expressed as a meta predicate, it can be extended to the metalogic of the proof theory. Metalogic can be superior in terms of practicality and efficiency based on improved expressive power over epistemic logic of model theory. To prove this, the semantic method of epistemic logic and the metalogic method of proof theory are applied to the Muddy Children problem, respectively. As a result, it prove that the method of expressing and reasoning knowledge and common knowledge using metalogic in a cooperative multiagent environment is more efficient.

• Journal of the Korean Mathematical Society
• /
• v.47 no.1
• /
• pp.123-134
• /
• 2010

The aim of this paper is to provide a proof for a version of the Morse inequalities for manifolds with boundary. Our main results are certainly known to the experts on Morse theory, nevertheless it seems necessary to write down a complete proof for it. Our proof is analytic and is based on the J. Roe account of Witten's approach to Morse Theory.

• 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 the Korean Mathematical Society
• /
• v.40 no.3
• /
• pp.423-434
• /
• 2003

We prove an approximation result, and we get a new proof of the main result in [7]. I hope that this new proof may be a step towards a generalization of the Poletsky theory of discs to the case of almost complex manifolds.

• International Commerce and Information Review
• /
• v.8 no.4
• /
• pp.159-175
• /
• 2006

This paper that explain exchange rate determination using Korea's economy data moment investigate whether each theory cause effect that is some on exchange rate showdown analyzing actual proof relation between foreign exchange fluctuation and financing part variance examine wish to. Because korea economic enters in the 1990s and the 2000s and the change is notable, foreign exchange fluctuation by such change is real condition that is changing. In this paper, I wish to enforce actual proof analysis if change such as him is grasped by form that is some about foreign exchange fluctuation. First, the second chapter investigates exchange rate decision theory that is used on actual proof interpretation, and executes actual proof Test in reply in subsequent the third chapter. And finally, the fourth chapter wishes to drive conclusion of this paper.

• The Korean Society of Law and Medicine
• /
• v.9 no.1
• /
• pp.9-56
• /
• 2008

The medical practice does not always get a satisfatory result since the disease progress of patients are depended on patients' physical constitution and the doctors cannot control the outcomes about patients' physiological and biological reaction after the treatment. Moreover, the medical practice may bring wrong result fatalistically because of the unpredictablility of life. To demand for compensation of the damage to the doctors about these wrong result, the patient side holds the burden of proof that is between medical practice and demage, and there is damage from doctor's malpractice according to the accepted theory about the fundamental principle of distribution of the burden of proof. This falls not only under the liability of Tort Law, but also liability of Contract Law. However, the patient may be in difficult situation to prove the malpractice of doctors since he or she cannot recognize the facts because he or she was in unconscious while the medical practice was conducted, or they cannot judge precisely even though they recognize the facts. Nevertheless, the lawsuits against medical malpractice are the field that never achieves the equality of arms since the most of the evidence belong to the doctor's side. Hence, to maintain the principle of the equality of arms under the constitution, the theory leads to alleviate the burden of proof that patients hold. However, the doctors cannot be asked for the burden of proof that they conduct medical practice without errors. Because the doctors may experience difficulty to prove their innocence as the patients because of the unique characteristic that medical practices have. Therefore, the methods of the alleviation of the patient's burden of proof should have the equality of arms and the equal opportunity between the patients and the doctors with the evaluation of the justifiable interest from both the patients and the doctors. As the methods of the alleviation of the burden of proof, the alleviation of the demands and the degree of the burden of proof or resolutely the conversion of the burden may be considered. However, Recognizing the exception from general principle with converting the burden of proof is not proper in principle because the doctors may experience difficulty of the proof as the patients may have. If the difficulty of proof can be resolved by alleviating of the demands and the degree of the burden of proof, it is more desirable resolution rather than converting the burden of proof.

• Journal of the Korean Mathematical Society
• /
• v.41 no.4
• /
• pp.591-615
• /
• 2004

In this paper, we provide the algebraic foundations to the theory of relative $\ell$$_1$ homology. In particular, we prove that $\ell$$_1$ homology of topological spaces, both for the absolute case and for the relative case, depends only on their fundamental groups. We also provide a .proof of Gromov's Equivalence theorem for $\ell$$_1$ homology, stated by Gromov without proof [4].

• The Mathematical Education
• /
• v.50 no.4
• /
• pp.441-466
• /
• 2011

In this article, we study on the teaching design, focused on the geometric methods, of 2-D isoperimetric problem for the elementary mathematically gifted students. For our teaching design, we discussed the ideals of Zenodorus's polygon proof, Steiner's four-hinge proof, Steiner's mean boundary proof, Steiner's snowball-packing proof, Edler's finite existence proof and Lawlor's dissection proof, and then the ideals achieved were modified with the theoretical backgrounds-the theory of Freudenthal's mathematisation, the method of analysis-synthesis. We expect that this article would contribute to the elementary mathematically gifted students to acquire and to improve spatial sense.

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.273-275
• /
• 2008

We will give a short and elementary proof of the existence of infinitely many primes p such that a given positive integer a congruent 3 modulo 4 is a quadratic non-residue modulo p.