1+1=2를 증명한 사람은 누구입니까?

1+1=2 증명한 사람: 러셀과 화이트헤드의 10년 기록

수학의 기초를 세우기 위해 1+1=2 증명한 사람들이 겪은 험난한 집필 과정을 확인하십시오. 이들은 기호와 논리의 늪에서 오랜 기간 사투를 벌였고 출판 과정에서도 많은 고난을 겪었습니다. 수학사에서 중요한 의미를 지닌 이 저서의 탄생 비화와 당시 출판 현실을 자세히 살펴보시기 바랍니다.

1+1=2를 증명한 철학자들

1+1=2를 논리적으로 가장 완벽하고 유명하게 증명한 사람은 영국의 철학자이자 수학자인 버트런드 러셀 수학 원리와 알프레드 노스 화이트헤드입니다. 이들은 1910년에 출간한 기념비적인 저서 수학 원리(Principia Mathematica)에서 무려 300페이지가 넘는 논증을 거쳐 이 당연해 보이는 사실을 증명해 냈습니다.

당연한 것을 왜 300페이지나 증명했을까?

솔직히 말해서, 처음 이 사실을 알았을 때 저는 그저 학자들의 지적 허영심이라고 생각했습니다. 누구나 아는 사실을 300페이지나 써서 증명하다니, 엄청난 시간 낭비가 아닌가 싶었죠. 하지만 수학의 역사를 깊이 공부하면서 제 생각이 완전히 틀렸음을 깨달았습니다.

이 300페이지짜리 증명에는 단순히 수학의 기초를 세우는 것 외에도 대부분의 사람들이 놓치는 또 다른 놀라운 의미가 하나 숨겨져 있습니다 - 이 비밀에 대해서는 마지막 부분의 현실 세계 적용 파트에서 자세히 설명하겠습니다.

19세기 말부터 20세기 초, 수학계는 근본적인 위기를 맞이하고 있었습니다. 직관적으로 당연하다고 믿었던 여러 수학적 사실들에서 예기치 못한 모순이 발견되기 시작했기 때문입니다.

러셀의 역설과 수학의 위기

당시 수학자들은 집합론을 통해 수학의 기초를 단단히 세우려 했습니다. 겉보기엔 완벽해 보였습니다. 그런데 러셀 자신이 하나의 치명적인 모순을 발견하게 됩니다. 자기 자신을 포함하지 않는 집합들의 집합이라는 개념에서 논리적 오류가 발생한 것입니다. 수학의 위기였습니다.

건물의 기초 공사가 잘못되었다면, 그 위에 지어진 아무리 화려한 건물도 언제 무너질지 모릅니다. 러셀과 화이트헤드는 이 위기를 극복하기 위해 모든 수학적 사실을 가장 기초적인 논리학부터 다시 쌓아 올려야 한다고 생각했습니다. 바로 이것이 핵심입니다.

수학 원리 집필의 고단한 여정

러셀과 화이트헤드는 기호 논리학을 사용해 수학을 완전히 밑바닥부터 다시 세우기로 결심합니다. 말은 쉽지만 엄청난 고통과 인내가 따르는 작업이었습니다.

이 방대한 수학 원리를 집필하는 데 무려 10년이라는 긴 세월이 걸렸습니다.^[1] 매일같이 기호와 논리의 늪에서 헤엄치는 일은 두 천재의 멘탈마저 서서히 갉아먹었습니다. 결국 완성을 해냈지만, 출판 과정 역시 결코 순탄치 않았습니다.

이 책의 초판은 - 믿기 어렵겠지만 - 당시 학계의 무관심 속에서 750부 정도 인쇄되었습니다.^[2] 출판을 담당한 캠브리지 대학 출판부조차 심각한 금전적 손해를 예상했을 정도로 난해하고 방대한 책이었습니다. 실제로 출판 비용이 부족해 저자인 두 사람이 각자 50파운드씩 사비를 털어 보태야만 세상에 나올 수 있었습니다.

페아노 공리계와 수의 정의

가장 먼저 해야 할 일은 1이 무엇인지, 그리고 덧셈이 무엇인지 엄밀하게 정의하는 것이었습니다. 이들은 페아노 공리계 1+1과 집합론을 토대로 숫자 1을 논리 기호로 완전히 새롭게 정의했습니다.

자연수의 정의에 따르면 1은 어떤 원소가 유일하게 존재하는 집합입니다. 기호로는 S(0)이라고 씁니다. 0에서 하나 나아간 수라는 뜻입니다. 덧셈 역시 우리가 흔히 아는 직관적인 합치기가 아니라 재귀적인 방식을 통해 아주 엄밀한 규칙으로 세웠습니다. 쉽지 않은 과정이었습니다.

이 거대한 증명이 현실 세계에서 갖는 의미

보통 사람들은 수학이 그저 복잡한 숫자를 칠판에 적어가며 계산하는 학문이라고 생각합니다. 하지만 제 경험상 진정한 수학, 특히 현대 기술의 뼈대가 되는 수학은 계산이 아니라 논리의 구조를 치밀하게 짜는 일입니다. 숫자는 거들 뿐입니다.

앞서 제가 이 300페이지짜리 증명에 숨겨진 또 다른 놀라운 의미가 있다고 말씀드렸죠? 그 비밀은 바로 러셀과 화이트헤드가 고안한 엄밀한 기호 논리학이 오늘날 우리가 매일 의존하는 컴퓨터와 소프트웨어 프로그래밍 언어의 직접적인 토대가 되었다는 점입니다.

실제로 현대 소프트웨어 결함의 상당 부분은 단순한 코드 오타가 아닌 근본적인 논리 설계 오류에서 비롯됩니다.^[4] 러셀이 수학의 뼈대를 논리적으로 튼튼하게 세우려 했던 집요한 노력은, 오늘날 자율주행 자동차나 금융 결제 시스템처럼 절대 오류가 나서는 안 되는 프로그램을 설계하려는 개발자들의 논리 검증 작업과 정확히 맞닿아 있습니다.

기초가 흔들리면 모든 것이 무너집니다. 1+1=2 증명 이유를 300페이지에 걸쳐 증명해 낸 이들의 헌신은 단순한 헛수고가 아니라, 절대 무너지지 않는 지식의 탑을 쌓기 위한 인간 지성의 위대한 투쟁이었습니다.

일상적인 산수와 논리주의 수학의 차이

우리가 마트에서 물건을 살 때 쓰는 일상적인 산수와 러셀이 수학 원리에서 증명한 논리주의 수학은 같은 1+1=2를 다루더라도 완전히 다른 목적을 가집니다.

일상적인 산수

• 빠르고 정확하게 실생활의 계산 문제를 해결하는 것

• 사과 한 개와 사과 한 개를 합치면 두 개가 된다는 식의 경험적 직관

• 숫자의 의미를 직관적으로 이미 알고 있다고 가정하고 시작함

• 단 한 줄의 수식으로 끝남

⭐ 러셀의 논리주의 수학

• 수학이라는 학문 자체가 모순이 없는 완벽한 체계인지 검증하는 것

• 페아노 공리계와 집합론을 바탕으로 모든 단계를 기호 논리학으로 전개

• 숫자 1조차 무엇인지 모른다는 가정하에 가장 기초적인 논리 기호로 정의함

• 기초를 다지는 데만 책의 300페이지 이상이 소모됨

논리 회로 설계 과제에서 기초의 중요성을 깨달은 민수

서울의 한 대학교 컴퓨터공학과 2학년인 김민수는 첫 마이크로프로세서 논리 회로 설계 과제에서 큰 좌절을 겪었습니다. 그는 직관적으로 작동할 것이라 생각하고 복잡한 코드를 바로 작성했지만, 테스트 결과물은 알 수 없는 에러를 계속해서 뿜어냈습니다.

어디가 틀렸는지 찾기 위해 3일 밤을 새우며 코드를 수정했습니다. 하지만 한 곳을 고치면 다른 곳에서 새로운 버그가 튀어나왔습니다. 직관과 감에만 의존해서 코드를 임기응변으로 쌓아 올린 것이 화근이었습니다. 눈은 뻑뻑해지고 머리는 멈췄으며, 과제를 포기하고 싶었습니다.

그때 민수는 수업 시간에 들었던, 러셀이 1+1=2를 증명하기 위해 가장 기초적인 공리부터 세웠다는 일화를 떠올렸습니다. 그는 꼬여버린 코드를 전부 지웠습니다. 그리고 입력값이 0일 때와 1일 때의 가장 기본적인 조건부터 종이에 논리 기호로 하나씩 명확하게 적어 내려가기 시작했습니다.

기초 공리부터 논리를 완벽하게 증명하며 다시 코딩한 결과, 불과 1주일 만에 단 하나의 예외 에러도 없는 완벽한 회로를 설계할 수 있었습니다. 민수는 당장의 코딩 속도보다 논리의 뼈대를 단단하게 세우는 것이 결국 전체 개발 시간을 40퍼센트 이상 단축해 준다는 사실을 뼈저리게 배웠습니다.