• 한국수학사학회지
• /
• 제11권2호
• /
• pp.17-28
• /
• 1998

The problem of mathematical rigor is that of giving an objective definition of a rigorous proof. But standards of rigor have changed in mathematics and the notion of proof is not absolute. There are different versions of proof or rigor, depending on time, place, and other things. In this paper we will briefly trace that evolution.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제61권1호
• /
• pp.47-62
• /
• 2022

본 연구는 18세기 후반 조선산학서의 기하 영역 중 평면도형 관련 내용들이 이전 시기와 비교하여 어떻게 차별화되어 다루어졌는지 살펴보고, 평면도형과 관련된 설명과 계산법의 변화, 문제해결과정에서 수학적 논리의 엄밀성, 새롭게 등장한 수학 주제에 초점을 맞추어 분석하였다. 이를 위해 본 연구에서는 18세기 후반에 저술된 서명응의 <고사십이집>과 황윤석의 <산학입문>, 홍대용의 <주해수용>을 주 분석문헌으로 선정하여 이전시기의 <묵사집산법>, <구일집>과 비교하였다. 분석 결과, 도형을 측정 대상으로서가 아니라 성질을 탐구하는 대상으로 설명하고, 서법(西法)을 별해로 추가 제시하거나 기존 풀이법을 대체한 사례가 확인되었다. 또한 일부 문제에서 수학적 근거를 토대로 계산법의 타당성을 기술하거나 도형그림을 삽입한 도해(圖解)를 통한 설명, 근삿값에 대한 명확한 인식과 보다 정밀한 근삿값 설명 등은 수학적 논리의 엄밀성을 추구한 대표적 사례였다. 오늘날의 삼각함수에 해당하는 팔선(八線)과 삼각형의 구성요소 사이의 관계를 일반 삼각형으로 확장한 사례는 18세기 후반에 새롭게 등장한 기하 영역 주제였다. 이상은 18세기 후반의 조선산학이 서양수학의 이론적이고 논증적인 전개 양식을 점진적으로 수용한 근거라고 할 수 있다.

• 대한수학교육학회지:학교수학
• /
• 제12권4호
• /
• pp.605-617
• /
• 2010

본 연구는 한국과 미국의 중등 수학 교과서에 사용된 비문자적 표상의 특성과 역할을 다양성, 상황성, 연결성이라는 분석틀을 활용하여 탐구하였다. 비문자적 표상이란, 문자들로만 혹은 상징들로만 표현되지 않는, 교과서에 포함된 시각적 표상들로, 사진이나 그림과 같은 회화적 표상과 그래프 혹은 수학적 도형과 같은 수학적 표상들을 포함하고 있다. 수학 교수 학습에서의 시각적 표상의 중요성에도 불구하고, 기존 연구는 교과서에서 사용되는 비문자적 표상의 특성과 역할의 교육적 의미를 간과해 왔다. 본 연구에서 현재 사용되고 있는 수학교과서 18종(미국 5종, 한국 13종)을 분석한 결과, 비문자적 표상은 각각의 사회 문화적 상황에서 어떤 수학에 중점을 두고 어떻게 가르칠 것인가 하는데 대한 인식을 반영하고 있었다. 예를 들면, 미국 교과서는 회화적 표상과 상황성을 지닌 비문자적 표상이 주류를 이루어 수학의 활용에 초점을 두었던데 반해, 한국 교과서는 수학적 연결성이 강하고 추상적인 비문자적 표상이 주류를 이루어 수학적 표현과 엄밀성에 중점을 두었다. 이러한 비문자적 표상의 특성의 차이는 수학학습의 목적과 방법론에 따른 각 사회문화적 차이를 반영할 뿐만 아니라 이에 따른 다른 "학습기회 (opportunities to learn)"를 제공함으로써 학생들의 수학 학습에 대한 인식에도 영향을 줄 수 있는 가능성을 보여준다. 따라서 본 연구는 학습기회로서 비문자적 표상을 재인식하여야 하며 더 나아가 이에 대한 지속적인 연구와 교육과정 개발에의 반영이 필요함을 시사하고 있다.

• 한국수학사학회지
• /
• 제18권3호
• /
• pp.67-78
• /
• 2005

17세기에 고안된 미적분학의 방법은 그 획기적인 창의성이나 유용성에도 불구하고 논리적 엄밀성에 있어 많은 논란이 되었다. 그 근본적인 이유는 무한(infinite)과 무한소(infinitely small)의 개념과 이들을 수학적으로 어떻게 다룰 것인지에 대한 견해가 정립되어있지 알았기 때문이라고 볼 수 있다. 본 논문에서는 라이프니츠의 무한과 무한소에 대한 개념을 갈릴레오의 무한개념과 대비하여 알아보고 라이프니츠가 무한소의 개념에 기초한 불가분량의 방법으로 보인 연속인 곡선의 적분가능과, 무한 무한소에 대한 연산규칙들을 수학사적인 관점에서 고찰해 보고자 한다.

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

급격하게 변하고 있는 이 사회에 맞춰 수학이 변하고 있다. 이에 따라 학교 수학에서의 증명지도가 변해야할 필요성이 있다. 본 연구에서는 기존의 증명 개념을 아우르는 보다 포괄적인 개념으로써 정당화를 소개하고 정당화 지도 방안을 제안한다. 또, 기존의 형식적이고 엄밀한 연역적 증명과 정당화가 어떻게 다른지 비교해 보고 실제 수업하는데 도움을 줄 수 있도록 활용 방안을 간단하게 제시하고자 한다.

• 대한수학회논문집
• /
• 제19권4호
• /
• pp.585-599
• /
• 2004

본 연구에서는 학교수학에서 증명지도의 문제점을 정당화의 측면에서 분석하고, 정당화의 한 방법으로서 확률론적 정당화를 제시하며, 학교수학에서 정당화 지도의 교육적 가치, 정당화 지도의 방향, 정당화 지도의 예와 지도 방법에 대해 논의한다. 이러한 논의에 근거하여 학교수학에서의 정당화 지도의 필요성 및 가능성에 관하여 살펴본다. 본 연구에서 '증명'은 고전적인 의미에서의 증명, 즉 엄밀한(rigorous) 증명, 수학적(mathematical) 증명이고, '정당화'는 기존의 수학적 증명 개념은 물론, 다양한 논증 기법을 포함하는 넓은 의미이다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제36권3호
• /
• pp.439-467
• /
• 2022

미래 사회에는 지식뿐만 아니라 창의성과 협동심, 융합적 사고 등을 포함하는 다양한 역량이 필요하다. 본 연구는 중요한 수학 교과 역량인 수학 문제해결력, 의사소통 능력 등의 함양을 기대하며 수학 정보과학 융합을 위한 프로그램을 개발하였다. 선행지식이 크게 요구되지 않고, 일상언어와 쉽게 접할 수 있는 도구만으로 동기유발이 가능하며 다자간 협력이 필수적인 창의적 문제해결 활동 기반 프로그램이다. 활동의 참가자 수가 증가함에 따라 수학의 유용성과 엄밀성을 경험할 수 있으며, 이론적 원리는 유한체 위에서의 행렬 이론을 바탕으로 한다. 또한 정보과학에서 주요 주제 중 하나인 오류정정코드와의 관련성을 강조할 수 있도록 구성하였다. 본 프로그램의 실세계 맥락이 수학적 의사소통 능력의 함양과 수학의 가치 경험 기회 제공에 도움이 되기를 바라고, 코딩을 수반하지 않는다는 점에서 교사들의 접근성이 높기를 기대한다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제28권4호
• /
• pp.513-528
• /
• 2014

본 연구에서는 대학원에 재학 중인 중 고등학교 수학 교사 36명을 대상으로 증명 및 증명 지도에 대한 인식을 조사하였다. 본 연구의 결과, 대부분의 교사들이 증명의 정당화 역할은 잘 인식하지만, 설명(확인), 이해, 발견, 의사소통, 체계화, 수학적 표현의 사용 등으로서의 역할은 미흡하게 인식하며, 많은 교사들이 증명의 조건에 대해 혼란스러운 개념을 가지고 있는 것으로 나타났다. 증명 지도의 이유에 대해서는 논리적 사고력 함양, 수학적 사고력 신장, 명제의 이해, 참인 명제의 확인, 수학의 본질 이해, 수학 지식 증가, 수학적 표현 증진, 수학의 즐거움 경험, 의사소통, 엄밀성 추구, 연계성 추구 등의 다양한 의견을 제시하였다. 증명 지도의 수행과 관련하여, 상당수의 교사들이 실제 증명 지도가 미흡하게 이루어지고 있다고 응답했으며, 학생들의 두려움과 흥미 부족, 증명 지도 시간 부족, 학생 사고수준 미흡, 지도 방식 미흡 등을 증명 지도의 제약 조건으로 언급하였다. 한편, 본 연구에서는 '증명'이라는 수학적 용어가 누락된 2009 개정 수학과 교육과정의 성취기준을 살펴보았다. '${\cdots}$를 이해하고 설명할 수 있다'는 성취기준은 증명 교수-학습과 관련하여 적절하지 않으며, 특히 논리적 추론이나 정당화 과정을 증명과 동일시하는 미흡한 개념을 가지고 있는 교사들에게 더욱 큰 혼란을 줄 위험이 있음을 확인하였다.

• 대한수학교육학회지:학교수학
• /
• 제14권3호
• /
• pp.395-408
• /
• 2012

본 연구는 방법적 조사 연구로서 최근 10년간 한국연구재단 등재 학술지에 발표된 초 중등 수학과 교육과정을 다룬 연구물 124편을 분석함으로써 연구 설계 및 방법의 최근 동향을 파악하고 이를 통해 향후 연구에 대한 시사점을 얻고자 시행되었다. 연구 결과, 최근 들어 데이터를 기반으로 하는 과학적 실증적 연구들이 꾸준히 이루어지고는 있으나 과학적 연구 방법을 사용하기보다는 기존 자료를 재정리하거나 객관적 근거 없이 자신의 의견을 피력하는 연구물들이 다수를 차지하고 있었다. 또한, 연구 문제, 이론적 배경, 자료 수집, 자료 분석, 결론이라는 구성 요소별로 분석하였을 때도 이들 요소간의 유기적 관계를 통한 연구 설계의 엄밀성, 일관성, 객관성을 확보하지 못하고 있는 경우도 다수 발견되었다. 따라서, 본 연구에서는 수학과 교육과정을 다루는 연구에서 연구 윤리 및 연구 방법에 대한 재인식이 필요함과 더불어 개선 방안 마련이 시급함을 제안하였다.

• 대한수학교육학회지:수학교육학연구
• /
• 제24권4호
• /
• pp.595-605
• /
• 2014

소수점 아래 0에서 9까지의 임의의 숫자가 무한히 나열되는 무한소수는 '소수점 아래끝자리까지의 모든 숫자를 명확하게 알 수 없는 모호한 수'라는 불투명성을 가지고 있다. 이 논문에서는 이와 같은 불투명성을 야기하는 무한소수 기호로부터 어떻게 연속적인 수를 창조할 수 있었는지를 분석하였다. 무한소수 기호의 완비성 공리에 대한 투명성에 의존하여, 실수 개념이 엄밀하게 형식화되기 이전에도 수학자들은 실수 개념을 다룰 수 있었다. 이 논문의 수학적 역사적 분석은 무한소수에 의존하여 실수 개념을 전개하는 학교수학의 접근과, 완비순서체로서의 실수의 형식적 정의를 다루는 대학수학의 접근 사이에서 야기될 수 있는 이중단절의 문제를 극복하는 데 도움이 될 수 있을 것이다.