• 한국수학사학회지
• /
• 제21권1호
• /
• pp.17-28
• /
• 2008

이 글의 목적은 수리논리학의 역사적 배경을 소개하려는 것이다. 각각 발전해온 수학과 논리학이 19세기 중엽에 하나로 합쳐지면서 엄청난 시너지 효과를 가져왔다. 그 후 논리학의 '수학화'는 탄력을 받아 진행되었고, 다른 한편으로는 수학도 논리로 환원시키려는 움직임이 일어났다. 이러한 흐름 속에서 괴델은 산수를 포함하는 무모순인 형식체계는 불완전하다는 것을 증명함으로써 형식주의의 한계를 보여주었다.

• 논리연구
• /
• 제1권
• /
• pp.95-115
• /
• 1997

• 논리연구
• /
• 제13권2호
• /
• pp.167-201
• /
• 2010

본 논문의 목적은 철학적으로 만족스러운 메타논리학으로서 부분전체론의 가능성을 살펴보는 것이다. 그 이유는 명백하다. 소위 수리 논리학으로 알려진 메타논리학에 대한 전통적인 접근은 집합들, 함수들, 모형들과 같은 수학적 존재자들의 존재를 미리 상정하고 있다. 이는 우리가 논리학을 개별 과학 분야에 적용할 때마다, 이러한 집합론적 메타논리학이 이들 분야의 논의영역에 언제나 이들 특수한 존재자들을 부가한다는 것을 의미한다. 이러한 사실은 집합론적 메타논리학이 논리학의 존재론적 보수성과 상충한다는 것을 보여준다. 반면에 집합론과 유사한 형식 체계인 부분전체론은 존재론적으로 무고하다고 주장되어 왔다. 따라서 우리가 논리학의 존재론적 보수성을 보장할 수 있는 중립적인 메타논리학으로 이 부분전체론을 고려하는 것은 상당히 자연스러운 일일 것이다. 하지만 부분전체론의 존재론적 무고함을 주장하는 논변들을 살펴보면, 우리는 부분전체론적 합 혹은 융합체와 같은 부분전체론적 존재자들이 존재론적으로 중립적인, 무고한 존재자가 아니라는 것을 알게 된다. 결국 우리는 부분전체론을 통한 메타논리학 역시도 논리학의 기초로서 올바른 접근이 될 수 없다고 결론 내리게 된다.

• 한국수학사학회지
• /
• 제20권3호
• /
• pp.105-126
• /
• 2007

본 논문에서는 수학적 개념을 어떻게 가르쳐야 할 것인가를 고려한다. 특히 개념학습에 있어서 수학적 직관에 의해 개념이해, 계산기능, 응용의 3가지 요소를 균형적이고 통합적으로 달성하는 것을 목표로 삼는다. 이를 치한 방안으로 수학적 개념을 3종류의 수리철학인 직관주의, 논리주의, 형식주의에 의거하여 직관적 개념, 논리적 개념, 형식적 개념의 3가지 유형으로 분류한다. 또한 벡터이론의 중요한 9가지 개념을 통하여 유형의 차이에 대해 실제적인 고찰을 한다. 이로부터 벡터이론의 효과적인 개념학습을 위해서 요구되는 학습의 순서와 강조점을 제안한다.

• 콘크리트학회지
• /
• 제5권1호
• /
• pp.157-164
• /
• 1993

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

• Journal of the Korean Data and Information Science Society
• /
• 제7권2호
• /
• pp.283-287
• /
• 1996

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

• 한국수학교육학회지시리즈A:수학교육
• /
• 제42권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.

• 대한수학교육학회지:학교수학
• /
• 제18권3호
• /
• pp.503-526
• /
• 2016

본 연구의 목적은 대입 수리논술고사의 평가요소를 통하여 수리논술고사에 대한 정체성을 규명하고 실제 수리논술고사가 어떻게 출제되고 있는지 살펴보는 것이다. 수리논술고사에 관한 이해를 얻기 위해 2016학년도에 수리논술고사를 실시한 우리나라 25개 대학교 홈페이지에 있는 논술자료집에서 수리논술고사의 평가목표 및 출제방향을 분석하여 수리논술고사의 평가요소를 추출하고, 2015학년도 기출문제를 분석하여 실제 수리논술고사가 어떻게 출제되고 있는지 살펴보았다. 수리논술고사의 평가목표 및 출제방향에 나타난 평가요소는 수학적 지식, 이해력, 논리 비판적 사고력, 문제해결력, 창의력, 표현력, 논증력으로 수리논술고사의 정체성은 이런 능력, 즉 수학적 지식을 포함하는 고차원적인 사고능력과 논술능력을 평가하기 위한 시험이라고 할 수 있다. 또한, 수리논술고사 평가요소에 따라 수리논술 평가기준을 정하고 수리논술고사 기출문제를 분석하였다. 이를 통해 수리논술고사는 평가요소 중 수학적 지식, 이해력, 문제해결력을 요구하는 문제 위주로 출제되고 있음을 알 수 있었다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제15권
• /
• pp.1-7
• /
• 2003

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

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제15권
• /
• pp.23-28
• /
• 2003

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