• 제목/요약/키워드: 완비적 공리

검색결과 6건 처리시간 0.021초

무한소수 기호: 불투명성과 투명성 (The Infinite Decimal Representation: Its Opaqueness and Transparency)

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

  • PDF

실수계의 공리를 이용한 지수 ar의 학습과 지도

  • 이병수
    • 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.

유연한 수학적 사고에 의한 개념의 동치성 비교 - 사례 연구 -

  • 이병수
    • East Asian mathematical journal
    • /
    • 제27권4호
    • /
    • pp.381-389
    • /
    • 2011
  • The flexible mathematical thinking - the ability to generate and connect various representations of concepts - is useful in understanding mathematical structure and variation in problem solving. In particular, the flexible mathematical thinking with the inventive mathematical thinking, the original mathematical problem solving ability and the mathematical invention is a core concept, which must be emphasized in all branches of mathematical education. In this paper, the author considered a case of flexible mathematical thinking with an inventive problem solving ability shown by his student via real analysis courses. The case is on the proofs of the equivalences of three different definitions on the concept of limit superior shown in three different real analysis books. Proving the equivalences of the three definitions, the student tried to keep the flexible mathematical thinking steadily.

연구 프로그램으로서의 힐버트 계획 (Hilbert's Program as Research Program)

  • 정계섭
    • 한국수학사학회지
    • /
    • 제24권3호
    • /
    • pp.37-58
    • /
    • 2011
  • 수리 논리학의 발전은 상당 부분 힐버트 (D. Hilbert, 1862~1943)의 증명이론(Beweistheorie)에 뿌리를 두고 있다. 흔히 '힐버트 계획' (Hilbert's program)으로 불리는 이 계획의 목표는 형식적 공리론적 방법에 의해 수학의 모든 명제와 증명을 형식화하고 이 형식 체계의 완비성과 무모순성 증명을 통해 고전 수학을 '구원' 하고, 수학의 토대를 공고히 하자는 데에 있다. 1931년 괴델의 제 1정리에 의해 결정불가능 명제의 존재가 드러나면서 완전성이 위기를 맞고, 제 2정리에 의해 무모순성의 확립이 무산될 위기에 처한다. 그러나 '상대적' 내지 '부분적' 힐버트 계획은 효과적인 연구 프로그램으로서 살아 있다고 말하는 학자들이 적지 않다. 우리는 특히 힐버트 계획 이 오늘날 구성주의 수학의 발전에 동력을 제공하고 있다는 점을 커리-하워드 대응 (Curry-Howard Correspondence)을 통하여 부각시키고자 했다. 자연연역에서 증명 (proof) 이 바로 컴퓨터 프로그램 (computer program) 에 다름 아니라는 사실에 의해 수학의 형식화 (formalization)는 새로운 조명을 받게 된 것이다. 요컨대 힐버트 계획은 컴퓨터 과학에서 알고리듬 (algorithm) 이라는 핵심개념에 가장 잘 부합되는 것이다.

대학교의 해석학 강좌에서 학생들의 수학적 발명에 관한 연구 (A research on Mathematical Invention via Real Analysis Course in University)

  • 이병수
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제22권4호
    • /
    • pp.471-487
    • /
    • 2008
  • 본 연구에서는 해석학 강좌를 운영하는 과정에서 얻어진 학생들의 수학적 발명의 사례를 제시하고 분석하여, 수학적 발명과 관련된 구체적인 교수-학습 과정, 얻어진 수학적 산출물들, 이들의 수학적 의의를 기술하였다.

  • PDF

유리수와 무리수의 합집합을 넘어서: 실수가 자명하다는 착각으로부터 어떻게 벗어날 수 있는가? (Beyond the Union of Rational and Irrational Numbers: How Pre-Service Teachers Can Break the Illusion of Transparency about Real Numbers?)

  • 이지현
    • 대한수학교육학회지:수학교육학연구
    • /
    • 제25권3호
    • /
    • pp.263-279
    • /
    • 2015
  • 유리수에서 실수로의 확장 혹은 무리수의 존재성을 수학적으로 정당화하기 위해서는 완비성 공리가 필요하므로, 실수의 도입은 학교수학에서 가장 가르치기 어려운 주제 중 하나이다. 이 연구에서는 실수를 '유리수와 무리수의 합집합'으로 정의하는 학교수학의 교수학적 변환이 어떠한 교수학적 공백을 남겨놓을 수 있는지를 살펴보고, 유리수에서 실수로의 수 체계 확장의 이유, 임의의 비순환 무한소수의 존재 이유 등에 대한 예비교사들의 설명을 분석하여 대학수학의 학습에도 불구하고 예비교사들의 실수에 대한 피상적인 이해를 구체적으로 확인하였다. 교수학적 공백을 인식하고 학교수학과 대학수학을 연결함으로서, 예비교사들이 실수 개념이 자명하다는 착각으로부터 어떻게 벗어날 수 있었는지를 논의하였다.