http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
박창균,Park, Chang Kyun 한국수학사학회 2014 Journal for history of mathematics Vol.27 No.1
This paper aims to evaluate works of Frege and G$\ddot{o}$del, who play the trigger role in development of logic, by Knowledge Change Model. It identifies where their positions are in the model respectively. For this purpose I suggest types of knowledge change and their criteria for the evaluation. Knowledge change are classified into five types according to the degree of its change: improvement, weak glorious revolution, glorious revolution, strong glorious revolution, and total revolution. Criteria to evaluate the change are its contents, influence, pervasive effects, and so forth. The Knowledge Change Model consists of the types and the criteria. I argue that in the model Frege belongs to the total revolution and G$\ddot{o}$del to the weak glorious revolution. If we accept that the revolution in logic initiated by Frege was completed by G$\ddot{o}$del, it is a natural conclusion.
박창균,Park, Chang-Kyun 한국수학사학회 2005 Journal for history of mathematics Vol.18 No.4
본 논문은 수학에서 수학사와 수학철학이 가지는 기능과 역할을 소개하려는데 있다. 역사적인 예들을 통하여 수학사와 수학철학은 수학을 이해하고 평가하는 기능과 실제로 수학을 형성하는 역할을 함을 보인다
튜링의 업적이 지닌 철학적 함의 -'멈춤정리'를 중심으로-
박창균,Park, Chang-Kyun 한국수학사학회 2012 Journal for history of mathematics Vol.25 No.3
This paper aims to examine Alan Turing's life at the centenary of his birth and to discuss a philosophical implication of his work by concentrating on halting theorem particularly. Turing negatively solved Hilbert's decision problem by proving impossibility of solving halting problem. In this paper I claim that the impossibility implies limits of reason, and accordingly that the marginality in cognition and/or in action should be recognized.
수학에서 '모더니즘'의 전개와 이에 대한 성찰 -18세기를 중심으로-
박창균,Park Chang Kyun 한국수학사학회 2004 Journal for history of mathematics Vol.17 No.4
This paper claims that an essential characteristic of modernism is mathematization, and introduces how mathematization was deployed in the eighteenth century. It also points out problems caused by mathematization.
박창균,Park Chang-Kyun 한국수학사학회 2006 Journal for history of mathematics Vol.19 No.2
This paper aims to introduce $G\ddot{o}del's$ life and thought, and insists that implication of the incompleteness theorem is saving blank space. The space has epistemological and ethical meaning, and I argue that the implication supports philosophy of blank space.
박창균,Park, Chang-Kyun 한국수학사학회 2008 Journal for history of mathematics Vol.21 No.1
This Paper introduces a historical background of mathematical logic. Logic and mathematics were not developed dependently until the mid of the nineteenth century, when two streams of logic and mathematics came to form a river so that brought forth synergy effects. Since the mid-nineteenth century mathematization of logic were proceeded while attempts to reduce mathematics to logic were made. Against this background $G{\ddot{o}}del's$ proof shows the limitation of formalism by proving that there are true arithmetical propositions that are not provable.
박창균,Park, Chang-Kyun 한국수학사학회 2010 Journal for history of mathematics Vol.23 No.1
This paper aims to show the role of mathematics in the age of disciplinary convergence. Classifying disciplinary convergence into three levels by its degree, I claim that mathematics can contribute to disciplinary convergence in three aspects: theoretical, linguistical, and spiritual. Then I assert that there is a corresponding relationship between three levels of convergence and three contributing aspects.
박창균,Park, Chang Kyun 한국수학사학회 2014 Journal for history of mathematics Vol.27 No.2
This paper aims to compare and contrast Kierkegaard and Turing, whose birth dates were one hundred years apart, analyzing them from the perspective of the limit. The model of analysis is two concentric circles and movement in them and on the boundary of outer circle. In the model, Kierkegaard's existential stages have 1:1 correspondences: aesthetic stage, ethical stage, religious stage A and religious stage B correspond to inside of the inner circle, outside of the inner circle, the boundary of the outer circle and the outside of the outer circle, respectively. This paper claims that Turing belongs to inside of the outer circle and moves to the center while Kierkegaard belongs to outside of the outer circle and moves to the infinity. Both of them have movement of potential infinity but their directions are opposite.
박창균,Park, Chang-Kyun 한국수학사학회 2011 Journal for history of mathematics Vol.24 No.4
In this paper I claim that Lobachevsky's philosophy of mathematics is a kind of reservoir of contemporary philosophy of mathematics. I discuss how his philosophy contributed to the rise of non-Euclidean geometry.
박창균,Park, Chang-Kyun 한국수학사학회 2007 Journal for history of mathematics Vol.20 No.2
This Paper aims to introduce Euler's life, works and thoughts, to show that it is his Christian worldview that enables his achievements. His life teaches us the lesson that examining philosophical base and historical background is crucial to understand mathematics or mathematicians, and that it is necessary to overcome given conditions and environments rather than expect better environments to reach meaningful achievements.