개요
수리철학에서 구성주의(構成主義, constructivism)는 수학적 대상의 존재를 증명하기 위해서는 그 대상을 직접 구성하거나 찾아내야 한다는 입장이다. 즉, 어떤 대상이 존재하지 않음을 가정한 뒤 모순을 이끌어내는 방식(비존재의 불가능성 증명)만으로는 그 대상의 존재가 증명되지 않는다고 본다. 이러한 요구를 충족하는 증명을 구성적 증명이라 하며, 구성주의는 수학 전체를 이러한 구성적 방법으로 전개하려는 프로그램을 가리키기도 한다.
논리적 특징
구성주의의 핵심적 특징은 고전 논리의 일부 원리가 일반적으로 타당하지 않다고 보는 데 있다.
- 배중률(排中律, LEM): "모든 명제 P에 대해 P이거나 ¬P이다"라는 원리. 구성주의는 이를 무제한적으로 받아들이지 않는다.
- 이중부정 제거: 구성주의에서는 ¬¬P로부터 P를 도출할 수 없다. 모순을 가정해 모순을 이끌어내면 얻을 수 있는 것은 ¬¬P까지이며, 여기서 P를 결론짓는 마지막 단계는 비구성적이다. 다만 ¬P를 증명할 때 P를 가정하여 모순을 이끌어내는 것은 구성적으로 정당하다.
- 존재 양화사: ∃x P(x)의 증명은 대상 x를 실제로 구성하고 P(x)를 증명하는 알고리즘을 제시하는 것을 뜻한다.
이와 같은 연결사·양화사의 해석을 BHK 해석(Brouwer–Heyting–Kolmogorov)이라 하며, 흔히 "구성주의 수학은 단순히 귀류법을 쓰지 않는 수학"이라고 오해되지만 이는 정확하지 않다.
주요 분파
구성주의는 단일한 이론이 아니라 여러 갈래로 이루어져 있다.
- 직관주의 수학(INT): L. E. J. 브라우어가 1900년대 초에 제창한 입장으로, 수학은 인간 정신의 자유로운 창조이며 대상은 정신적으로 구성될 수 있을 때에만 존재한다고 본다. 자유선택열, 연속선택 원리, 팬 정리(fan theorem) 등 고전 수학과 양립하지 않는 원리를 도입한다. 아렌트 하이팅이 1930년에 직관주의 논리의 형식적 공리계를 제시하였다.
- 재귀적 구성 수학(RUSS): A. A. 마르코프가 1940년대 후반부터 전개한 입장으로, 본질적으로 직관주의 논리를 사용하는 재귀함수 이론이다.
- 비숍의 구성 수학(BISH): 어렛 비숍이 1967년 저서 Foundations of Constructive Analysis에서 제시하였다. 브라우어의 비고전적 원리나 재귀함수 이론의 장치에 의존하지 않고도 해석학의 상당 부분(스톤–바이어스트라스 정리, 한–바나흐 정리, 힐베르트 공간의 스펙트럼 정리 등)을 구성적으로 전개할 수 있음을 보였다. BISH는 직관주의 수학, 재귀적 구성 수학, 고전 수학 등 여러 모형에서 해석될 수 있다.
- 마르틴뢰프의 구성적 유형론(ML): 페르 마르틴뢰프가 1968년 이후 발전시킨 직관주의 유형론에 기반하며, 명제를 "그 명제의 증명들의 유형"으로 보는 명제–증명 대응을 특징으로 한다. 증명으로부터 컴퓨터 프로그램을 추출하는 데 유리하여 Coq, Agda 등의 구현과 연결된다.
직관주의와의 관계
직관주의와 구성주의를 동일시하는 경우가 있으나, 직관주의는 구성주의의 한 부분(한 갈래)일 뿐이다. 직관주의는 수학의 기초를 수학자의 직관에 두고 수학이 근본적으로 주관적 행위라고 주장하는 반면, 일반적인 구성주의는 그러한 형이상학적 주장을 반드시 포함하지 않으며 수학에 대한 객관적 시각과도 양립할 수 있다. 브라우어 등이 대상을 정신적 창조물로 보는 존재론적 구성주의와, 직관주의 논리의 사용을 방법론적 특징으로 보는 인식론적 구성주의(리치먼 등)를 구분하기도 한다.
비구성적 원리와 결과
구성주의와 관련하여 자주 논의되는 원리로는 다음이 있다.
- 배중률(LEM), 전지 원리(LPO), 제한적 전지 원리(LLPO), 마르코프 원리(MP) 등.
- 브라우어 반례(Brouwerian counterexample): 어떤 고전적 정리를 구성적으로 증명하면 골드바흐 추측이나 리만 가설 같은 미해결 문제를 해결할 수 있게 됨을 보이는 논증.
- 디아코네스쿠–굿맨–마이힐 정리: 선택공리가 배중률을 함의한다.
- 고전 정리의 구성적 재정식화: 예컨대 중간값 정리, 최소상계 원리 등은 고전적으로 동등하지만 구성적으로는 서로 다른 여러 버전으로 나뉘며, 일부는 비구성적 원리와 동등하다.
명칭과 용례상의 주의
"구성주의"는 라틴어 construere(쌓다, 짓다)에 어원을 두며, 한국어 표기는 構成(구성)과 主義(주의)의 결합이다.
한편 한국어에서 "구성주의"는 수리철학의 개념 외에도 수학교육학·인지심리학·학습이론에서 지식이 학습자에 의해 능동적으로 구성된다는 (Piaget, von Glasersfeld 등에 연원을 두는) 구성주의를 가리키는 데 널리 쓰인다. 이 교육학적 구성주의는 수리철학의 구성주의와 명칭은 같으나 논의의 맥락과 주장 내용이 구별되는 별개의 개념이므로, 문헌에서 "구성주의"라는 용어를 접할 때에는 어느 의미로 사용되는지 확인할 필요가 있다.
참고 문헌
- 위키백과(한국어), "구성주의 (수학)".
- Stanford Encyclopedia of Philosophy, "Constructive Mathematics" (D. Bridges, E. Palmgren; 1997, 2022년 개정).
- Errett Bishop, Foundations of Constructive Analysis, McGraw-Hill, 1967.
- D. Bridges, F. Richman, Varieties of Constructive Mathematics, Cambridge University Press, 1987.
- 오채환·강옥기·이상욱, "배중률을 둘러싼 구성주의의 두 입장 비교", 한국수학사학회지 24(4), 2011.
(위 내용은 공신력 있는 백과사전 및 학술 문헌에서 확인된 범위이며, 확인되지 않은 사항은 서술하지 않았다.)
