균일 클래스 분리를 가로막는 적대적 장벽

초록

이 논문은 직관적 산술(HA) 내에서 두 개의 평가자(A와 B)를 동시에 유지하면서 추론을 균일하게 표현하려 할 때 발생하는 구조적 장애를 밝혀낸다. 실현가능성·증명가능성을 연결하는 균일 변환이 존재한다면, 대각선 고정점 논증을 통해 내부 반사 원리가 요구되지만, HA는 이를 전역적으로 제공하지 못한다. 따라서 “Uniform Class Separation” 원칙 자체가 모순에 빠지게 되며, 이는 기존의 복잡도‑이론적 장벽보다 논리 형태에 대한 제한을 강하게 부과한다.

상세 분석

논문은 먼저 HA 안에서 Kleene 실현가능성을 ⊩R(s,φ) 로 형식화하고, 임의의 산술식 P(e)에 대해 Solv(P(e))≡∃s⊩R(s,P(e)) 와 ProvHA(P(e))≡ProvHA(⌜P(e)⌝) 를 정의한다. Σ₀¹‑식에 대해서는 두 개념이 외연적으로 일치하지만, 논문의 핵심은 “모든 지표 e에 대해 동일한 연산자를 통해 Solv을 Prov로 전환하는” 균일 변환이 존재할 수 없는 점에 있다.

Uniform Class Separation을 Sep(A,B)≡∀e(A(e)→¬B(e)) 로 설정하고, Sep의 실현자가 존재한다면 실현자 r는 모든 e에 대해 A(e)와 B(e)의 실현자를 받아 ⊥ 로 변환하는 총함수 r(e)를 제공한다. 이를 통해 정의된 분류 인터페이스 Cl(e)는 Solv(A(e))이면 A, Solv(B(e))이면 B, 그 외에는 ⊥ 를 반환한다. 여기서 중요한 점은 Cl가 단순한 의미론적 결정기가 아니라, HA 내부에서 증명가능성을 보증해야 하는 “내부 인증” 요구를 동반한다는 것이다.

다음 단계에서는 이러한 Cl를 이용해 고정점 공식 θ(x)≡(ClA(x)→B(x))∧(ClB(x)→A(x)) 를 만든다. 대각선 함수 diag를 통해 d=diag(⌜θ(v)⌝) 를 정의하면 HA 안에서 D↔θ(d) 가 증명된다. 이제 가정된 “Prov‑upgrade” (ClA(d)→ProvHA(A(d)), ClB(d)→ProvHA(B(d))) 와 “Live(d)→ClA(d)∨ClB(d)” 를 결합하면, HA는 d에 대해 ClA(d)와 ClB(d)가 동시에 참일 수 없음을 증명한다. 그러나 θ(d) 가 두 조건을 동시에 요구하므로 모순이 발생한다. 이 모순을 해소하려면 D에 대한 반사 원리 ProvHA(⌜D⌝)→D 가 필요하지만, 이는 HA가 predicatively 제공하지 못하는 강력한 원리이다. 따라서 Uniform Class Separation 자체가 이러한 반사 원리를 암묵적으로 요구하게 되며, HA 안에서는 불가능함을 보인다.

결과적으로 논문은 기존의 “relativizing”, “naturalizing”, “algebrizing” 장벽과는 달리, HA 내에서 “균일하게 arithmetically representable” 인터페이스를 만들려는 시도가 내재적 대각선 구조와 충돌함을 보여준다. 이는 복잡도‑이론에서 P vs NP 같은 구체적 문제를 다루는 것이 아니라, 논리 체계 자체가 균일 분리를 허용하지 못한다는 메타‑수학적 한계를 제시한다.