• Journal for History of Mathematics
• /
• v.18 no.1
• /
• pp.67-74
• /
• 2005

The purpose of this paper is to analysis with contents on thoughts and problems of philosophy of mathematics concerning around harmonical types of metaphysics and philosophy of mathematics. Moreover, we were gratefully acknowledged that the questions at issue of metaphysics and philosophy of mathematics are possible only in a philosophical position of mathematics in relation to nature of mathematical ion. These attitudes, important as they are in the study of an individual thinker, also have a pronounced effect on the future relation of mathematics to philosophy. And we can guess that many mathematician's research will have significant meaning in the future.

• Journal for History of Mathematics
• /
• v.17 no.3
• /
• pp.23-32
• /
• 2004

In this paper, Ive investigated algebraic concepts which are contained in Euclid's Elements. In the Books II, V, and VII∼X of Elements, there are concepts of quadratic equation, ratio, irrational numbers, and so on. We also analyzed them for mathematical meaning with modem symbols and terms. From this, we can find the essence of the genesis of algebra, and the implications for students' mathematization through the experience of the situation where mathematics was made at first.

• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.133-152
• /
• 2004

In this paper, we discuss students' conceptual development of eigen value and eigen vector in differential equation course based on reformed differential equation using the mathematical model of mass spring according to historico-generic principle. Moreover, in setting of small group interactive learning, we investigate the students' development of mathematical attitude.

• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.27-36
• /
• 2004

This paper addresses G$\ddot{o}$del's critique of Turing's mechanism that a configuration of the Turing machine corresponds to each state of human mind. The first part gives a quick overview of Turing's analysis of cognition as computation and its variants. In the following part, we describe the concept of Turing machines, and the third part explains the computational limitations of Turing machines as a cognitive system. The fourth part demonstrates that Godel did not agree with Turing's argument, sometimes referred to as mechanism. Finally, we discuss an oracle Turing machine and its implications.

• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.87-100
• /
• 2004

There is great enthusiasm among many mathematics educators to seek to understand how mathematical history can be employed to emphasize the usefulness of mathematics and to make it even more useful. This study focused on reviewing the history of mathematics to provide a 'source of insight.' In this study, the reasons for including the history of mathematics in the mathematics curriculum were divided into three domains: cognitive, affective, and sociocultural. Each domain included the followings: mathematical thinking and understanding; development of a positive attitude and increase motivation; and last, humanistic facets and sociocultural experience. At the same time, we need to develope a pedagogical approach that allows educators to use history properly. Furthermore, we must integrate the historical topics into regular curricula including the syllabus historically-informed grounds.

• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.123-132
• /
• 2004

In this paper, we reviewed the history of mathematical problem solving since 1900 and investigated problem solving in modeling perspective which is focused on the 21th century. In modeling perspective, problem solvers solve the realistic problem which includes contextualized situations in which mathematics is useful. In this case, the problem is different from the traditional problems which are routine, close, and words problem, etc. Problem solving in modeling perspective emphasizes mathematizing. Most of all, what is important enables students to use mathematics in everyday problem solving situation.

• Journal for History of Mathematics
• /
• v.17 no.4
• /
• pp.45-64
• /
• 2004

The lambda calculus is a mathematical formalism in which functions can be formed, combined and used for computation that is defined as rewriting rules. With the development of the computer science, many programming languages have been based on the lambda calculus (LISP, CAML, MIRANDA) which provides simple and clear views of computation. Furthermore, thanks to the "Curry-Howard correspondence", it is possible to establish correspondence between proofs and computer programming. The purpose of this article is to make available, for didactic purposes, a subject matter that is not well-known to the general public. The impact of the lambda calculus in logic and computer science still remains as an area of further investigation.stigation.

• Journal for History of Mathematics
• /
• v.18 no.1
• /
• pp.11-32
• /
• 2005

This paper is a comprehensive study of mathematics education in the Chosun Dynasty. The basis of this work relies on actual historical records from the period. As shown in the records, mathematics education during the Chosun Dynasty remained at the level of basic arithmetics. The arithmeticians of the Chosun Dynasty did not have an understanding of more complex mathematical thought. But the simple arithmetics of the Chosun Dynasty facilitated the building up of a unique merchant 'middle class.' So this paper examines the development of mathematics in the Chosun Dynasty through middle class. Although the Chosun Dynasty arithmetics occupy a significant part of mathematics history, this paper details why their thought did not evaluate more advanced mathematical theories.

• Communications of Mathematical Education
• /
• v.23 no.3
• /
• pp.683-705
• /
• 2009

In this study we classify and analyze 265 papers which had been published in the Journal Series A in Korean Society of Mathematics Education from year 2000 to year 2008. We have also studied all the papers in the Journal Series A in Korean Society of Mathematics Education last 46 years based on Professor Lee, Gang-sup's paper 'A Classification and Analysis of the Articles in -From issue 1 to issue 99-'.

• Journal for History of Mathematics
• /
• v.18 no.1
• /
• pp.33-48
• /
• 2005

The Rule of False Position is known as an arithmetical solution of algebraical equations. On the other hand, the Excess-Deficit Rule is an algorithm for calculating about excessive or deficient quantitative relations, which is found in the ancient eastern mathematical books, including the nine chapters on the mathematical arts. It is usually said that the origin of the Rule of False Position is the Excess-Deficit Rule in ancient Chinese mathematics. In relation to these facts, we pose two questions: - As many authors explain, the excess-deficit rule is a solution of simultaneous linear equations？ - Which relation is there between the two rules explicitly？ To answer these Questions, we consider the Rule of Single/Double False Position and research the Excess-Deficit Rule in some ancient mathematical books of Chosun Dynasty that was heavily affected by Chinese mathematics. And we pursue their historical traces in Egypt, Arab and Europe. As a result, we can make sure of the status of the Excess-Deficit Rule differing from the Rectangular Arrays(the solution of simultaneous linear equations) and identify the relation of the two rules: the application of the Excess-Deficit Rule including supposition in ancient Chinese mathematics corresponds to the Rule of Double False Position in western mathematics. In addition, we try to appreciate didactical value of the Rule of False Position which is apt to be considered as a historical by-product.