[논문 리뷰] Irreducible Complexity in Pure Mathematics

Gregory J. Chaitin|ArXiv.org|2004. 11. 04.

Computability, Logic, AI Algorithms인용 수 9

한 줄 요약

이 논문은 압축 가능하지 않은 이론이 없는 수학적 사실인 비축약성 복잡도가 수학의 완전한 '모든 것의 이론'(TOE)이 불가능하다는 것을 증명한다고 주장한다. 알고리즘적 정보 이론을 통해 일부 수학적 진리는 알고리즘적으로 무작위이며, 어떤 유한한 공리 집합으로부터도 유도될 수 없음을 보이며, 고델의 불완전성 정리에 기반하여 수학적 진리가 본질적으로 압축 불가능한 정보임을 프레임워크화한다.

ABSTRACT

By using ideas on complexity and randomness originally suggested by the mathematician-philosopher Gottfried Leibniz in 1686, the modern theory of algorithmic information is able to show that there can never be a "theory of everything" for all of mathematics.

연구 동기 및 목표

• 수학적 진리가 압축 불가능한 복잡성을 띨 수 있음을 입증하는 것, 즉 어떤 유한한 공리 체계로도 이를 유도할 수 없다는 뜻이다.
• 수학적 불완전성은 논리적 역설이 아니라 알고리즘적 정보량의 결과임을 프레임워크화하여 고델의 불완전성 정리를 확장하는 것.
• 알고리즘적으로 무작위한 수학적 사실의 존재로 인해, '모든 것의 이론'(TOE)이 수학적으로 본질적으로 불가능하다는 것을 보여주는 것.
• 라이프니츠의 복잡성과 단순성에 대한 철학적 통찰을 현대 알고리즘적 정보 이론 프레임워크로 재구성하는 것.
• 정지 확률 Ω가 압축 불가능한 수학적 상수의 구체적 예이며, 그 비트들이 어떤 더 작은 형식 체계로도 계산될 수 없다는 것을 입증하는 것.

제안 방법

• 주어진 디지털 객체 또는 수학적 사실을 계산할 수 있는 가장 작은 프로그램의 크기를 알고리즘적 정보량으로 정의한다.
• 오카무의 면도와 라이프니츠의 원리 적용: 타당한 이론은 설명하는 데이터보다 간단해야 하며, 즉 압축 가능해야 한다.
• 알고리즘적으로 무작위인 객체를 정의한다. 알고리즘적 정보량이 크기와 동일한 객체로, 압축이 불가능하다.
• 알고리즘적으로 무작위한 수학적 상수의 표준 예로 카이틴의 상수 Ω, 즉 보편적인 프리픽스 자유 튜링 기계의 정지 확률을 사용한다.
• Ω의 첫 N 비트를 안다면, 크기가 N 비트 이하인 모든 프로그램의 정지 문제를 해결할 수 있음을 보여준다.
• Ω의 압축 불가능성으로 인해, N 비트 이하의 공리로 구성된 어떤 형식적 공리 체계도 Ω의 첫 N 비트를 증명할 수 없다는 것을 입증한다.

실험 결과

연구 질문

• RQ1 유한한 형식적 공리 체계가 모든 수학적 진리를 완전히 포괄할 수 있는가, 아니면 비축약성 복잡성으로 인해 본질적인 한계가 존재하는가?
• RQ2 알고리즘적 정보 이론은 고델의 불완전성 정리를 자가참조 역설을 넘어서 어느 정도까지 확장하는가?
• RQ3 최소 프로그램의 크기를 사용하여 수학적 비축약성 개념을 형식화할 수 있는가, 그리고 수학 지식에 어떤 함의를 지닌다?
• RQ4 왜 정지 확률 Ω는 비축약성 수학적 상수의 예이며, 형식 체계의 한계를 어떻게 보여주는가?
• RQ5 비축약성 복잡도 개념은 고전적 합리주의 관점, 즉 모든 수학적 진리가 이유 또는 설명을 가진다는 관점에 어떻게 도전하는가?

주요 결과

• 알고리즘적으로 무작위인 수학적 사실이 존재한다. 즉, 알고리즘적 정보량이 크기와 동일하므로 어떤 더 작은 이론으로도 압축할 수 없다.
• N 비트 이하의 공리로 구성된 어떤 형식적 공리 체계도 카이틴의 상수 Ω의 첫 N 비트를 증명할 수 없으며, 이는 수학 지식의 본질적 한계를 보여준다.
• Ω의 첫 N 비트를 안다면, 크기가 N 비트 이하인 모든 프로그램의 정지 문제를 해결할 수 있다. 이는 비축약성과 결정 불가능성 간의 연결 고리를 보여준다.
• 정지 확률 Ω는 어떤 계산 가능한 함수보다도 빠르게 복잡도가 증가하므로, 그 비트들을 효율적으로 계산하는 것은 불가능하다.
• 비축약성 수학적 사실의 존재는 '모든 것의 이론'(TOE)이 수학적으로 불가능하다는 것을 암시한다. 그러한 이론은 무한한 공리가 필요하거나, 랜덤한 사실을 설명할 수 없기 때문이다.
• 라이프니츠가 17세기에 단순성과 복잡성에 대해 제기한 통찰은 현대 알고리즘적 정보 이론을 예고하고 있었지만, 그는 이를 형식 체계의 한계와 연결지지 않았다.