• Journal of the Korean School Mathematics Society
• /
• v.8 no.1
• /
• pp.101-116
• /
• 2005

The purpose of this study is to survey mathematics teacher's cognition of proof along with their proof forms of expression and proof ability, and to explore the relationship between their proof scheme and teaching practice. This study shows that mathematics teachers tend to regard proof as a deduction from assumption to conclusion and that they prefer formal proof with mathematical symbols. Mathematics teachers also recognize that prof is an important area in school mathematics but they reveal poor understanding of teaching methods of proof. Teachers tend to depend on the proof style employed in mathematics textbooks. This study demonstrates that a proof scheme is a major factor of determining the teaching method of proof.

• Korean Journal of Logic
• /
• v.5 no.2
• /
• pp.39-66
• /
• 2002

일반적으로 엄밀한 방법을 통하여 증명되었다고 말해지는 괴델의 불완전성 정리는 일련의 전제와 배경지식이 요구된다고 하겠다. 이들 중에서 무엇보다도 중요한 것은 정리의 증명에 사용되는 메타언어상의 수학적 참에 대한 개념이다. 일단 확인할 수 있는 것은 "증명도, 반증도 되지 않지만 참인 산수문장의 존재"라는 불완전성 정리의 내용에서 괴델이 가정하고 있는 수학적 참의 개념이 구문론적인 증명개념으로부터 완전히 독립되어야 한다는 점이다. 문제는 그가 가정하고 있는 수학적 참의 개념이 도대체 무엇이어야만 하겠는가라는 점이다. 이 논문은 이 질문과 관련하여 내용적으로 3부분으로 나누어 질 수 있다. I. 괴델의 정리의 증명에 필요한 전제들 및 표의 도움을 얻어 자세히 제시되는 증명과정의 개략도를 통해 문제의 지형도를 조감하였다. II, III. 비트겐슈타인의 괴델비판을 중심으로, "일련의 글자꼴이 산수문장이다"라는 주장의 의미에 대한 상식적 비판 및 해석에 바탕을 둔 모형이론에 대한 대안제시를 통하여 괴델의 정리를 증명하기 위해 필요한 산수적 참에 관한 전제가 결코 "확보된 것이 아니다"라는 점을 밝혔다. IV. 괴델의 정리에 대한 앞의 비판이 초수학적 전제에 대한 것이라면, 3번째 부분에서는 공리체계에서 생성 가능한 표현의 증명여부와 관련된 쌍조건문이 그 도입에 필수적인 괴델화가 갖는 임의성으로 인해 양쪽의 문장의 참, 거짓 여부가 서로 독립적으로 판단 가능하여야만 한다는 점에(외재적 관계!) 착안하여 궁극적으로 자기 자신의 증명여부를 판단하게 되는 한계상황에 도달할 경우(대각화와 관련된 표 참조) 그 독립성이 상실됨으로 인해 사실상 기능이 정지되어야만 한다는 점, 그럼에도 불구하고 이 한계상황을 간파할 경우(내재적 관계로 바뀜!)항상 순환논법을 피할 수 없다는 점을 밝혔다. 비유적으로 거울이 모든 것을 비출 수 있어도 자기 스스로를 비출 수 없다는 점과 같으며, 공리체계 내 표현의 증명여부를 그 체계내의 표현으로 판별하는 괴델의 거울 역시 스스로를 비출 수는 없다는 점을 밝혔다. 따라서 괴델문장이 산수문장에 속한다는 믿음은, 그 문장의 증명, 반증 여부도 아니고 또 그 문장의 사용에서 오는 것도 아니고, 플라톤적 수의 세계에 대한 그 어떤 직관에서 나오는 것도 아니다. 사실상 구문론적 측면을 제외하고는 그 어떤 것으로부터도 괴델문장이 산수문장이라는 근거는 없다. 그럼에도 불구하고 괴델문장을 산수문장으로 볼 경우(괴델의 정리의 증명과정이라는 마술을 통해!), 그것은 확보된 구성요소로부터 조합된 문장이 아니라 전체가 서로 분리불가능한 하나의 그림이라고 보아야한다. 이것은 비트겐슈타인이 공리를 그림이라고 본 것과 완전히 일치하는 맥락이다. 바론 그런 점에서 괴델문장은 새로운 공리로 도입된 것과 사실은 다름이 없다.

• Journal of Educational Research in Mathematics
• /
• v.23 no.2
• /
• pp.173-192
• /
• 2013

It may be replacement proofs with understanding and explaining geometrical properties that was a remarkable change in school geometry of 2009 revised national curriculum for mathematics. That comes from the difficulties which students have experienced in learning proofs. This study focuses on one of those difficulties which are caused by the forms of proofs: using letters for designating some sides or angles in writing proofs and understanding some long sentences of proofs. To overcome it, this study aims to investigate the applicability of Byrne's method which uses coloured diagrams instead of letters. For this purpose, the proofs of three geometrical properties were taught to middle school students by Byrne's visual method using the original source, dynamic representations, and the teacher's manual drawing, respectively. Consequently, the applicability of Byrne's method was discussed based on its strengths and its weaknesses by analysing the results of students' worksheets and interviews and their teacher's interview. This analysis shows that Byrne's method may be helpful for students' understanding of given geometrical proofs rather than writing proofs.

• Journal of Educational Research in Mathematics
• /
• v.19 no.2
• /
• pp.185-206
• /
• 2009

In the study, I conducted the teaching experiment designed to instruct proof to four 7th grade students by utilizing the analysis method. As the results of this study I could identified that it is effective to teach and learn to find proof methods using the analysis. The results of the study showed that four 7th grade students succeeded in finding the proof methods by utilizing the analysis and representing the proof after 15 hours of the teaching experiment. In addition to the difficulties that students faced in learning proof utilizing the analysis were related to the search for the light conditions for triangles to be congruent, symbolic representation of the proof methods, reinterpretation of drawings given in the proof problems.

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

• Communications of Mathematical Education
• /
• v.28 no.4
• /
• pp.513-528
• /
• 2014

This study is intended to examine 36 in-service secondary school mathematics teachers' conceptions of proof in the context of mathematics and mathematics education. The results suggest that almost teachers recognize the role as justification well but have the insufficient conceptions about another various roles of proof in mathematics. The results further suggest that many of teachers have vague concept-images in relation with the requirement of proof and recognize the insufficiency about the actual teaching of proof. Based on the results, implications for revision of mathematics curriculum and mathematics teacher education are discussed.

• The Korean Society of Law and Medicine
• /
• v.18 no.2
• /
• pp.47-73
• /
• 2017

Medical certificate is a document to demonstrate a patient's health status, made up and signed by a physician, dentist, or oriental physician who attended the patient. It serves as an evidence in many official process including civil or criminal law suit, especially for one's personal injury. The Korean legal system also acknowledges and protects the evidentiary function of medical certificate by mandating physicians etc. to issue medical certificate in good faith and only when they personally attended the patient, and by criminally punishing them when they do not comply with these legal requirements. There are some reasons, however, that medical certificates often do not reflect the true health status of the patient: When physicians attend the patient and collect information regarding the health status of the patient, their priority is and should be the most cost-effective way to meet the health needs of the patient. It does not necessarily correspond to the accurate examination of the health status of the patient. Even when the patient's report on the history of the illness or the injury seems suspicious, physicians might have to avoid disproving it because that kind of attitude might harm the rapport between the physician and the patient. All these can distort the perception of the physicians and this distortion can be reproduced in the medical certificate they made up. Some of these problems might be resolved or at least enhanced by introducing new form of medical certificate which would guide physicians to reveal the nature, factual and theoretical grounds, and the limit of their findings more accurately. Others, however, would not be able to address, because it stems from the conflict between the physician's primary duty, duty to be loyal to the patient's life and health, and his secondary duty to serve as a public or neutral witness on the health status of the patient, and when both values or duties conflict with each other, they should choose the duty to the patient sacrificing the duty to the public or the court.

• School Mathematics
• /
• v.14 no.4
• /
• pp.469-493
• /
• 2012

The purpose of this study is find the relation between students' concept and types of proof construction. For this, four undergraduate students majored in mathematics education were evaluated to examine how they understand mathematical concepts and apply their concepts to their proving. Investigating students' proof with their concepts would be important to find implications for how students have to understand formal concepts to success in proving. The participants' proof productions were classified into syntactic proof productions and semantic proof productions. By comparing syntactic provers and semantic provers, we could reveal that the approaches to find idea for proof were different for two groups. The syntactic provers utilized procedural knowledges which had been accumulated from their proving experiences. On the other hand, the semantic provers made use of their concept images to understand why the given statements were true and to get a key idea for proof during this process. The distinctions of approaches to proving between two groups were related to students' concepts. Both two types of provers had accurate formal concepts. But the syntactic provers also knew how they applied formal concepts in proving. On the other hand, the semantic provers had concept images which contained the details and meaning of formal concept well. So they were able to use their concept images to get an idea of proving and to express their idea in formal mathematical language. This study leads us to two suggestions for helping students prove. First, undergraduate students should develop their concept images which contain meanings and details of formal concepts in order to produce a meaningful proof. Second, formal concepts with procedural knowledge could be essential to develop informal reasoning into mathematical proof.

• Journal of Digital Convergence
• /
• v.18 no.3
• /
• pp.363-376
• /
• 2020

Recent studies have investigated anger or anger-related problems in adolescents from various perspectives. However, understanding of anger expression types or the role of mediating variables in relation to anger and anger expressions have been disregarded. The purpose of this research was to understand the relationships between adolescents' anger, problem solving ability, and three types of anger expressions (anger-in, anger-out, anger-control) and to focus on the mediator function of problem-solving ability. Participants comprised 596 adolescents (283 males and 313 females). Anger was significantly related to all three types of anger expressions. Adolescents who showed high anger levels tended to indicate high anger-in and anger-out expressions but low anger-control expression, while controlling for age and gender. The findings also provided evidence for the mediator role of problem-solving ability on the relationship between anger and anger-control expression. From the results of this study suggestions and limitations were also discussed.

• Communications of Mathematical Education
• /
• v.8
• /
• pp.17-32
• /
• 1999

본 논문의 목적은 Cabri II 를 이용하여 형식적이고 연역적인 증명수업 방법의 대안을 찾는 데 있다. 형식적인 증명을 하기 전에 탐구와 추측을 통한 발견과 그 결과에 대한 비형식적인 증명 활동을 강조한다. 역동적인 기하소프트웨어인 Cabri II 는 작도가 편리하고 다양한 예를 제공하여 추측과 탐구 그리고 그 결과의 확인을 위한 풍부한 환경을 제공할 수 있으며, 끌기 기능을 이용한 삼각형의 변화과정에서 관찰할 수 있는 불변의 성질이 형식적인 증명에 중요한 역할을 한다. 또한 도형에 기호를 붙이는 활동은 형식적인 증명을 어렵게 만드는 요인 중의 하나인 명제나 정리의 기호적 표현을 보다 자연스럽게 할 수 있게 해 준다. 그러나, 학생들이 증명은 더 이상 필요 없으며, 실험을 통한 확인만으로도 추측의 정당성을 보장받을 수 있다는 그릇된 ·인식을 심어줄 수도 있다. 따라서 모든 경우에 성립하는 지를 실험과 실측으로 확인할 수는 없다는 점을 강조하여 학생들에게 형식적인 증명의 중요성과 필요성을 인식시킬 필요가 있다. 본 연구에 대한 다음과 같은 후속연구가 필요하다. 첫째, Cabri II 를 이용한 증명 수업이 학생들의 증명 수행 능력 또는 증명에 대한 이해에 어떤 영향을 끼치는지 특히, van Hiele의 기하학습 수준이론에 어떻게 작용하는 지를 연구할 필요가 있다. 둘째, 본 연구에서 제시한 Cabri II 를 이용한 증명 교수학습 방법에 대한 구체적인 사례연구가 요구되며, 특히 탐구, 추측을 통한 비형식적인 중명에서 형식적 증명으로의 전이 과정에서 나타날 수 있는 학생들의 반응에 대한 조사연구가 필요하다.