수학의 토대 논쟁 — 형식주의, 직관주의, 플라톤주의

세 학파

수학의 본성에 관한 질문은 수학 자체만큼 오래됐다. 20세기 초 세 개의 학파가 서로 양립 불가능한 답을 제시했다.

형식주의 — 다비트 힐베르트

힐베르트의 입장: 수학적 대상이 “실재하는가”라는 질문은 무의미하다. 수학은 공리로부터 규칙에 따라 기호를 조작하는 형식 게임이다.

$$\text{수학} = \langle \Sigma, \mathcal{A}, \vdash \rangle$$

기호 집합 $\Sigma$, 공리 $\mathcal{A}$, 증명 관계 $\vdash$만 있으면 된다. 의미는 나중에 해석을 통해 부여된다.

힐베르트 프로그램의 목표: 이 체계가 완전하고 무모순임을 유한한 방법으로 증명하라.

1931년 괴델이 이것이 불가능함을 증명했다. 이전 글 참조.

직관주의 — L.E.J. 브라우어르

브라우어르는 수학이 언어나 기호 이전에 존재하는 순수한 정신적 구성이라고 주장했다.

핵심 함의: 수학적 대상은 구성될 수 있을 때만 존재한다.

이것은 배중률(Law of Excluded Middle)을 거부한다:

$$P \vee \neg P \quad \text{(고전 논리: 항상 참)}$$

직관주의에서 이 법칙은 무조건 성립하지 않는다. “$P$이거나 $P$가 아니다”가 참이 되려면, $P$를 증명하거나 $P$의 부정을 증명할 구성적 방법이 있어야 한다.

[이 글은 작성 중입니다. 플라톤주의 섹션과 배중률 논쟁이 추가될 예정입니다.]