1+1=2 증명 화이트헤드 & 러셀, 수학 원리(Principia Mathematica)
화이트헤드(Whitehead)와 러셀(Russell)
1+1=2 증명 화이트헤드 & 러셀, 수학 원리(Principia Mathematica)
------------------------------
#1. 1+1=2 증명 화이트헤드 & 러셀, 수학 원리(Principia Mathematica)
1+1=2 증명(덧셈의 정의, 교환법칙의 증명)
※ Whitehead and Russell spend 300 pages proving 1+1=2 (but were both sane)/ 화이트헤드(Whitehead)와 러셀(Russell)이 1+1=2를 증명 하는데 300 페이지가 소요되었다.
※ The first volume of Whitehead and Russell’s nearly-2000-page monumental work
Principia Mathematica was published in 1910/ 화이트헤드(Whitehead)와 러셀(Russell)의
수학 원리(Principia Mathematica) 처음 판본은 약 2,000 페이지의 기념비적 작품으로 1910 년에
출판되었다.
화이트헤드(Whitehead)와 러셀(Russell)이 그들의 대작 수학 원리(Principia Mathematica)에서
"1+1=2"라는 당연하기 짝이 없는 사실을 굳이 증명하려 한 것은, 수학이라는 학문의 논리적인 기초를 확립하려는 시도에서 나온 것이었다. 그들이 보이고자 한 것은, 적절한 공리계가 주어지면 그로부터 우리가 알고 있던 모든 수학 지식이 다 논리적으로 유도될 수 있다는 일반적인 원리(principle)였다. 그리고 그 가운데 대표적인 것이 바로 "1+1=2"였던 것이다.
따라서, 이러한 맥락을 외면하고 그저 "1+1=2의 놀라운(?) 증명법"만을 기대하는 것은
러셀(Russell)의 의도를 전혀 잘못 이해한 것이 아닐 수 없다.
➪ 다 읽어낸 사람이 러셀, 화이트헤드, 그리고 [불완전성 정리]를 증명해낸 괴델밖에 없다는 그 전설의 책.
이런 맥락 아래 "1+1=2"를 증명하여 보자. 이 증명은 기발하기는 커녕 대단히 형식적이고 무미건조해서 지루하기까지 하다.
우선 이것을 증명하기 위해서는 그 출발점이 되는 공리 체계가 필요하다. "Principia Mathematica"에서 사용한 공리는 자연수에 대한 공리 체계인 "페아노 공리계(Peano Axioms)"이다.
이것은 이탈리아 수학자 주제페 페아노(Giuseppe Peano)가 만든 것으로, 다음의 다섯 가지 공리로 이루어져 있다. 말하자면, 이 공리계는 "자연수란 무엇인가"에 대한 답이라고 할 수 있다.
PA1: 1은 자연수이다.
PA2: 모든 자연수 n은 그 다음 수 n'을 갖는다.
PA3: 1은 어떤 자연수의 그 다음 수도 아니다. 즉, 모든 자연수 n에 대해 1≠n'이다.
PA4: 두 자연수의 그 다음 수들이 같다면, 원래의 두 수는 같다. 즉, a'=b'이면 a=b이다.
PA5: 어떤 자연수들의 집합이 1을 포함하고, 그 집합의 모든 원소에 대해 그 다음 수를 포함하면, 그 집합은 자연수 전체의 집합이다.
공리가 "증명하지 않고 옳다고 인정하는 명제"인 것처럼 용어들 가운데도 "정의하지 않고 사용하는 용어"가 필요한데, 이것들을 "무정의 용어"라고 하며, 이 공리계에서는 "1", "그 다음 수"가 무정의 용어로 쓰인다.
우리가 알고 있는 것은 이 공리들과 몇 개의 무정의 용어들 뿐이므로, "1+1=2"를 증명하려면 무엇보다 먼저 "+"와 "2"가 정의되어야 한다.
일단 "2"를 정의하는 것은 간단하다. 2:=1', 즉 1의 그 다음 수로 정의하면 되니까. 여기서 기호 :=는 좌변이 우변과 같이 정의된다는 뜻으로 사용된다. 하는 김에 더 해 보면, 3:=2', 4:=3', 이런 식으로 모든 자연수에 이름을 붙일 수 있다.
다음으로 "+", 즉 "덧셈"을 정의하자. 덧셈을 정의하는 방법은 어렸을 때 손가락 셈하던 것을 흉내내면 된다.
예를 들어, "5+3=8"을 아이들이 계산하는 방법은 우선 손가락 다섯 개를 꼽고, 그 다음 손가락을 꼽는 과정을 세 번 반복하면 된다.
따라서, 두 자연수 a와 b에 대해 두 수의 덧셈 a+b는 우선 a를 놓고, 그 다음 수를 찾는 과정을 b번 반복한 것으로 정의한다. 이것을 기호로 나타내면,
a+b : a → a' → (a')' → ((a')')' → ... → (...((a')')'...)'
이 된다.
그런데 이런 식으로 "b번 반복한다"는 것은 페아노 공리계에 없는 용어이므로, 이 과정 자체를 공리계에 맞는 용어들로 번역하여야 한다.
그러기 위해서는, "그 다음 수를 찾는 과정을 b-1 번 반복한 결과"의 그 다음 수를 찾는 것으로 하여
a+b := (a+(b-1))'
라는 재귀적 표현을 이용하면 되는데, 여기서 문제는 "b-1"이라는 뺄셈이다. 덧셈도 정의되지 않았는데 뺄셈이라니!
따라서, 뺄셈 대신 c'=b인 c를 사용하면 되는데, PA3에 의해 c'=1인 c는 존재하지 않으므로 이 경우는 따로
a+1 := a'
으로 정의하고, b가 1이 아닌 경우는 PA2에 의해 c'=b인 c가 존재하고 PA4에 의해 이러한 c가 유일하므로,
a+b = a+c' := (a+c)' 으로 정의한다.
이 정의를 이용하여 우리는 덧셈을 자유롭게 할 수 있다. 앞서 들었던 예인 "5+3=8"의 경우, 3=2'이므로
5+3 = 5+2' = (5+2)'
이고, 2=1'이므로
5+2 = 5+1' = (5+1)'
이며, 정의에 의해 5+1=5'=6이므로 결국
5+3 = ((5')')' = (6')' = 7' = 8 이 된다.
사실 우리가 원하는 "1+1=2"의 증명은 훨씬 쉽다. 정의에 의해 1+1 = 1'이고 2=1'이니까.
이제 이렇게 정의된 덧셈을 이용하여 교환법칙, 결합법칙도 증명할 수 있다. 증명은 그리 간단치 않은데, 교환법칙을 어떻게 증명하는지 살펴보자.
모든 자연수 a, b에 대하여 a+b = b+a가 성립하는 것을 보이려면 쓸만한 공리는 PA5밖에 없다. 따라서, 모든 a에 대하여 a+1 = 1+a가 성립함을 보인 다음, a+b = b+a가 성립하는 b에 대하여 a+b' = b'+a가 성립함을 보이면 된다. 이렇게 하면, a+b = b+a를 만족하는 b들을 모아 만든 집합에 1이 포함되고 그 집합의 원소 b에 대해 b' 또한 포함되므로 PA5에 의해 이 집합은 자연수 전체의 집합과 같아진다. 따라서, 모든 자연수 b에 대해 a+b = b+a가 된다. 한 마디로 "수학적 귀납법"이다.
첫 번째 단계인, 모든 a에 대하여 a+1 = 1+a가 성립함을 보이는 방법도 역시 PA5를 이용한다.
집합 S를 a+1 = 1+a가 성립하는 a들을 모두 모은 것이라고 하면 우선 1+1 = 1+1은 당연히 성립하므로 1∈S이다.
그 다음 a∈S일 때, 덧셈의 정의에 의해
a'+1 = (a+1)+1 = (1+a)+1 = (1+a)' = 1+a'
이 되어 a' 또한 S의 원소가 된다. 그러면 PA5에 의해 집합 S는 자연수 전체의 집합과 같아지므로, 결국 모든 자연수 a에 대하여 a+1 = 1+a가 성립함이 증명되었다.
이번에는 모든 자연수 a에 대하여 a+b = b+a가 되는 b들을 모두 모은 것을 집합 T라고 하자. 우선 a+1 = 1+a이므로 1은 T의 원소이다.
다음으로 a+b' = b'+a가 모든 자연수 a에 대하여 성립함을 보여야 한다. 고정된 자연수 b'에 대하여 a+b' = b'+a가 되는 a들을 모두 모은 것을 집합 Sb'이라고 하자. 1+b' = b'+1이므로 1∈Sb'이다. a∈Sb'일 때,
a'+b' = (a'+b)' (덧셈의 정의)
= (b+a')' (b∈T이므로 a'+b = b+a')
= ((b+a)')' (덧셈의 정의)
= ((a+b)')' (b∈T이므로 a+b = b+a)
= (a+b')' (덧셈의 정의)
= (b'+a)' (a∈Sb'이므로 a+b' = b'+a))
= b'+a' (덧셈의 정의)
이므로 a'∈Sb'이 되고, 따라서 Sb'은 PA5에 의해 자연수 전체의 집합과 같다. 그러면 모든 자연수 a에 대하여 a+b' = b'+a가 성립하므로 b'∈T이고 다시 PA5에 의해 T는 자연수 전체의 집합이 된다. 이것은 모든 자연수 b가 모든 자연수 a에 대하여 a+b = b+a를 만족한다는 뜻이므로 결국 교환법칙이 증명되었다.
한편 덧셈과 비슷하게 곱셈은 다음과 같이 정의할 수 있는데,
a * 1 := a
a*b' := a*b + a
이 정의를 이용하면 곱셈에 대한 교환법칙, 결합법칙, 그리고 분배법칙까지 모두 증명할 수 있다.
------------------------------
#2. 1+1=2 증명 수학 원리(Principia Mathematica)
1+1=2 증명(덧셈의 정의, 교환법칙의 증명)
※ 화이트헤드(Whitehead)와 러셀(Russell)이 그들의 대작 수학 원리(Principia Mathematica)에서 "1+1=2"라는 당연하기 짝이 없는 사실을 증명.
1+1=2 는 수학의 논리적인 기초를 다지기 위해 러셀과 화이트헤드의 [수학원리]라는 책에서 처음 증명되었습니다.
➪ 다 읽어낸 사람이 러셀, 화이트헤드, 그리고 [불완전성 정리]를 증명해낸 괴델밖에 없다는 그 전설의 책.
논리적인 기초를 다지기 위함이므로 이를 증명하기 위해서는 [페아노 공리계]를 사용해야합니다. (공리 : 간단히 걍 증명 없이도 옳다고 하는명제)
페아노 공리계란
1. 1은 자연수이다.
2. n이 자연수이면 n 다음수(n')는 자연수이다.
3. n'=1 인 자연수는 없다.
4. m 과 n 이 다르면 m' 과 n' 도 다르다 (또는 m' 과 n' 이 같으면 m 과 n 도 같다.)
5. P가 1을 포함하고 P에 포함되는 모든 수 n 에 대해 n' 이 P에 포함되면 P는 자연수 전체의 집합
이 공리계에서 [1] 과 [그 다음 수] 는 정의를 내리지 않는 무정의 명제라고 합니다.
이제 [1+1=2]를 증명을 해보일텐데 [1]은 무정의 명제이므로 정의를 내려야 할 것은 [+]와 [2]가 되겠네요
여기서 [2] 는 간단하게 [1] 그 다음 수 즉 [1']이라고 정의하면 됩니다.
이제 덧셈에 대하여 정의하셔야되는데 우리는 지금 자연수만을 다루고 있으므로 한결 편해지죠
[a+1=a'] 이라고 정의합니다. 이때 a=1이라고 하면 1+1 = 1' = 2 가 되므로 1+1=2 의 증명이 끝납니다.
덧셈에 대하여 제대로 정의를 내려봅시다.
[a+1=a'] 아까 1+1=2를 증명할 때 쓴거죠. 이게 덧셈의 정의의 시작입니다.
[a+b] 는 a의 다음수를 구하는 과정을 b번 반복한것이라고 합시다.
예를 들어 1+3 = (((1)')')'=((2)')'=(3)'=4가 되는거죠. 이때 2=1', 3=2', 4=3' 이라고 정의를 내립니다.
여기서 b=1 이라면 위의 [a+1=a'] 과 동일해지므로 b가 1이 아닌 경우를 살펴봐야합니다.
페아노의 공리계 2번을 통해 b가 1이 아닌 경우 c'=b 인 c가 존재하고 피아노의 공리계 4번을 통해
이러한 c가 유일하다는 것으로 b의 이전 수인 [c]를 만들어 식을 세웁니다.
그러면 [a+b = a+c' = a+c+1 = (a+c)'] 이 되어 귀납법적인 원리에 의해 모든 자연수에 대하여 덧셈이 정의되게 됩니다. 이를 이용하면 덧셈을 아주 자유롭게 사용할 수 있습니다.
이왕 여기까지 한거 교환법칙까지 증명해보도록 하지요.
교환법칙이란 뭐 다들 알겠지만 [a+b=b+a]라는 건데 이거 증명하려면
수학적 귀납법과 피아노 공리계 5번 을 적극 사용하시면 됩니다.
첫번째로 자연수 집합에서 a+1=1+a 임을 증명해야 하는데 이때 수학적 귀납법 이라는 증명법을 사용합니다.
일단 a=1일때 1+1 = 1+1 = 1' =2. 성립합니다.
이때 a+1=1+a=a' 이라고 가정합니다.
그리고 그 다음항인 a'+1=1+a'임을 가정하면
a'+1= (a+1)+1=(1+a)+1=(1+a)'=1+a'
자 이제 일반화를 시켜 [a+b=b+a]가 성립하는지 해봅시다.
a+b=b+a라고 가정합니다.
a'+b'=(a'+b)'=(b+a')'=b'+a' 이 되고 피아노의 공리계 5번에 의해 a,a',b,b'은 모두 자연수이므로
자연수 전체의 집합에서 [a+b=b+a]라는 교환법칙이 증명 되었다.
------------------------------