1+1=2라는 명제는 너무나 당연하게 받아들여지지만, 그 증명 과정은 수학의 근본 원리를 탐구하는 흥미로운 여정입니다. 이 글에서는 1+1=2가 어떻게 증명되는지, 그 수학적 원리와 함께 관련 역사적 배경까지 심도 있게 다루어 보겠습니다.
페아노 공리계를 통한 증명
1+1=2를 증명하는 가장 대표적인 방법은 이탈리아 수학자 주세페 페아노가 정립한 페아노 공리계를 이용하는 것입니다. 페아노 공리계는 자연수를 정의하는 다섯 가지 공리로 이루어져 있습니다.
- 0은 자연수이다.
- 모든 자연수 n에는 그 다음 수(successor) S(n)이 존재하며, S(n) 역시 자연수이다.
- 0은 어떤 자연수의 다음 수도 아니다.
- 서로 다른 자연수는 서로 다른 다음 수를 가진다.
- (수학적 귀납법의 원리) 만약 어떤 성질이 0에 대해 성립하고, 임의의 자연수 k에 대해 그 성질이 성립하면 k의 다음 수 S(k)에 대해서도 성립하면, 그 성질은 모든 자연수에 대해 성립한다.
이 공리계를 바탕으로 덧셈 연산을 정의하고 1과 2를 정의하면 1+1=2를 증명할 수 있습니다. 여기서 '1'은 0의 다음 수 S(0)으로 정의하고, '2'는 1의 다음 수 S(1) 즉, S(S(0))으로 정의합니다. 덧셈 연산은 다음과 같이 귀납적으로 정의됩니다.
- n + 0 = n
- n + S(m) = S(n + m)
이제 이 정의를 사용하여 1+1을 계산해 보겠습니다.
1 + 1 = 1 + S(0) (정의에 의해 1 = S(0)) = S(1 + 0) (덧셈의 두 번째 정의에 의해) = S(1) (덧셈의 첫 번째 정의에 의해) = 2 (정의에 의해 S(1) = 2)
따라서 페아노 공리계와 덧셈의 정의에 따라 1+1=2가 증명됩니다.
논리학적 접근: 러셀과 화이트헤드의 '수학 원리'
버트런드 러셀과 알프레드 노스 화이트헤드는 그들의 방대한 저서 '수학 원리(Principia Mathematica)'에서 1+1=2를 증명하기 위해 약 360페이지에 달하는 논증을 펼쳤습니다. 이는 수학의 기초를 논리학으로 재구성하려는 시도였습니다. 그들은 집합론의 개념을 사용하여 '1'이라는 숫자를 '하나의 원소를 가진 집합'으로 정의했습니다. 예를 들어, {a}와 같은 집합은 원소가 하나이므로 '1'을 나타냅니다. '덧셈'은 두 집합의 합집합을 만드는 연산으로 정의됩니다.
두 개의 서로소인 집합 A와 B가 있다고 가정해 봅시다. 집합 A의 원소 개수가 1이고, 집합 B의 원소 개수가 1이라면, A ∪ B (A와 B의 합집합)의 원소 개수는 1+1이 됩니다. 만약 A = {a}이고 B = {b}이며, a ≠ b라면, A ∪ B = {a, b}가 됩니다. 이 합집합의 원소 개수는 2개이므로, 1+1=2가 논리적으로 성립함을 보입니다. 이 증명은 수학적 정의와 논리적 추론의 엄밀함을 보여주는 극적인 예시입니다.
1+1=2, 왜 굳이 증명해야 할까?
일상생활에서 1+1=2는 너무나 당연한 사실처럼 여겨집니다. 하지만 수학자들에게 이러한 '당연한' 명제를 증명하는 것은 수학의 견고한 기초를 다지고, 논리적 오류를 방지하며, 더 복잡한 수학적 개념을 발전시키기 위한 필수적인 과정입니다. 이는 마치 튼튼한 건물을 짓기 위해 기초 공사를 철저히 하는 것과 같습니다. 페아노 공리계나 '수학 원리'와 같은 증명들은 수학적 사고의 엄밀함과 추상적인 개념을 다루는 능력을 보여줍니다.
결론적으로, 1+1=2라는 단순해 보이는 명제 안에는 수학의 근본 원리와 논리학의 정교함이 담겨 있습니다. 이러한 증명 과정을 이해하는 것은 수학의 아름다움을 더욱 깊이 느끼게 해줄 것입니다.