• Communications of the Korean Mathematical Society
• /
• v.19 no.4
• /
• pp.585-599
• /
• 2004

본 연구에서는 학교수학에서 증명지도의 문제점을 정당화의 측면에서 분석하고, 정당화의 한 방법으로서 확률론적 정당화를 제시하며, 학교수학에서 정당화 지도의 교육적 가치, 정당화 지도의 방향, 정당화 지도의 예와 지도 방법에 대해 논의한다. 이러한 논의에 근거하여 학교수학에서의 정당화 지도의 필요성 및 가능성에 관하여 살펴본다. 본 연구에서 '증명'은 고전적인 의미에서의 증명, 즉 엄밀한(rigorous) 증명, 수학적(mathematical) 증명이고, '정당화'는 기존의 수학적 증명 개념은 물론, 다양한 논증 기법을 포함하는 넓은 의미이다.

• Communications of Mathematical Education
• /
• v.15
• /
• pp.189-194
• /
• 2003

급격하게 변하고 있는 이 사회에 맞춰 수학이 변하고 있다. 이에 따라 학교 수학에서의 증명지도가 변해야할 필요성이 있다. 본 연구에서는 기존의 증명 개념을 아우르는 보다 포괄적인 개념으로써 정당화를 소개하고 정당화 지도 방안을 제안한다. 또, 기존의 형식적이고 엄밀한 연역적 증명과 정당화가 어떻게 다른지 비교해 보고 실제 수업하는데 도움을 줄 수 있도록 활용 방안을 간단하게 제시하고자 한다.

• The Mathematical Education
• /
• v.44 no.4 s.111
• /
• pp.535-546
• /
• 2005

We study on intuitive verification and rigor proof which are in geometry of Korean and Russian $7\~8$ grade's mathematics textbooks. We compare contents of mathematics textbooks of Korea and Russia laying stress on geometry. We extract 4 proposition explained in Korean mathematics textbooks by intuitive verification, analyze these verification method, and compare these with rigor proof in Russian mathematics textbooks.

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

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39B no.6
• /
• pp.370-378
• /
• 2014

It is well known that data mining plays a crucial role in varities of real-world applications, by which extracts knowledge from large volume of datasets. Among functionalties provided by data mining, frequency mining over given multisets is a basic and essential one. However, most of users would like to obtain the frequency over their multisets without revealing their own multisets. In this work, we come up with a novel way to achive this goal and prove its security rigorously. Our scheme has several advantages over existing work as follows: Firstly, our scheme has the most efficient computational complexity in the cardinality of multisets. Further our security proof is rigorously in the simulation paradigm. Lastly our system assumption is general.

• The KIPS Transactions:PartC
• /
• v.9C no.6
• /
• pp.799-808
• /
• 2002

According to the wide-spread of information transmission system over network, the use of cryptographic system to provide the integrity of transmitted message over network is increasing and the importance of that is emphasized. Because the security of the cryptographic system totally relies on the key, key management is a essential part of cryptographic system. A number of key agreement protocols have been proposed to far, but their rigorous security analysis is still open. In this paper, we analyze the features of Diffie-Hellman based standard key agreement protocols and provide the security analysis of those protocols against several kinds of active attacks.

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

• Review of KIISC
• /
• v.17 no.6
• /
• pp.67-74
• /
• 2007

정보통신과 인터넷 기술의 발전으로 실생활에서 정보의 이용이 용이해 지면서, 쉽게 정보를 얻기 위한 정보에 대한 공유와 검색에 관련한 기술이 발전하게 되었다. 그 결과로 정보는 쉽게 얻을 수 있게 되었지만, 개인정보 유출, 악의적인 시스템 파괴 등 역기능 빠른 속도로 늘어나고 있다. 이에 따라 국제적으로 정보보호의 중요성대 대두 되고 보안에 대한 필요성이 극대화 되었으며, 시스템 보안성의 신뢰도를 일관성 있게 평가하기위하여 공통평가기준이 제정되었다. 특히, 높은 신뢰도를 요구하는 보안기능에 대해서는 수학적, 논리적 기반의 명확한 명세와 엄밀한 증명을 수행하는 정형기법을 사용한 경우에만 고등급을 획득할 수 있다. 본고에서는 공통평가기준과 정형기법의 상관관계를 설명하고, 고등급 평가에 관련된 국외 동향을 기술한 후, 간단한 예를 들어 보안정책모델의 정형화 방법에 대하여 기술하였다.

• School Mathematics
• /
• v.9 no.4
• /
• pp.523-533
• /
• 2007

This article focused the meaning of Pythagoras' and Euclid's proof about the Pythagorean theorem in a historical and mathematical perspective. Pythagoras' proof using similarity is based on the arithmetic assumption about commensurability. However, Euclid proved the Pythagorean theorem again only using the concept of dissection-rearrangement that is purely geometric so that it does not need commensurability. Pythagoras' and Euclid's different approaches to geometry have to do with Birkhoff's axiom system and Hilbert's axiom system in the school geometry Birkhoff proposed the new axioms for plane geometry accepting real number that is strictly defined. Thus Birkhoff's metrical approach can be defined as a Pythagorean approach that developed geometry based on number. On the other hand, Hilbert succeeded Euclid who had pursued pure geometry that did not depend on number. The difference between the proof using similarity and dissection-rearrangement is related to the unsolved problem in the geometry curriculum that is conflict of Euclid's conventional synthetical approach and modern mathematical approach to geometry.