[논문 리뷰] Predicativity beyond Gamma_0

Nik Weaver|arXiv (Cornell University)|2005. 09. 11.

Computability, Logic, AI Algorithms참고 문헌 25인용 수 3

한 줄 요약

이 논문은 예측 가능성을 제한하는 데 널리 받아들여진 견해인 예측 가능성이 Feferman-Schütte 순서수 Γ₀에 국한된다는 주장에 도전하며, 오히려 예측 가능 방법이 훨씬 더 큰 순서수, 특히 Veblen 순서수 Ï•_{Ω^ω}(0)에 접근할 수 있음을 주장한다. 잘 순서화의 기본 가정, 반사 원리, 그리고 예측 가능 양화의 본질을 재검토함으로써, 이러한 더 큰 순서수들이 예측 가능하게 정당화될 수 있는 일관된 프레임워크를 구축함으로써, 예측 가능 수학의 상한을 재정의한다.

ABSTRACT

We reevaluate the claim that predicative reasoning (given the natural numbers) is limited by the Feferman-Schutte ordinal Gamma_0. First we comprehensively criticize the arguments that have been offered in support of this position. Then we analyze predicativism from first principles and develop a general method for accessing ordinals which is predicatively valid according to this analysis. We find that the Veblen ordinal ϕ_{Ω^ω}(0), and larger ordinals, are predicatively provable.

연구 동기 및 목표

• Γ₀가 예측 가능 추론의 상한이라는 오랫동안 지속된 주장에 도전하기 위해.
• Γ₀ 이론을 뒷받де는 철학적 및 기술적 논증에 내재된 근본적인 결함을 특정하고 수정하기 위해.
• 예측 가능 양화의 성격과 정의 가능성을 제1원리 분석을 통해 Ï•_{Ω^ω}(0)와 같은 더 큰 순서수의 존재를 정당화하는 새로운 일관된 프레임워크를 개발하기 위해.
• 기존에 생각했던 것보다 더 넓은 예측 가능 체계 내에서 주류 수학이 개발될 수 있음을 보여주기 위해.

제안 방법

• 예측 가능하게 타당한 귀납적 정의를 기반으로 한 진행성 개념을 사용하여 잘 순서화의 개념을 재해석함으로써, 비예측적인 순환성을 피한다.
• 반사 원리의 역할과 그 예측 가능 정당화를, PA(P)와 같은 형식 체계 및 그 확장의 맥락에서 분석한다.
• Ω-규칙과 Tarskian 진리 정의의 논리적 성격을 비판적으로 검토하여, 표준 서술 방식에서의 비예측적 성격을 입증한다.
• 명확한 인식 가능성에 기반한 새로운 개념의 '명백한' 성질과 집합을 도입함으로써, 철학적 존재가 아닌 실질적 인식 가능성에 기초한다.
• 특히 고전 논리에서 직관주의 논리로의 전환을 통해, Kripke-Platek 집합론과 같은 체계에서 비예측성을 피하는 데 논리적 축약을 재평가한다.
• 예측 가능 원리의 순환적 반복을 통해 순서수를 생성하는 새로운 방법을 제안하며, 이러한 반복이 순환성 없이 정당화될 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 Feferman-Schütte 순서수 Γ₀가 진정으로 예측 가능 추론의 상한인지, 아니면 잘못된 철학적 및 기술적 가정에 기반한 결론인지?
• RQ2 Γ₀를 초월하는 순서수에 대한 잘 순서화 증명은 예측 가능 방법만으로 구성될 수 있으며, 만약 가능하면 어떤 조건에서 가능한가?
• RQ3 원인적 순환성을 피하면서도 큰 가산 순서수에 접근할 수 있도록 하는 예측 가능 양화 및 정의 가능성의 올바른 특성화는 무엇인가?
• RQ4 예를 들어 귀납적 진행성 대비 무한한 내림차순이 없는 성질 등, 잘 순서화의 다양한 서술 방식이 순서수 분석의 예측 가능 합리성에 어떤 영향을 미치는가?
• RQ5 반사 원리와 진리 정의는 어느 정도까지 예측 가능하게 수용 가능한 방식으로 형식화될 수 있는가?

주요 결과

• 논문은 Γ₀ 이론이 근본적으로 오류가 있으며, 잘 순서화의 다양한 개념을 구분하지 못하는 비일관된 철학적 입장을 바탕으로 한다고 결론 내린다.
• Veblen 순서수 Ï•_{Ω^ω}(0)가 예측 가능하게 증명 가능하다는 것이 입증되었으며, 이는 오랫동안 이 순서수가 예측 가능 수학의 범위를 초월한다고 여겨졌다는 점에서 도전적이다.
• 분석 결과, Ω-규칙이나 반사 원리와 같은 많은 체계들이 기존에는 비예측적이라 여겨졌지만, 논리적 및 정의적 제약을 철저히 적용하면 다시 해석함으로써 예측 가능 합리성을 유지할 수 있음을 보여준다.
• KP 공리계가 직관주의 논리로 서술될 경우 비예측성을 피할 수 있으며, 이는 Γ₀를 초월하는 예측 가능 체계의 확장을 위한 길을 제시한다.
• 이전 연구에서 자주 혼동되었던 '명백한' 성질과 '결정적인' 성질의 차이는, 예측 가능 일관성을 유지하는 데 있어 핵심적이다.
• 논문은 예측 가능 원리의 전이순서 반복을 통해 큰 순서수를 생성하는 구축 가능한 방법을 제공하며, 이러한 반복이 제안된 프레임워크 하에서 정당화될 수 있음을 보여준다.