• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.37-58
• /
• 2011

The development of recent Mathematical Logic is mostly originated in Hilbert's Proof Theory. The purpose of the plan so called Hilbert's Program lies in the formalization of mathematics by formal axiomatic method, rescuing classical mathematics by means of verifying completeness and consistency of the formal system and solidifying the foundations of mathematics. In 1931, the completeness encounters crisis by the existence of undecidable proposition through the 1st Theorem of G?del, and the establishment of consistency faces a risk of invalidation by the 2nd Theorem. However, relative of partial realization of Hilbert's Program still exists as a fruitful research program. We have tried to bring into relief through Curry-Howard Correspondence the fact that Hilbert's program serves as source of power for the growth of mathematical constructivism today. That proof in natural deduction is in truth equivalent to computer program has allowed the formalization of mathematics to be seen in new light. In other words, Hilbert's program conforms best to the concept of algorithm, the central idea in computer science.

• Proceedings of the Korea Database Society Conference
• /
• 1994.09a
• /
• pp.235-253
• /
• 1994

기존의 데이타 모델 및 설계 방법론들은 실세계의 데이타 객체에 대해 고정된 한 측면의 모델 표현만을 허용하기 때문에 여러 측면으로 관측이 가능한 실세계 객체들의 표현에 어려움을 갖는다. 본 논문에서는 객체의 측면 개념을 제공하는 객체 중심 측면 모델(OOAM : Object-Oriented EA Model)의 기본 개념을 보여주고 OOAM에 의해 구축되는 데이타베이스 스키마의 시맨틱을 분석하고 서술하기 위해 OOAM을 형식적으로 정의하였다. 먼저 데이타베이스 설계 과정에서 필요한 공리들을 설정하고 OOAM을 intension과 extension으로 각각 정의한 후 그들 사이의 관계를 정의하였다.

• Journal of Elementary Mathematics Education in Korea
• /
• v.18 no.1
• /
• pp.63-81
• /
• 2014

Korean students have shown high achievements on the cognitive domain of mathematics in a range of international assessment tests. On the affective domain, however, significantly low achievements have been reported. Among the factors in the affective domain, this article discusses on the value of mathematics in the perspective of Michael Polanyi's philosophy, which centers personal knowledge and tacit knowing. Polanyi emphasizes abstractness and generalization in mathematics accompanied by intellectual beauty and passion. In his perspective, therefore, utilitarian aspects and usefulness of mathematics imparted through linguistic representations have limits in motivating students to learn mathematics. Students must be motivated from recognition of the value of mathematics formed through participating authentic mathematical problem solving activity with immersion, tension, confusion, passion, joy and the like.

• Communications of Mathematical Education
• /
• v.12
• /
• pp.67-82
• /
• 2001

발생적 원리는 수학을 공리적으로 전개된 완성된 것으로 가르치는 형식주의의 결함을 극복하기 위하여 제기되어온 교수학적 원리로, 수학을 발생된 것으로 파악하고 그 발생을 학습과정에서 재성취하게 하려는 것이다. 특히, 수학을 지도함에 있어서 역사적으로 발생, 발달한 순서를 지켜 지도해야 한다는 것이 역사-발생적 원리로, 수학이 역사적으로 발생, 발달 되어온 역동적인 과정을 학생들이 재경험해 보게 하기 위해서는 이러한 일련의 과정을 효과적으로 설명할 수 있는 교수-학습 방법이 필요하다. 변증법적인 방법론은 헤겔에 의해서 꽃을 피운 철학으로, 정일반일합(正一反一合)의 원리에 따라 사물의 발생과 진화 과정을 역동적으로 설명할 수 있는 방법론이다. 따라서, 본 연구는 초등학교에서 역사-발생적 원리에 따라 수학을 지도할 수 있는 방법으로 변증법적인 방법을 고찰하여, 역사-발생적 원리의 수학 교수-학습 방법에 대한 시사점을 얻고자 한다.

• Journal of the Daesoon Academy of Sciences
• /
• v.50
• /
• pp.99-137
• /
• 2024

This study explores the meaning of mutual life-giving within the concept of Non-self-deception (無自欺) in Daesoon Thought by comparing it with Kant's deontological ethics, Mill's utilitarianism, and Bergson's ethics. Kantian ethics defines moral actions through the categorical imperative, emphasizing the principle of acting according to universal laws. In contrast, Mill's utilitarianism views actions that produce good results as morally good, aiming for happiness and pleasure. Non-self-deception in Daesoon Thought is defined as "abandoning selfish desires and regaining one's conscience," fundamentally based on not engaging in falsehoods. Regarding self-deception, Kant and Mill's systems of ethical thought offer different solutions. Kant argues that self-deception cannot be made a universal law according to the categorical imperative, while Mill allows for self-deception, such as lying, if it promotes overall utility. While Non-self-deception is closer to Kantian ethics in principle, it emphasizes not only ethical forms like the categorical imperative but also ethical content such as human relations and mutual beneficence. Furthermore, non-self-deception complements the potential weaknesses of Kantian ethics, which may lean towards intellectualism or formalism, by considering that in certain situations, expedient measures or silence can be regarded as moral emotional actions embodying mutual beneficence. Moreover, this open characteristic of mutual life-giving ethics aligns with Bergson's concept of "open morality," which sublimates instinct and intellect into emotions of love like philanthropy. In this context, the practical ethics of non-self-deception can be understood as the foundation of a new moral principle embodying inclusive ideals such as the 'harmonious virtue of yin and yang' and the 'resolution of grievances for mutual life-giving.'

• School Mathematics
• /
• v.15 no.2
• /
• pp.481-501
• /
• 2013

The purpose of this study is to review the role of dragging in dynamic geometry environments. Dragging is a kind of dynamic representations that dynamically change geometric figures and enable to search invariances of figures and relationships among them. In this study dragging in dynamic geometry environments is divided by three perspectives: dynamic representations, instrumented actions, and affordance. Following this review, six conclusions are suggested for future research and for teaching and learning geometry in school geometry as well: students' epistemological change of basic geometry concepts by dragging, the possibilities to converting paper-and-pencil geometry into experimental mathematics, the role of dragging between conjecturing and proving, geometry learning process according to the instrumental genesis perspective, patterns of communication or discourse generated by dragging, and the role of measuring function as an affordance of DGS.