Go to the main menu
Skip to content
Go to bottom
REFERENCE LINKING PLATFORM OF KOREA S&T JOURNALS
> Journal Vol & Issue
Journal for History of Mathematics
Journal Basic Information
Journal DOI :
The Korean Society for History of Mathematics
Editor in Chief :
Volume & Issues
Volume 23, Issue 4 - Nov 2010
Volume 23, Issue 3 - Aug 2010
Volume 23, Issue 2 - May 2010
Volume 23, Issue 1 - Feb 2010
Selecting the target year
Chosun Mathematician Hong Jung Ha's Genealogy
Kim, Chang-Il ; Hong, Sung-Sa ; Hong, Young-Hee ;
Journal for History of Mathematics, volume 23, issue 3, 2010, Pages 1~20
Hong Jung Ha(洪正夏, 1684~?) is the greatest mathematician in Chosun dynasty and wrote a mathematics book Gu Il Jib(九一集) which excels in the area of theory of equations including Gou Gu Shu. The purpose of this paper is to find his influence on the history of Chosun mathematics. He belongs to ChungIn(中人) class and works only in HoJo(戶曹) and hence his contact to other mathematicians is limited. Investigating his colleagues and kinship relations including the affinity and consanguinity, we conclude that he gave a great influence to those people and find that three great ChungIn mathematicans Gyung Sun Jing(慶善徵, 1684~?), Hong Jung Ha and Lee Sang Hyuk(李尙爀, 1810~?) are all related through marriage.
Orthogonal Latin squares of Choi Seok-Jeong
Kim, Sung-Sook ; Khang, Mee-Kyung ;
Journal for History of Mathematics, volume 23, issue 3, 2010, Pages 21~31
A latin square of order n is an
array with entries from a set of n numbers arrange in such a way that each number occurs exactly once in each row and exactly once in each column. Two latin squares of the same order are orthogonal latin square if the two latin squares are superimposed, then the
cells contain each pair consisting of a number from the first square and a number from the second. In Europe, Orthogonal Latin squares are the mathematical concepts attributed to Euler. However, an Euler square of order nine was already in existence prior to Euler in Korea. It appeared in the monograph Koo-Soo-Ryak written by Choi Seok-Jeong(1646-1715). He construct a magic square by using two orthogonal latin squares for the first time in the world. In this paper, we explain Choi' s orthogonal latin squares and the history of the Orthogonal Latin squares.
Logic of Ancient Mathematics of East Asia : Epistemology by Xun zi, Logic by Mozi
Koh, Young-Mee ; Ree, Sang-Wook ;
Journal for History of Mathematics, volume 23, issue 3, 2010, Pages 33~44
We investigate what kind of logic is used in the ancient East Asian mathematics from their philosophical viewpoints. Such viewpoints are the logic by Mozi and the epistemology by Xun zi. We conclude that the logic residng in the ancient East Asian mathematics is surely existent and that the logic is the mathematics itself.
Sequent Calculus and Cut-Elimination
Cheong, Kye-Seop ;
Journal for History of Mathematics, volume 23, issue 3, 2010, Pages 45~56
Sequent Calculus is a symmetrical version of the Natural Deduction which Gentzen restructured in 1934, where he presents 'Hauptsatz'. In this thesis, we will examine why the Cut-Elimination Theorem has such an important status in Proof Theory despite of the efficiency of the Cut Rule. Subsequently, the dynamic side of Curry-Howard correspondence which interprets the system of Natural Deduction as 'Simply typed
-calculus', so to speak the correspondence of Cut-Elimination and
-calculus, will also be studied. The importance of this correspondence lies in matching the world of program and the world of mathematical proof. Also it guarantees the accuracy of program.
History of Transcendental numbers and Open Problems
Park, Choon-Sung ; Ahn, Soo-Yeop ;
Journal for History of Mathematics, volume 23, issue 3, 2010, Pages 57~73
Transcendental numbers are important in the history of mathematics because their study provided that circle squaring, one of the geometric problems of antiquity that had baffled mathematicians for more than 2000 years was insoluble. Liouville established in 1844 that transcendental numbers exist. In 1874, Cantor published his first proof of the existence of transcendentals in article . Louville's theorem basically can be used to prove the existence of Transcendental number as well as produce a class of transcendental numbers. The number e was proved to be transcendental by Hermite in 1873, and
by Lindemann in 1882. In 1934, Gelfond published a complete solution to the entire seventh problem of Hilbert. Within six weeks, Schneider found another independent solution. In 1966, A. Baker established the generalization of the Gelfond-Schneider theorem. He proved that any non-vanishing linear combination of logarithms of algebraic numbers with algebraic coefficients is transcendental. This study aims to examine the concept and development of transcendental numbers and to present students with its open problems promoting a research on it any further.
Phenomenology of the concept of functions
Yoo, Yoon-Jae ;
Journal for History of Mathematics, volume 23, issue 3, 2010, Pages 75~90
In this paper function concept is classified in the phenomenological aspect. According to the study, function concept is classified as causality, designation, operation, change, figure, morhism, variables, functional, and operator. This classifications are categorized as pre-level function, basic level function, and upper level function.
The Study for the Various Methods for the Volume of Frustum of Pyramid
Yoon, Dae-Won ; Kim, Dong-Keun ;
Journal for History of Mathematics, volume 23, issue 3, 2010, Pages 91~106
This is the study for various methods for getting the volume of frustum of pyramid. This study will first deal with how the formula of getting the volume of frustum of pyramid has been changed in the history of Mathematics. Secondly, based on the study of 'Prasolov' this study will deal with the calculation method for the volume of frustum of pyramid which was written in the 14th question of 'Moscow Papyrus' and search for the rules of solution for frustum of pyramid in the middle school textbooks. Finally, this study will consider various solutions for the volume of frustum of pyramid and its generalization.
Historical reflections on the expectation
Lee, Jong-Hak ;
Journal for History of Mathematics, volume 23, issue 3, 2010, Pages 107~119
In this paper we study the expectation from the past which would be based in the initial Probability Theory. These study can show the value of expectation in the initial concept of Probability and illuminate the concept being taught.
The Mean Formula of Implicate Quantity
Kim, Myung-Woon ;
Journal for History of Mathematics, volume 23, issue 3, 2010, Pages 121~140
This study presents one universal mean formula of implicate quantity for speed, temperature, consistency, density, unit cost, and the national income per person in order to avoid the inconvenience of applying different formulas for each one of them. This work is done by using the principle of lever and was led to the formula of two implicate quantity,
, and to help the understanding of relationships in this formula. The value of ratio of fraction cannot be added but it shows that it can be calculated depending on the size of the ratio. It is intended to solve multiple additions with one formula which is the expansion of the mean formula of implicate quantity.
. For this reason, this mean formula will be able to help in physics as well as many other different fields in solving complication of structures.
Note on mathematical communication and the Analysis of communication-corner in 'high school Mathematics' textbook
Kim, Hyang-Sook ; Lee, Sung-Ae ;
Journal for History of Mathematics, volume 23, issue 3, 2010, Pages 141~168
Mathematical communication is necessary to exchange mathematical idea among participants in teaching-learning process. The promotion of mathematical communication competence is clearly stated in many parts of the 2007 revised curriculum. As a result, mathematical communication tasks are contained in 'high school Mathematics' textbook. At this point of time when increasing importance of mathematical communication is realized, we will check over mathematical communication and analyze communicative tasks corner in 'high school Mathematics' textbook in this paper And thereby we hope this study help prepare for practical communicative tasks corner suggesting a way for invigoration of mathematical communication.