• 한국수학사학회지
• /
• 제24권3호
• /
• pp.59-76
• /
• 2011

NBG의 공리들을 충족시키는 모델로서의 집합 V 를 도입하고 그것의 요소들을 sets라 부르고 그것의 부분집합들을 classes라 부른다. 일반연속체가설 (GCH) 와 선택공리 (AC) 가 ZF 집합론과 무모순이라는 것에 대한 괴델의 증명을 그 이후 나온 Mostowski-Shepherdson mapping 정리, Tarski-Vaught 정리 및 Montague-Levy 정리의 반사원리들, NBG가 ZF의 보존적 확장이라는 정리 등을 이용하여 재구성해 본다.

• 한국수학사학회지
• /
• 제30권2호
• /
• pp.71-86
• /
• 2017

When looking for solutions of Jisuguimundo with magic number 88~92 and 94~98, alternating method is applied to each possible partitions of each magic number. But this method does not apply in case of finding solutions of Jisuguimundo with magic number 87, 93, and 99. In this study, it is shown that solutions of Jisuguimundo with magic number 87, 93, and 99 can be found by applying alternating method to two partitions. These two partitions are derived partitions obtained by each partitions of magic number 87, 93, and 99. If every number from 1 to 30 which satisfy every unit path of Jisuguimundo can be found in all components of these two derived partitions, that arrangement is just a solution of Jisuguimundo. The method suggested in this study is more developed one than the method which is applied to just one partition.

• 한국수학사학회지
• /
• 제16권2호
• /
• pp.55-70
• /
• 2003

This study investigated tile intuitive level of justification in geometry, as the former step to the aximatization, with concrete examples. First, we analyze limitations that the axiomatic method has in tile context of discovery and the educational situation. This limitations can be supplemented by the proper use of the intuitive method. Then, using the histo-genetic analysis, this study shows the process of the development of geometrical thought consists of experimental, intuitive, and axiomatic steps. The intuitive method of proof which is free from the rigorous axiom has an advantage that can include the context of discovery. Finally, this paper presents the issue of intuitive proving that the three angles of an arbitrary triangle amount to 180$^{\circ}$, as an example of the local systematization.

• 한국수학사학회지
• /
• 제27권2호
• /
• pp.111-125
• /
• 2014

Jisuguimundo is an inimitable magic hexagon devised by Choi Seok-Jeong, who was the author of GuSuRyak as well as a prime minister in Joseon dynasty. Jisuguimundo, recorded in GuSuRyak, is also known as Hexagonal Tortoise Problem (HTP) because its nine hexagons resemble a tortoise shell. We call the sum of numbers in a hexagon in Jisuguimundo a magic sum, and show that the magic sum of hexagonal tortoise problem of order 2 varies 40 through 62 exactly and that of hexagonal tortoise problem of order 3 varies 77 through 109 exactly. We also find all of the possible solutions for hexagonal tortoise problem of oder 2.

• 한국수학사학회지
• /
• 제27권1호
• /
• pp.81-93
• /
• 2014

The $L^1$-convergence of Fourier series problems through additional assumptions for Fourier coefficients were presented by W. H. Young in 1913. We say that they are the classical results. Using modified trigonometric series is the convenience method to study the $L^1$-convergence of Fourier series problems. they are called the neoclassical results. This study concerns with the $L^1$-convergence of Fourier series. We introduce the classical and neoclassical results of $L^1$-convergence sequentially. In particular, we investigate $L^1$-convergence results focused on the results of Bhatia's studies. In conclusion, we present the research minor lineage of Bhatia's studies and compare the classes of $L^1$-convergence mutually.

• 한국수학사학회지
• /
• 제27권6호
• /
• pp.395-402
• /
• 2014

When the circle inscribed in a square is projected to a picture plane, one sees, in general, an ellipse in a convex quadrilateral. This ellipse is poorly described in the works of Alberti and Durer. There are one parameter family of ellipses inscribed in a convex quadrilateral. Among them only one ellipse is the perspective image of the circle inscribed in the square. We call this ellipse "the projected ellipse." One can easily find the four tangential points of the projected ellipse and the quadrilateral. Then we show how to find the center of the projected ellipse. Finally, we describe a pair of conjugate vectors for the projected ellipse, which finishes the construction of the desired ellipse. Using this algorithm, one can draw the perspective image of the squared-circle tiling.

• 한국수학사학회지
• /
• 제31권3호
• /
• pp.151-166
• /
• 2018

The rule of the game of Chomp is simple and the existence of a winning strategy can easily be proved. However, the existence tells us nothing about what strategies are winning in reality. Like in Chess or Baduk, many researchers studied the winning moves using computer programs, but no general patterns for the winning actions have not been found. In the paper, we aim to construct practical winning strategies based on backward induction. To do this we develop how to analyze Chomp and prove and find the winning strategies of the simple games of Chomp.

• 한국수학사학회지
• /
• 제21권1호
• /
• pp.139-156
• /
• 2008

본고에서는 무리수 개념 발생을 대수적인 측면과 기하적인 측면에서 고찰하고, 제7차 교육과정과 교과서에서 무리수를 어떻게 다루고 있는지를 살펴본다. 그 결과로 무리수 개념 발생의 본질적 요소인 통약불가능성이 드러나지 않고 있음은 물론, 유리수 개념과의 내적 연결성도 미약함을 알 수 있었다. 따라서 유리수의 본질적 개념과 연결 지어 중학교 단계에서 작도 등을 활용하여 무리수의 본질적인 개념을 관계적으로 이해시킬 수 있는 지도 방안을 제안한다.

• 한국수학사학회지
• /
• 제22권2호
• /
• pp.99-116
• /
• 2009

본 연구에서는 18세기 출판된 '자와 컴퍼스의 방법'에 제시된 정다각형의 작도방법들 중에서 오류를 포함하는 작도를 분석하였다. 정7각형과 정9각형은 자와 컴퍼스를 이용하여 작도불가능 하다는 것이 알려져 있지만, '자와 컴퍼스의 방법'에서는 이들 정다각형을 작도하는 두 가지 방법이 제시되어 있다. 본 연구에서는 이들 작도가 오류를 포함하고 있음을 보였고, 이에 관련된 몇몇 정다각형 작도 방법도 오류를 포함하고 있음을 보였다. 이를 통해 정다각형 작도문제의 해결을 위한 노력에서 성공적이지 못한 시도에 관련된 새로운 자료를 제공할 것으로 기대된다.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제4권1호
• /
• pp.71-76
• /
• 1997

A new proof of the well-known identity involved in the Beta function B(p, q) is given by using the theory of hypergeometric series and a brief history of Gamma function is also provided. The method here is shown to be able to apply to evaluate some definite integrals.