괴델은 25살에 수학의 완전성을 무너뜨렸다

1931년 빈의 한 24세 청년이 25페이지짜리 논문으로 수학자들이 100년간 추구해온 꿈을 단번에 끝장냈어요.

그 꿈의 주인은 다비트 힐베르트였어요.
20세기 초 독일 최고의 수학자로, "수학의 모든 진리는 공리에서 출발해 반드시 증명할 수 있어야 한다"는 거대한 프로젝트를 밀어붙이고 있었어요.
공리란 '당연히 참이라 받아들이는 출발점'이에요. "두 점 사이에는 직선 하나가 존재한다"같은 거예요.

쉽게 말하면 이런 거예요.
세상 모든 단어의 정의를 담은 완벽한 사전을 만들겠다는 거예요.
그런데 그 사전 안에 "이 항목은 거짓이다"라고 적힌 항목이 있다면 어떻게 될까요?

그 항목이 참이면 거짓이 되고, 거짓이면 참이 되는 무한 모순에 빠져요.
쿠르트 괴델은 바로 그 함정을 수학 언어로 직접 만들어냈어요.
"이 명제는 수학적으로 증명될 수 없다"는 문장을 수학 공식 안에 집어넣은 거예요.

그 문장이 참이면 증명 없이도 참인 명제가 존재하니 수학은 불완전해요.
거짓이라고 해도 결국 수학 체계 자체가 모순을 품고 있어요.
어느 쪽이든 힐베르트의 꿈은 깨지는 거예요.

이것이 불완전성 정리예요.
수학에는 영원히 증명도 부정도 할 수 없는 명제가 반드시 존재한다는 결론이에요.
수학을 완벽하게 만들려던 청년이, 수학은 원래 완벽할 수 없다는 사실을 증명해버렸어요.