[논문 리뷰] Is mathematics consistent?

Hitoshi Kitada|ArXiv.org|2003. 05. 31.

Mathematics Education and Teaching Techniques참고 문헌 3인용 수 3

한 줄 요약

이 논문은 고르트의 불완전성 정리의 확장인 로저의 수정을 통해 형식적 수학 체계, 특히 집합론의 일관성을 조사한다. ZFC의 공리들이 비재귀적 순서수의 존재를 결정하지 못할 경우, 모든 순서수가 재귀적일 수 있으며 이는 집합론이 일관성이 없음을 의미하거나, 최소한의 비재귀적 순서수가 존재하여 체계의 최대 일관성 확장을 이끌어낼 수 있다. 주요 기여는 순서수의 재귀성과 기초 일관성 간의 메타수학적 분석이다.

ABSTRACT

A question is proposed whether or not set theory is consistent.

연구 동기 및 목표

• Gödel 번호화와 증명 술어를 사용하여 형식적 집합론 S^(0)의 일관성을 평가한다.
• 표준적인 ω-일관성 가정을 피하기 위해 로저의 형태를 사용하여 고르트의 불완전성 정리를 확장한다.
• ZFC 공리들로부터 비재귀적 순서수 존재성이 독립적일 경우, 확장된 형식 체계의 일관성에 미치는 영향을 분석한다.
• 최소한의 비재귀적 순서수가 존재할 경우, 형식 체계 S^(0)의 최대 일관성 확장을 이끌어내는지 판단한다.
• 경우 (i)에서 나타나는 불일관성은 ZFC 내부에 구체적인 모순을 암시하는지, 아니면 메타수학적 제약인지 명확히 한다.

제안 방법

• 형식 체계 S^(0) 내 공식과 증명에 고르트 번호화를 사용하여 고유한 수를 할당함으로써 문법의 산술화를 가능하게 한다.
• Gödel 수 a인 공식과 증명 수 b 또는 c에 대해 증명 가능성과 반증 가능성 표현하는 원시 재귀 술어 A^(0)(a,b)와 B^(0)(a,c)를 정의한다.
• 대각선화를 사용하여 자기참조적 공식 A_q^(0)(q^(0))를 구성함으로써, 자신의 불증명 가능성을 주장하는 공식을 유도한다.
• 로저의 기법을 적용하여 동일한 공식 내에서 증명 가능성과 반증 가능성을 모두 고려함으로써, ω-일관성의 가정이 필요 없도록 한다.
• S^(0)를 A_(0)를 새로운 공리로 추가하여 S^(1)으로 확장함으로써 일관성을 유지하며, A_q^(0)(q^(0))와 그 부정이 모두 증명 가능하지 않다는 가정 하에 진행한다.
• 가산 순서수를 거쳐 체계 S^(α)의 순서수적 연장선을 분석하며, 모든 순서수가 재귀적일 경우 또는 최소한의 비재귀적 순서수 ω_1이 존재할 경우를 구분한다.

실험 결과

연구 질문

• RQ1 자기참조적 공식이 고르트 번호화를 통해 구성되었을 때, 형식 체계 S^(0)가 어떤 조건에서 일관성을 유지하는가?
• RQ2 로저의 불완전성 정리 형태를 사용하여, 자신의 불증명 가능성에 대해 주장하는 문장을 ω-일관성 가정 없이도 불증명 가능하다고 증명할 수 있는가?
• RQ3 비재귀적 순서수가 ZFC로부터 독립적일 경우, 전이순서수적 확장을 통해 확장된 형식 체계의 일관성은 어떻게 되는가?
• RQ4 모든 순서수가 재귀적일 경우, 전이순서수적 확장의 일관성에 어떤 모순이 발생하는가?
• RQ5 최소한의 비재귀적 순서수가 존재할 경우, 이는 형식 체계 S^(0)의 최대 일관성 확장을 정의하는 데 충분한가?

주요 결과

• 로저의 고르트 정리 수정을 통해 증명된 lin, S^(0)는 A_q^(0)(q^(0))와 그 부정이 모두 증명 가능하지 않을 경우에만 일관성이 있다.
• 모든 순서수가 재귀적일 경우, S^(α)의 전이순서수적 확장은 결국 일관성을 유지하지 못하게 되며, 집합론이 불일관성이 아닐 경우 모순에 이를 수밖에 없다.
• 최소한의 비재귀적 순서수 ω_1이 존재할 경우, 체계 S^(ω_1)는 일관성이 있으며 일관성 위반 없이 더 이상 확장될 수 없다.
• S^(β)는 최소한의 비재귀적 순서수인 ω_1에서 정확히 최대 일관성 상태에 도달한다.
• 이 정리는 메타수학적이다: ZFC 내부의 불일관성을 증명하지는 않지만, 모든 순서수가 재귀적일 경우이고 체계가 무한히 확장 가능하다고 가정할 경우에만 불일관성이 발생함을 보여준다.
• 비재귀적 순서수가 존재하지 않을 경우에도, 발생하는 모순은 ZFC 내부의 구체적인 불일관성(예: 러셀의 역설)을 암시하지는 않으며, 오히려 확장 과정의 구조적 제약을 암시한다.