• Journal for History of Mathematics
• /
• v.21 no.1
• /
• pp.17-28
• /
• 2008

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.

• Korean Journal of Logic
• /
• v.1
• /
• pp.95-115
• /
• 1997

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.167-201
• /
• 2010

This paper aims to scrutinize the possibility of mereology as philosophically satisfiable metalogic. Motivation for this is straightforward. As I see, a traditional approach to metalogic presented in the name of mathematical logic posits the existence of mathematical entities such as sets, functions, models, etc. to give definitions of logical concepts like logical consequence. As a result, whenever logic is used in any individual sciences, this set-theoretical metalogic cannot but add these mathematical entities to the domain of them. This fact makes this approach contradict to the ontological conservativeness of logic. Mereology, however, has been alleged to be ontologically innocent, while it is a formal system very similar to set theory. So it may well be that some people thought of mereology as a good substitute for set theoretic metalanguage and concepts for ontologically neutral metalogic. Unfortunately, when we look into argument for the ontological innocence of mereology, we can find that mereological entities such as mereological sums or fusions are not ontologically neutral. Thus we can conclude that mereological approach to metalogic is not promising at all.

• Journal for History of Mathematics
• /
• v.20 no.3
• /
• pp.105-126
• /
• 2007

The present paper considers how to teach mathematical concepts. In particular, we aim to a balanced, unified achievement for three elements of concept loaming such as concept understanding, computation and application through one's mathematical intuition. In order to do this, we classify concepts into three patterns, that is, intuitive concepts, logical concepts and formal concepts. Such classification is based on three kinds of philosophy of mathematics : intuitionism, logicism, fomalism. We provide a concrete, practical investigation with important nine concepts in theory of vectors from the viewpoint of three patterns of concepts. As a consequence, we suggest certain solutions for an effective concept learning in teaching theory of vectors.

• Magazine of the Korea Concrete Institute
• /
• v.5 no.1
• /
• pp.157-164
• /
• 1993

콘크리트내의 물의 흐름의 양과 방향을 결정하는 수리에너지의 분포는 그양의 변화에 따라 콘크리트의 수축과 팽창을 지배하는 응력의 일종이다. 따라서 이 수리에너지와 건조수축 변형율 사이에는 직접적인 연관관계가 있다. 본 논문에서는 건조수축과 수리에너지 사이의 이론적인 관계를 논리적으로 유도하여 두 개의 변수사이의 상관관계를 밝히는 이론식을 유도하였다. 본 논문에서는 세 개의 건조수축 작동구조(메카니즘)중 평상적인 상대습도하에서, 즉 50%이상에서, 작용하는 작동구조만을 고려하였다. 열전 쌍 싸이크로미터를 콘크리트 슬라브에 매설하여 수리에너지를 측정하고 동시에 건조수축량을 측정하여 두 측정값사이의 상관관계를 밝힘으로서 유도된 이론을 증명하고자 하였다. 측정결과는 본 이론의 타당성을 증명하는 동시에 본 이론이 실제 구조물의 건조수축량의 측정에 이용될수 있는 방법도 동시에 보여 주었다.

• Journal of the Korean Data and Information Science Society
• /
• v.7 no.2
• /
• pp.283-287
• /
• 1996

본 연구는 중풍에서의 한의학의 풍부한 임상자료들에 대한 객관적이고도 논리적인 자료처리방법 및 변증으로부터 증형을 추론할 수 있는 통계적 방법을 연구하고자 한다. 중풍 전문의에 의해 수집된 65명의 환자들의 임상자료로부터 다변량 자료 분석의 하나인 판별분석을 이용하여 증후로부터 증형을 판단할 수 있는 수리적 판별모형을 구축하였다. 구축된 모형은 중풍 전문가 시스템을 개발하기 위한 기초가 될 것이다.

• The Mathematical Education
• /
• v.42 no.5
• /
• pp.595-606
• /
• 2003

In this paper we analyze the Russian national curriculum for training of mathematics teachers at universities published by Russian Ministry of Education. From the document we are able to know the structure of the curriculum, compulsory subjects, and minimum mathematical contents for training mathematics teachers at universities.

• School Mathematics
• /
• v.18 no.3
• /
• pp.503-526
• /
• 2016

The study aimed at determining the identity of mathematics essay test in the university entrance examination. For this purpose, a document research was conducted for higher order thinking and mathematics essay ability and it analyzed the goal of assessment and the tendency of problem settings and looked into mathematics essay problems of twenty-five universities. As a result, the study found out that evaluation factors of mathematics essay test requires higher order thinking ability including mathematical knowledge and essay ability such as mathematical knowledge, understanding, problem solving, logical and critical thinking, creative ability, power of expression, argument skills. Also, problems from previous mathematics essay tests were set mainly to assess mathematical knowledge, understanding and problem solving. Based on the findings, the past mathematics essay tests in university entrance examination in Korea that require logical and critical thinking, creative ability, power of expression, argument skills were a rather small percentage of questions.

• Communications of Mathematical Education
• /
• v.15
• /
• pp.1-7
• /
• 2003

수학사 및 수리철학에 관한 연구는 교사양성 대학에서 더욱 강조되어야 할 부분임에도 불구하고 그에 관한 연구가 미진하다. 자연대의 수학과는 수학 그 자체가 중요하겠지만, 교사양성 대학에서는 수학 내용자체 뿐만 아니라, 수학의 역사적인 측면과 수학에 관한 인식론적인 측면이 함께 요구되어 진다. 절대적인 것으로 인식되어 온 수학에 대한 잘못된 선입견은 수학교육에도 심각한 악영향을 끼칠 수 있다. 그러나 괴델의 불완전성 정리 등으로 인해 수학에서의 논리체계는 더 이상 절대적이지 않다는 것을 알 수 있다. 본 연구에서는 숱한 오류들의 극복을 통해 발전해 온 수학사적인 측면과 그로 인하여 수학에 관한 인식론적 변화를 수학에서의 큰 사건들을 중심으로 살펴보고자 한다. 구체적으로 유클리드 기하에서 비유클리드 기하의 발견, 칸토어의 무한한 역설의 발생, 역설을 극복하기 위한 수학기토론의 탄생, 괴델의 불완전성 정리로 이어지는 과정들을 살펴보고, 그로 인해 도출되어지는 수학교육적 시사점을 논의해 보며, 이르르 바탕으로 교사양성 대학에서의 수학사 및 수리철학 강좌의 운영 방안을 제시한다.

• Communications of Mathematical Education
• /
• v.15
• /
• pp.23-28
• /
• 2003

실수계와 n-차원 벡터 공간을 대수적 특성, 순서적 특성 그리고 위상적 특성을 중심으로 전개하고, 실변수 실가 함수와 n-차원 벡터 공간을 정의역으로 하는 실가함수를 연속성 (미분가능성), 단조성 그리고 볼록성을 중심으로 내용을 다룬다. 특히 실생활과 관련하여 이론을 전개하여 학습을 지도할 수 있는 교육과정을 개발하고, 직관적인 사고와 수리 논리적인 사고의 적절한 배합을 통해 학습자들이 적극적으로 학습에 임할 수 있는 교수 학습 방법을 개발하는 것을 목적으로 한다.