• 한국수학사학회지
• /
• 제18권2호
• /
• pp.31-42
• /
• 2005

르네상스 시대가 도래하자 고대 그리스와 로마 문화의 부흥으로 유클리드 기하학이 다시 연구되고 실험과 관찰의 정신이 대두되었다. 이는 곧 근대의 정신인 것이다. 본 논문에서는 17, 18세기에 지식인이 추구했던 가치가 운동, 속도, 빛이었으므로 수학에서 미분적분차이 발명되고, 미술에서는 빛의 화가, 순간의 화가를 탄생시킨 근대의 시대정신과 사회적인 배경을 주목한다.

• 한국수학사학회지
• /
• 제12권2호
• /
• pp.135-141
• /
• 1999

It can be said that postmodernism shows a tendency to be anti-Descartes in the sense that it criticizes modern rationality which has started from Descartes. This paper suggests the relationship between modernism and postmodernism and that between. traditional Mathematics and fuzzy logic in three aspects, and shows that fuzzy logic tends to be a postmodern science in Mathematics.

• 대한수학교육학회지:수학교육학연구
• /
• 제9권1호
• /
• pp.51-80
• /
• 1999

The paper reviews of the constructivist view of mathematics and mathematics education. First of all, we shall study how mathematics has been treated as an object of cognition in philosophy or cognitive theories, what is changed in modern mathematics. It can lead us to understand the constructivist perspective on mathematics. Secondly, we will examine the view, the teaching and learning principles of mathematics education based on constructivism. Didactic transposition theory will be used as a frame of reference for this examination.

• 한국수학사학회지
• /
• 제12권1호
• /
• pp.32-44
• /
• 1999

This paper is a sequel to [8]. Development of modern logic was initiated by Boole and Morgan. Boolean logic is one of their completed works. Cantor created the set theory along with cardinal and ordinal numbers. His theory on infinite sets brought about a remarkable development on modern mathematical theory, but generated many paradoxes (e.g. Russell Paradox) that in turn motivated mathematicians to solve them. Further, mathematicians attempted to construct sound foundations for Mathematics. As a result three important schools of thought were formed in relation to fundamentals of mathematics for the resolution of paradoxes of set theory, namely logicism developed by Russell and Whitehead, intuitionism lead by Brouwer and formalism contended by Hilbert and Bernays. In this paper, we examine the logic for intuitionism which is originated by Brouwer in 1908 and study Heyting algebra.

• 한국수학사학회지
• /
• 제33권5호
• /
• pp.289-299
• /
• 2020

In this paper, we investigate the causes and the characteristics of transformations of mathematics education in modern China, focusing on the contents of mathematics education in the Ming and Qing dynasties. In this process, mathematics education was investigated from the overall educational view of each dynasty, so the educational situation of each dynasty was also considered.

• 대한수학교육학회지:수학교육학연구
• /
• 제21권1호
• /
• pp.57-65
• /
• 2011

이 연구는 학교수학에서 대학수학으로의 이행과정에서 정의와 증명의 변화와 관련하여, 기하학에서 공리적 방법의 발달과정을 분석하였다. 고대 그리스에서 현대수학적인 공리적 방법으로의 변화를 이해하는데 있어서, 상수 혹은 변수라는 기본용어의 성격 차이는 중요한 지표이다. 특히 기본용어의 상수에서 변수로의 성격 변화는 수학에서 정의와 증명 개념 및 수학에 대한 인식 변화를 설명한다. 이러한 수학사적 분석은 대학수학의 입문과정에서 형식적 정의와 증명 개념의 의미를 설명하는 데 유용하게 사용될 수 있으리라 기대된다.

• 한국수학사학회지
• /
• 제11권2호
• /
• pp.43-54
• /
• 1998

In this paper we analyze the variety of outlook on the mathematical education as in the history of modern mathematical education and suggest the direction of outlook on the mathematical education in the future.

• 한국수학사학회지
• /
• 제19권1호
• /
• pp.55-64
• /
• 2006

본 논문에서는 고대 Greece, 고대 Babylonia 등에서 시작한 수학의 발전 과정과 19세기 이후 집합론을 바탕으로 공리주의적 방법으로 현대수학이 발전하였음을 알아보고 특히 위상수학의 발전과정을 요약해 보았다.

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

본 논문은 한국 근대수학교육의 아버지 이상설(李相卨, 1870-1917)이 자연과학-물리학-에 기여한 내용을 다루고 있다. 이상설은 "수리(數理)"를 쓴 시기를 전후하여, 같은 시기에 붓으로 총 8면에 걸쳐 "백승호초(百勝胡艸)"라는 이름의 고전물리학 원고를 써서 남겼다. 분석결과 이 책의 원전은 1879년에 동경제대 의학부 교재로 발간된 "물리학(物理學)"이다. 이상설은 "백승호초"에서 먼저 개념을 정의하고, 일상에서 나타난 대표적 현상을 선록하여 한문으로 번역하였고, "물리학"의 전체 분량에서도 특히 '통유성(通有性)'에 중점을 두고 설명하였다. 동양에서 서양의 수리과학이 들어와야만 말할 수 있는 '질량보존의 법칙', '타성(惰性, 관성)'과 같은 고전물리학의 중요개념을 포함하는 내용이 19세기 말에 이미 이 책에 소개된 것으로 보아 이상설은 당대의 다른 저술에서 보기 힘들 정도로 당시 일반물리학의 최고수준의 원서를 통해 최신 정보를 수용하고 전파하기 위하여 노력하였음을 볼 수 있다.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제22권1호
• /
• pp.15-28
• /
• 2018

Recently Machine Learning algorithms are widely used to process Big Data in various applications and a lot of these applications are executed in run time. Therefore the speed of Machine Learning algorithms is a critical issue in these applications. However the most of modern iteration Machine Learning algorithms use a successive iteration technique well-known in Numerical Linear Algebra. But this technique has a very low convergence, needs a lot of iterations to get solution of considering problems and therefore a lot of time for processing even on modern multi-core computers and clusters. Tchebychev iteration technique is well-known in Numerical Linear Algebra as an attractive candidate to decrease the number of iterations in Machine Learning iteration algorithms and also to decrease the running time of these algorithms those is very important especially in run time applications. In this paper we consider the usage of Tchebychev iterations for acceleration of well-known K-Means and SVM (Support Vector Machine) clustering algorithms in Machine Leaning. Some examples of usage of our approach on modern multi-core computers under Apache Spark framework will be considered and discussed.