노군의 수학 중독기

우리는 삶을 살면서 우리도 모르게 진실이라 믿는 사는게 너무 많습니다.

기독교에게 여호와, 불교자에게 석가모니..
또는 누구에게는 로봇물고기

대부분 그렇지만 그 믿음을

한번 증명해 보라고 하면 믿음 자체가 중요하다고 말합니다.
보통 신성모독으로 종교재판에
혹은 국보법위반으로 안보부에 끌려갈지 모르는 일이죠.

여튼 어쩔수 없이

믿음에 대한 증명은 항상 어느 벽에 부딛치고 맙니다.
기억해보면.
교사인 저도, 조카를 둔 삼촌들도 가장 무섭고도 어려운 질문이

"왜?" 입니다.

---------------------불완전함을 찾는 일--------------------

한 주제에 대해서 딱 10번만 왜?라는 질문을 받아보면
어느 순간 오른쪽 어깨 2두와 3두 근육의 수축을 느끼게되죠.
하여튼 질문을 받다보면 결국엔
"그것은 그냥 믿으면 되는 거야"
라고 대충 이렇게 얼버부리고는 맙니다.


축구를 예를 들어보면
"왜 골을 많이 넣으면 이기는 것입니까?"

"야구는 왜에 2루를 밟기 전에 1루를 밟아야 합니까?"

라고 물으면,

이런것들은 참인지 거짓인지 증명 못할 뿐만 아니라
자꾸 물어보면 화까지 유발합니다.

----------------------  공   리  --------------------------

수학도 마찬가지입니다.
예를 들어 덧셈과 곱셈으로 자연수의 체계를 가지고 완벽한 체계를 만들어도
결국 증명 못하는 것이 나오게 마련입니다.
예를 들어 "왜 1+1이 양수일까요?"(페아노 공리-클릭)
라고 물어본다면 참으로 난감합니다.

하지만 물어본 사람이 충분히 난감할 만큰 이야기할 수는 있겠죠.

이런 질문을 위한 수학의 마지막 보루가 있습니다.
그것은 바로 "공리"라고 합니다.

양수 더하기 양수는 왜 양수인가요?란 질문은,
"자연수의 페아노 공리에서 우리는 참으로 인정하기로 했습니다"
라고 하며 더이상 더 깊게 들어가는 길을 막는 것입니다.

뭐 그렇다고 아무거나 공리로 붙이면 좋지않습니다.
공리가 생길수록 공리끼리의 무모순을 보여야 하며
결정적으로 너무 공리가 많으면 예쁘지(?)않습니다.

이런 이유에서 수학에서 불완전성이 생기게됩니다.
어떤 체계든 공리로 시작하기 때문에 그 공리가 참인지 거짓인지 구별할 수 없는 것입니다.

(사실 그게 증명가능한 명제라면 이미 공리라는 지위는 잃게 됩니다.)

여튼 공리가 없는 수 체계가 있을 까요?

결론 적으로 그럴 수 없습니다.

사실 당연한 이치입니다.

이에 관련된 정확한 이야기는
위대한 철학자이며 수학자인 괴델이 답을 하겠습니다.

그냥 읽어보면 참 어렵게 써놓았지만 풀어서 설명하면 크게 어려운 말이 아닙니다.

불완전성의 원리란 체계가 가장 깔끔하고 완벽한

즉, 무모순(모순과 무모순에 대한 설명 클릭)으로 어떤 산술체계를 만든다고 해도
결국엔 최소 하나인 참인지 거짓인지 증명 못할 명제가 나옵니다.

따라서 어떤 수학체계도

"100% 완벽하다."라고 하기 위해서는

1%라도 설명하지 못하는 것이 존재합니다.

다시 말하면, 100% 완벽한 수학적 진리란 이제 없는 것이다.
그저 참인지 거짓인지 모르지만 그렇게 믿는 것입니다.

---------------------------------------------------------------

그냥 그렇구나.. 할 수는 있겠지만

단순한 결과가 아닙니다.

결국엔 우리는 어떤 것이 절대적 가치라고 믿어도

다시 말하자면 절대적인 참과 거짓을 구별하는 일은 개인적으로 가능할지 몰라도

그것은 증명하는 것은 불가능합니다.

우리 시대의 매체들이 매일 입에 달고 사는
"포스트 모더니즘"의 수학적 원리가  여기서 나온다고해도 과언이 아닙니다.
사실 진리의 상대성은 그리스의 소피스트에서 부터 이어져왔다고 할 수 있지만

진리의 절대성을 지지하던 수학이 갑자기 상대성을 바라보게 된 것입니다.

결론적으로 완벽하다고 믿은 모더니즘한 체계가
괴델의 불완전성의 원리에 의해 산산조각 나버립니다.
이미 힐베르트등 많은 수학자 과학자 미학자가 추구했던
"완벽한 진리"란 증명불가능하며

어떤 하나의 체계에 대한 목표는 최소한 한 편의 비약을 포함해야한다는 것입니다.

---------------------- 유클리드 기하학의 패배 --------------------

가장 큰 예로는 바로
"유클리드 기하학의 참패"입니다.

유클리드 기하학은 5개의 공리에서 출발했으며 서로 무모순이였고.
우리는 항상 이 5개는 진리라고 생각하였습니다.
그런데 불완전성의 원리에 따라서
증명도 못하고 반증도 못하는 하나를 살짝 틀어버리면 다른 세계가 펼쳐질 수 있습니다.

사실 유클리드 기하학은 연역을 지지하는 수학적 기반이기 때문에

이 체계가 유일한 세계가 아니라면 절대적인 세계가 아닌 다른 세계가 생성되는 것입니다.

다른 수학자들이 유클리드의 다섯 공리 중에 하나를 바꿉니다.
그것을 바로 평행공리라고 흔히 알고 있는  5번째 공리입니다.

어찌보면 당연하게 생각할 수 있겠지만
괴델의 불완전성의 원리에 따라서
이 5번 공리는 맞을 수도 있고 아닐 수도 있습니다.

그래서 평행선이 하나도 없는 경우(지표면)와

평행선이 여러개인 경우로 나누워 새로운 세계(우주)를 만듭니다.

나중에 다시 한번 이야기 하겠지만
이 3가지 체계가 전부 맞다고 할 수도 있으며 전부 틀리다고도 할 수 있습니다.
(실제로 3가지 체계가 전부 존재하는 경우가 많죠.)

누가 물어본다..
지금 쓴 이 글들이 사실입니까??
그럼 괴델이 대답할 것입니다.

서로 무모순인 이야기이지만
참일 지 거짓 일 지에 대한 답은....그럴 수도 있고 아닐 수도 있다

증명 불가이다.

한번쯤 의심해보시기 바랍니다.

당신의 믿음이 맞는지 틀린지
하지만 결국 그답은 똑같습니다.

그럴 수도 있고 아닐 수도 있습니다.