무작위 공리, 과연 수학을 풍부하게 할까

초록

**
이 논문은 “무작위 문자열의 높은 콜모고로프 복잡도”를 공리로 추가하는 방식이 논리적으로는 안전하지만, 실제로는 새로운 흥미로운 정리를 증명하지 못한다는 결론을 제시한다. 증명 길이 제한을 두면 PSPACE=NP와 같은 복잡도 이론의 대폭적인 변화를 초래해야 함을 보이며, 전역적인 복잡도 정보를 모두 추가해도 결국은 모든 진정한 보편 명제를 포함하는 이론과 동등함을 논한다.

**

상세 분석

**
논문은 먼저 고전적인 “일관성 공리”와 대비하여, 차이틴이 제시한 콜모고로프 복잡도 기반의 무작위 공리 접근법을 소개한다. 임의로 선택한 길이 N 인 문자열 x 에 대해 “C(x) ≥ N − 1000”이라는 명제를 공리로 채택하면, 확률적으로 거의 확실히 참이지만, 이러한 명제는 형식 체계(T) 안에서 증명 불가능한 경우가 많다. 저자는 이를 두 단계로 검증한다.

첫 번째 단계는 **음향성(soundness)**이다. 임의 공리를 도입할 때 허용 가능한 오류 확률 ε 을 미리 정하고, 각 무작위 선택에 대해 “실패” 사건의 확률이 ε 을 초과하지 않음을 보인다. 이는 증명 전략 트리에서 각 노드에 남은 자본 γ 와 실패 확률 p(u) 를 비교하는 역귀납적 논증으로 정형화된다. 결과적으로, ε 보다 높은 성공 확률을 보이는 명제는 반드시 참이다.

두 번째 단계는 **보존성(conservativity)**이다. 무작위 공리를 사용해 어떤 명제 F 를 증명하려 할 때, 성공 확률이 ε 을 초과하면 F 는 원래 이론(T) 안에서도 증명 가능함을 증명한다. 여기서는 “강한” 노드(즉, 현재까지 받아들인 공리들로부터 F 가 증명되는 경우)를 정의하고, 각 분기에서 강한 자식들의 비율이 임계값 δ(u) 보다 크면 부모 노드 역시 강하다고 판단한다. 이 과정을 트리 전체에 적용하면, ε 보다 높은 성공 확률을 가진 증명 전략은 실제로는 비확률적 증명으로 전환될 수 있음을 보인다.

그러나 이러한 전환은 증명의 길이가 지수적으로 늘어나는 단점이 있다. 즉, 무작위 증명을 일반 증명으로 바꾸면 원래의 확률적 증명 길이 m 에 대해 2^m 정도의 길이가 필요하게 된다. 저자는 만약 이 변환을 다항식 시간 안에 수행할 수 있다면, PSPACE와 NP가 동일해진다는 복잡도 이론적 모순을 도출한다(프로포지션 3). 이는 현재 알려진 복잡도 구분과 충돌하므로, 무작위 공리를 이용한 증명의 효율적 비확률화는 불가능하다고 결론짓는다.

또한, 모든 문자열에 대한 완전한 콜모고로프 복잡도 정보를 공리로 추가하는 경우를 탐구한다. 이러한 “전 정보” 이론은 사실상 모든 진정한 보편 명제(∀ x φ(x))를 포함하는 이론과 동등함을 보인다(프로포지션 4). 이는 복잡도 정보가 보편 명제와 직접적으로 연결될 수 있음을 보여준다.

마지막으로, 복잡도 정보의 부분적 추가가 어떤 영향을 미치는지에 대한 열린 질문을 제시한다. 예를 들어, 대부분의 문자열에 대해 “C(x) ≥ n − O(1)”와 같은 약한 형태의 공리를 넣었을 때, 특정 고정 명제 ϕ 가 여전히 증명 불가능하게 유지될 수 있는지 여부는 아직 미해결이다.

전체적으로 논문은 무작위 공리의 “안전성”은 확보되지만, 실제 수학적·계산적 이득을 제공하지 못한다는 점을 명확히 한다. 특히 증명 복잡도를 고려하면, 무작위 공리를 통한 이론 확장은 복잡도 이론의 근본적인 한계와 충돌한다는 중요한 통찰을 제공한다.

**