• 한국수학사학회지
• /
• 제9권2호
• /
• pp.10-14
• /
• 1996

논리법칙은 유한집합에서 성립하는 수학의 정리들을 최대한 일반화시킨 것에 불과하다. 따라서 우리는 이들 논리법칙들이 아무런 고려없이 무한집합의 수학에서도 성립할 것으로 단정해서는 안된다. 집합론에서 역리가 발생하는 것은 논리학의 한 원리인 배중률이 무한집합의 수학에서는 성립하지 않음을 보여주는 것이다.

• 한국수학사학회지
• /
• 제21권3호
• /
• pp.31-52
• /
• 2008

무한(infinity)의 개념은 다른 과학적 개념들과 마찬가지로 진화의 역사를 지닌 개념이다. 우리는 여기에서 볼짜노(Bolzano)를 중심으로 논의를 전개하고자 하는데, 그는 형이상학적 관점에서가 아니라 수학적으로 실무한(actual infinity)을 수용한 최초의 인물로 여겨지기 때문이다. 볼짜노는 현대의 플라톤주의자들처럼 구성(construction)과정과는 무관하게 무한집합(infinite set)을 그 자체로 옹호하였는데, 이는 내포(comprehension)의 원리와 모든 개념에 대한 외연의 유일성(unicity)에 근거한다. 또한 그는 무한집합과 그 부분 사이에 1:1 대응(one-to-one correspondence)이 성립한다는 사실을 역설로 보지 않고 무한집합의 특징으로 인식했다. 그리스 시대에는 단 하나의 무한의 존재만 인정한 데 반해 그는 여러 종류의 무한의 존재를 인정했으며, 무한에 대한 논리적 정의를 수립하였다. 무한의 문제는 수학에서 점증하는 중요성을 지닌 구성적 방법(constructive method)의 시금석이 된다. 여기에서는 이에 대한 운을 떼는 것으로 그치고 본격적인 연구는 차후의 과제로 남겨두겠다.

• 한국수학사학회지
• /
• 제22권4호
• /
• pp.115-128
• /
• 2009

본 논문에서 von Neumann의 공리계를 수정하여 새로운 DVN공리계를 소개한다. 그리고 DVN공리계에서 불가지 류의 존재성을 조사하고, 불가지류와 선택공리의 관계를 논한다.

• 한국수학사학회지
• /
• 제9권2호
• /
• pp.30-42
• /
• 1996

최근 <수학기초론>이란 용어는 Burali-Forti paradox 이후 족(class)과 집합(set) 개념을 이해하려는 시도에서 출발한 20세기적 문제에 적용되고 있다. 이 글에서는 그 해결책으로 제시된 주의ㆍ주장 중 논리적인 모순을 해결하기 위한 Russel의 논리주의적 공리론에 바탕을 두고 살펴보려고 한다. 제 2장에서는 무한의 심연 속에 웅크리고 있는 집합론에서의 역설과 발생 원인에 대하여 살펴보았다. 제 3장에서는 공리론적 집합론 중에서 러셀의 유형론과 그것을 단순화시킨 현대의 유형론을 살펴보고, ZF 집합론과 ZF 집합론의 연장인 처치 집합론의 기본 공리를 살펴보았다.

• 한국수학사학회지
• /
• 제5권1호
• /
• pp.5-37
• /
• 1988

• 한국수학사학회지
• /
• 제6권1호
• /
• pp.1-16
• /
• 1990

• 한국수학사학회지
• /
• 제31권2호
• /
• pp.73-91
• /
• 2018

This study begins with the awareness of problem that the education of mathematics teachers has failed to link the limit and the infinite set conceptually. Thus, this study analyzes the historical and reciprocal development of the limit and the infinite set, and discusses how to improve the education of these concepts and their relation based on the outcome of this analysis. The results of the study confirm that the infinite set is the historical tool of linking the limit and the real numbers. Also, the result shows that the premise of 'the component of the straight line is a point.' had the fundamental role in the construction of the real numbers as an arithmetical continuum and that the moral certainty of this premise would be obtained through a thought experiment using an infinite set. Based on these findings, several proposals have been made regarding the teacher education of awakening someone to the fact that 'the theoretical foundation of the limit is the real numbers, and it is required to introduce an infinite set for dealing with the real numbers.' in this study. In particular, by presenting one method of constructing the real numbers as an arithmetical continuum based on a thought experiment about the component of the straight line, this study opens up the possibility of an education that could get the limit values psychologically connected to the infinite set in overcoming the epistemological obstacle related to the continuum concept.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제49권2호
• /
• pp.259-265
• /
• 2010

Even though Sanhak has a long history, it has disappeared from the stage of modern mathematics. What happened to Sanhak? This article tries to answer the question. In fact, the authors argue that the oriental perception toward to infinity has played an important role in such situation. The authors claim that actual infinity and virtual infinity have resulted in quite different types of mathematics, respectively.

• 한국정보과학회논문지:시스템및이론
• /
• 제28권6호
• /
• pp.278-288
• /
• 2001

평면상의 n 개의 점으로 구성된 집합 S가 있을 때, 같은 각의 두 (무한) 부채꼴을 이용하여 S의 점들을 모두 포함하는 문제를 본 논문에서 다루고자 한다. 즉, S W$_1$∪W$_2$를 만족하는 각이 최소인 두 부채꼴 W$_1$과 W$_2$를 구하고자 한다. 부채꼴의 정점은 반드시 S의 점에만 놓는다. 두 부채꼴의 배치에 ek라서 여러 가지 경우로 나눌 수 있는데 각 경우에 효율적인 알고리즘을 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.571-573
• /
• 2001

본 논문에서는 실시간 상태 기계(Real-time State Machine, RSM)로 명제된 실시간 시스템의 행위의 쉽고 간결한 이해, 분석을 위한 새로운 상태 최소화 방법을 기술한다. 시스템의 행위를 보여주는 RSM 실행에 대한 상태는 제어 변수, 자료 변수, 시간 변소의 집합에 의해 정의된다. 상태 최소화는 4단계 추상화인 계산(computation), 제너릭(generic) 패턴, 한계 간격(limit interval), 동일 범위(coordinate scope) 추상화를 통해 이루어진다. 계산 추상화 단계에서는 연속적인 계산으로 연결된 다수의 상태를 하나의 상태로, 일반 패턴 추상화 단계에서는 상수 또는 함수 관계에 있는 동일 제어의 연속된 일련의 상태들의 집합을 하나의 제너릭 패턴으로 통합한다. 한계 간격 추상화 단계에서는 특정 값으로부터 음의 무한대나 양의 무한대 값으로 단조 증가, 단조 감소하는 값 사이에 있는 상태들을 하나의 상태로 통합한다. 마지막으로, 동일 범위 추상화 단계에서는 같은 범위에 존재하는 일련의 상태들을 하나의 상태로 통합한다. 각 추상화의 적용은 제어, 데이터, 시간의 무한한 상태 공간을 유한한 상태공간으로 감소시킬 수 있으며 많은 상태 감소를 가능하게 한다. 따라서, 시스템 행위에 대한 이해와 분석이 복잡도가 적은 개념 단계에서 수행될 수 있다.