[논문 리뷰] The Surprise Examination Paradox and the Second Incompleteness Theorem

Shira Kritchman, Ran Raz|arXiv (Cornell University)|2010. 11. 22.

Computability, Logic, AI Algorithms참고 문헌 10인용 수 30

한 줄 요약

이 논문은 코모고로프 복잡도와 챠틴의 불완전성 정리에 기반하여 고델의 두 번째 불완전성 정리를 새로운 방식으로 증명한다. 이는 놀라움 시험 역설의 변형을 통해 논증을 전개하며, 역설이 시스템 내부에서 일관성을 증명할 수 있다는 암묵적 가정에서 비롯되며, 이는 고델의 두 번째 불완전성 정리에 의해 불가능하다는 점에서, 기초적인 형식 체계의 한계와 연결시켜 역설을 해결한다.

ABSTRACT

We give a new proof for Godel's second incompleteness theorem, based on Kolmogorov complexity, Chaitin's incompleteness theorem, and an argument that resembles the surprise examination paradox. We then go the other way around and suggest that the second incompleteness theorem gives a possible resolution of the surprise examination paradox. Roughly speaking, we argue that the flaw in the derivation of the paradox is that it contains a hidden assumption that one can prove the consistency of the mathematical theory in which the derivation is done; which is impossible by the second incompleteness theorem.

연구 동기 및 목표

• 코모고로프 복잡도와 챠틴의 불완전성 정리를 사용하여 고델의 두 번째 불완전성 정리에 대해 개념적으로 더 단순한 새로운 증명을 제공한다.
• 수학적 논리학에서의 형식적 일관성과 자기참조의 관점에서 놀라움 시험 역설을 분석한다.
• 역설이 시스템 내부에서 일관성을 증명할 수 있다는 정당하지 않은 가정에서 비롯되며, 이는 고델의 두 번째 정리에 의해 금지되어 있음을 보여준다.
• 고델 수 및 대각선화를 사용하여 교사의 선언을 형식화하여, 자기참조와 증명 가능성의 상호작용이 비일관적 추론에서 어떻게 작용하는지 보여준다.
• 학생들의 추론이 시스템의 일관성을 가정할 때 실패한다는 점을 보여줌으로써 놀라움 시험 역설을 해결한다. 이는 시스템 내부에서 일관성이 확립될 수 없다는 점에서 비롯된다.

제안 방법

• 차이틴의 불완전성 정리를 사용한다. 이 정리는 임의의 일관된 형식 이론에 대해, 어떤 x에 대해서도 K(x) > L 이라는 문장이 증명될 수 없는 상한 L 이 존재한다고 한다.
• 코모고로프 복잡도를 적용하여, 시스템이 어떤 수의 복잡도가 특정 한계를 초과한다는 것을 증명할 수 없다는 개념을 형식화한다. 만약 그러한 증명을 시도한다면 모순이 발생한다.
• 놀라움 시험 역설을 형식 시스템 T에서 자기참조적 구조를 가진 문장 S로 모델링한다. 이는 m ≥ i → m = i 의 조건부 문장의 증명 가능성과 관련된다.
• 고델 수와 대각선화를 사용하여 S를 형식화한다. S는 Q(q)로 정의되며, q는 공식 Q(x)의 고델 수로, 역설의 논리적 구조를 코딩한다.
• PrT,S(φ)라는 증명 가능성 술어를 도입하여, 문장 φ 가 확장된 시스템 T + S 내에서 형식적으로 증명 가능함을 나타내며, 일관성 가정의 함의를 분석한다.
• 어느 날 i 에 대해 m ≠ i 를 유도하기 위해서는 T + S 의 일관성, 즉 Con(T,S) 를 가정해야 하는데, 이는 두 번째 불완전성 정리에 의해 T + S 내부에서는 증명될 수 없다.

실험 결과

연구 질문

• RQ1 코모고로프 복잡도와 챠틴의 불완전성 정리를 사용하여 고델의 두 번째 불완전성 정리를 재증명할 수 있는가?
• RQ2 놀라움 시험 역설에서 학생들의 추론에 있는 논리적 오류는 무엇이며, 형식적 일관성과 어떻게 관련되는가?
• RQ3 증명 가능성 술어와 자기참조를 사용한 교사의 선언의 형식화는 유도 가능성의 한계를 어떻게 드러내는가?
• RQ4 놀라움 시험 역설은 두 번째 불완전성 정리를 참조하여 해결될 수 있는가?
• RQ5 일관성 가정은 학생들의 귀납적 추론에서 어떤 역할을 하는가? 왜 이는 시스템 내부에서 증명될 수 없는가?

주요 결과

• 논문은 코모고로프 복잡도와 챠틴의 불완전성 정리를 기반으로 하여 고델의 두 번째 불완전성 정리에 대해 기존의 자기참조 문제를 피한 새로운 증명을 제공한다.
• 놀라움 시험 역설은 학생들의 추론이 T + S 의 일관성을 증명할 수 없는 암묵적 가정에 기반한다는 점을 보여줌으로써 해결된다. 이는 고델의 두 번째 정리에 의해 금지되어 있다.
• 고델 수와 대각선화를 사용하여 교사의 선언을 자기참조적 문장 S로 형식화함으로써, 시스템이 m ≠ 5 를 유도할 수 없음을 드러내며, 이는 Con(T + S) 를 가정해야만 가능하다. 그러나 이는 시스템 내부에서 증명될 수 없다.
• 금요일에 대해서는 역설을 해결할 수 없다. 학생들이 T + S 의 일관성을 증명할 수 없기 때문에, 시스템이 일관하다면 시험은 금요일에 있을 수 없다는 결론을 내릴 수 없다.
• 모든 날 i < 5 에 대해, 학생들은 m ≠ i 를 도출할 수 없다. 이는 필요한 증명 조건이 Con(T + S) 에 의존하기 때문이며, 이는 T + S 내부에서 증명될 수 없다. 따라서 귀납적 추론이 차단된다.
• 핵심 통찰은 역설이 논리적 불일치에서 비롯되는 것이 아니라, 시스템 내부에서 일관성이 증명 가능하다는 숨겨진 가정에서 비롯된다는 점이다. 이는 고델의 두 번째 불완전성 정리에 의해 불가능하다.