놀라운 시험 역설과 제2 불완전성 정리

초록

이 논문은 콜모고로프 복잡도와 차이틴의 불완전성 정리를 이용해 고델의 제2 불완전성 정리를 새로운 방식으로 증명하고, 그 증명 과정이 ‘놀라운 시험 역설’과 구조적으로 동일함을 보인다. 역으로, 제2 불완전성 정리가 이 역설의 숨은 모순, 즉 이론의 일관성을 증명할 수 있다는 가정을 부정함으로써 역설을 해소할 수 있음을 제시한다.

상세 분석

논문은 먼저 고전적인 고델 제2 불완전성 정리의 증명에서 사용되는 ‘자기 언급’과 ‘증명 가능성’ 개념을 콜모고로프 복잡도(Kolmogorov complexity)와 차이틴의 불완전성 정리(Chaitin’s incompleteness theorem)로 대체한다. 차이틴 정리는 충분히 강한 형식 체계 T 안에서 “어떤 자연수 n의 복잡도 K(n) > c”라는 명제가 T 안에서 증명될 수 없으며, 여기서 c는 T가 증명할 수 있는 복잡도 상수임을 보인다. 저자는 이 사실을 이용해 “T는 자신의 일관성을 증명할 수 없다”는 명제를 복잡도 관점에서 재구성한다. 구체적으로, 만약 T가 일관성을 증명한다면, T는 어떤 충분히 큰 수 N에 대해 K(N) > c 를 증명할 수 있게 되고, 이는 차이틴 정리와 모순된다. 따라서 일관성 증명은 불가능함을 보인다.

다음으로 ‘놀라운 시험 역설(Surprise Examination Paradox)’을 형식화한다. 역설은 “다음 주에 시험이 있을 것이며, 그 날 시험이 예상되지 않을 것”이라는 선언에서 시작한다. 학생은 역설적 논증을 통해 “시험은 월요일에 있을 수 없고, 화요일도 마찬가지이며… 결국 시험은 없을 것”이라고 결론짓는다. 논문은 이 논증을 ‘예상 불가능성’이라는 메타수학적 성질로 해석하고, 이를 ‘일관성 증명’이라는 숨은 가정에 연결한다. 즉, 학생이 “시험이 없을 것”을 증명하려면 자신이 사용하는 논리 체계가 일관함을 전제로 해야 한다는 점이다. 고델 제2 정리에 따르면 이러한 전제 자체가 증명 불가능하므로, 역설의 논증은 근본적으로 허점이 있다.

역방향 논증에서는 제2 불완전성 정리를 ‘숨은 일관성 가정’이 없는 메타논리적 구조로 재해석한다. 즉, “시험이 언제일지 알 수 없다”는 명제는 ‘T가 자신의 일관성을 증명하지 못한다’는 사실과 동형이다. 따라서 제2 정리가 역설의 모순을 해소하는 메커니즘을 제공한다는 결론에 도달한다. 이 과정에서 저자는 형식 체계 내에서 ‘예상 불가능성’을 정의하고, 이를 복잡도 상한과 연결함으로써 두 현상이 동일한 논리적 한계에서 비롯된다는 통찰을 제시한다.

핵심 기여는 다음과 같다. 첫째, 복잡도 기반 증명을 통해 고델 제2 정리를 새로운 관점에서 제시한다. 둘째, 놀라운 시험 역설을 형식화하여 그 논증 구조가 일관성 증명이라는 숨은 전제에 의존함을 명확히 밝힌다. 셋째, 두 이론 사이의 상호 변환 가능성을 보여줌으로써 메타수학적 패러독스와 불완전성 정리 사이의 깊은 연관성을 드러낸다. 이러한 접근은 기존의 ‘자기 언급’ 방식보다 직관적이며, 복잡도 이론과 논리학을 연결하는 새로운 연구 길을 제시한다.