• East Asian mathematical journal
• /
• 제26권4호
• /
• pp.581-597
• /
• 2010

In this paper, the author focuses on the teaching-level and learning-level of the completeness axiom and its applications on [0,1] and $\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}{\times}\mathbb{R}$ by (expected) teachers in the school mathematics, which is usually introduced in the class of real analysis of university mathematics. Firstly the author considers the properties of the completeness axiom and its 19 equivalent theorems, next he deals with its importances in the school mathematics and finally he suggests the teaching and learning of the concepts on the completeness axiom and its applications on [0,1] and $\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}$, $\mathbb{R}{\times}\mathbb{R}{\times}\mathbb{R}$ by (expected) teachers in the school mathematics.

• 한국수학사학회지
• /
• 제17권1호
• /
• pp.53-60
• /
• 2004

In this paper, we analyse several number theoretical proofs of the irrationality of $\sqrt{2}$ and reveal that these proofs are implied by The Completeness Axiom of the real number system.

• 논리연구
• /
• 제20권2호
• /
• pp.273-292
• /
• 2017

이 글에서 우리는 누승적 미카놈 논리 IMICAL의 몇몇 공리적 확장 체계를 다룬다. 보다 구체적으로, 먼저 누승적 미아놈에 바탕을 두 논리 체계 $P_nIMIAL$, $FP_nIMIAL$을 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들 중 $FP_nIMICAL$가 표준적으로 완전하다는 것 즉 단위 실수 [0,1]에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다.

• 대한수학교육학회지:수학교육학연구
• /
• 제24권4호
• /
• pp.595-605
• /
• 2014

소수점 아래 0에서 9까지의 임의의 숫자가 무한히 나열되는 무한소수는 '소수점 아래끝자리까지의 모든 숫자를 명확하게 알 수 없는 모호한 수'라는 불투명성을 가지고 있다. 이 논문에서는 이와 같은 불투명성을 야기하는 무한소수 기호로부터 어떻게 연속적인 수를 창조할 수 있었는지를 분석하였다. 무한소수 기호의 완비성 공리에 대한 투명성에 의존하여, 실수 개념이 엄밀하게 형식화되기 이전에도 수학자들은 실수 개념을 다룰 수 있었다. 이 논문의 수학적 역사적 분석은 무한소수에 의존하여 실수 개념을 전개하는 학교수학의 접근과, 완비순서체로서의 실수의 형식적 정의를 다루는 대학수학의 접근 사이에서 야기될 수 있는 이중단절의 문제를 극복하는 데 도움이 될 수 있을 것이다.

• 논리연구
• /
• 제19권3호
• /
• pp.437-461
• /
• 2016

이 글에서 우리는 (곱 연언 &의) 약한 형식의 결합 원리를 갖는 약화 없는 퍼지 논리를 연구한다. 이를 위하여 먼저 wta-유니놈에 기반 한 체계 $WA_tMUL$과 이의 두 공리적 확장 체계들을 약화 없는 약한 결합 원리를 갖는 퍼지 논리로 소개한다. 그리고 각 체계에 상응하는 대수적 구조를 정의한 후, 이 체계들이 대수적으로 완전하다는 것을 보인다. 다음으로 제네이-몬테그나 스타일의 구성방식을 사용하여 체계 $WA_tMUL$과 추가적 공리를 갖는 두 확장 체계들이 표준적으로 완전하다는 것을 보인다.

• 호남수학학술지
• /
• 제35권1호
• /
• pp.101-107
• /
• 2013

The Gamma function ${\Gamma}$ which was first introduced b Euler in 1730 has played a very important role in many branches of mathematics, especially, in the theory of special functions, and has been introduced in most of calculus textbooks. In this note, our major aim is to explain the convergence of the Euler's Gamma function expressed as an improper integral by using some elementary properties and a fundamental axiom holding on the set of real numbers $\mathbb{R}$, in a detailed and instructive manner. A brief history and origin of the Gamma function is also considered.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제22권4호
• /
• pp.471-487
• /
• 2008

본 연구에서는 해석학 강좌를 운영하는 과정에서 얻어진 학생들의 수학적 발명의 사례를 제시하고 분석하여, 수학적 발명과 관련된 구체적인 교수-학습 과정, 얻어진 수학적 산출물들, 이들의 수학적 의의를 기술하였다.

• East Asian mathematical journal
• /
• 제28권2호
• /
• pp.159-172
• /
• 2012

In all Mathematics I Textbooks(Kim, S. H., 2010; Kim, H. K., 2010; Yang, S. K., 2010; Woo, M. H., 2010; Woo, J. H., 2010; You, H. C., 2010; Youn, J. H., 2010; Lee, K. S., 2010; Lee, D. W., 2010; Lee, M. K., 2010; Lee, J. Y., 2010; Jung, S. K., 2010; Choi, Y. J., 2010; Huang, S. K., 2010; Huang, S. W., 2010) in high schools in Korea these days, it is written and taught that for a positive real number $a$, $a^{\frac{m}{n}}$ is defined as $a^{\frac{m}{n}}={^n}\sqrt{a^m}$, where $m{\in}\mathbb{Z}$ and $n{\in}\mathbb{N}$ have common prime factors. For that situation, the author shows his opinion that the definition is not well-defined and $a^{\frac{m}{n}}$ must be defined as $a^{\frac{m}{n}}=({^n}\sqrt{a})^m$, whenever $^n\sqrt{a}$ is defined, based on the field axiom of the real number system including rational number system and natural number system. And he shows that the following laws of exponents for reals: $$\{a^{r+s}=a^r{\cdot}a^s\\(a^r)^s=a^{rs}\\(ab)^r=a^rb^r$$ for $a$, $b$>0 and $s{\in}\mathbb{R}$ hold by the completeness axiom of the real number system and the laws of exponents for natural numbers, integers, rational numbers and real numbers are logically equivalent.

• Nuclear Engineering and Technology
• /
• 제31권2호
• /
• pp.157-171
• /
• 1999

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.