[논문 리뷰] Leibniz, Information, Math and Physics

Gregory J. Chaitin|ArXiv.org|2003. 06. 20.

Computability, Logic, AI Algorithms참고 문헌 18인용 수 6

한 줄 요약

이 논문은 1686년 라이프니츠가 알고리즘 정보 이론(AIT)의 核심 개념을 예견했다고 주장한다. 즉, 우주는 복잡한 현상을 압축하는 단순한 법칙들에 의해 지배된다고 보는 것으로, 이는 AIT의 관점과 일치한다. 즉, 이해는 최소 프로그램을 통한 압축으로서 실현된다. 이는 수학, 물리학, 정보 이론 사이에 깊이 있는 개념적 연결을 제공하며, 두 분야 모두 복잡성을 최소화함으로써 이해를 달성한다고 제안한다.

ABSTRACT

The information-theoretic point of view proposed by Leibniz in 1686 and developed by algorithmic information theory (AIT) suggests that mathematics and physics are not that different. This will be a first-person account of some doubts and speculations about the nature of mathematics that I have entertained for the past three decades, and which have now been incorporated in a digital philosophy paradigm shift that is sweeping across the sciences.

연구 동기 및 목표

• 라이프니츠의 1686년『본체론에 관한 논고』가 알고리즘 정보 이론의 원형 이론을 담고 있으며, 특히 단순한 가설이 설명력과 관련이 있다는 개념을 입증하는 것.
• 수학과 물리학은 본질적으로 다를 바 없으며, 둘 다 데이터를 간결한 법칙이나 공리로 압축하는 데 의존한다는 주장을 펼치는 것.
• 알고리즘 정보 이론(AIT)을 현대적 실현으로서, 단순하지만 풍부하게 표현 가능한 원리들에 의해 지배되는 우주를 구성하는 라이프니츠의 비전을 정립하는 것.
• 형식적 증명이 너무 길거나 확실하지 않을 경우, 수학적 진리 탐색이 물리학과 유사한 경험적·실험적 방법을 수용해야 한다고 제안하는 것.
• 인간 지적 진보를 찰린의 정지 확률 Ω의 비트 수를 결정할 수 있는 능력의 증가로 보는 것으로, 이는 수학적 창의성과 불가약성의 척도가 된다.

제안 방법

• 주어진 객체를 계산할 수 있는 가장 작은 프로그램의 크기를 알고리즘 정보로 정의하며, 프로그램 크기 복잡도를 무작위성과 구조의 척도로 사용한다.
• 이 프레임워크를 과학 이론에 적용하여, 좋은 이론은 관측된 데이터를 재현할 수 있는 최소 프로그램이며, 이는 이론을 압축과 동일시한다는 것이다.
• 알고리즘 무작위성의 개념을 사용하여, 데이터보다 더 작은 프로그램이 존재하지 않을 경우 데이터는 불가약하고 비구조적임을 보여준다.
• 라이프니츠의 주장인 '규칙이 매우 복잡할 경우, 그에 따르는 것은 비정상으로 간주된다'를 현대 알고리즘 무작위성 정의의 선구자로 재해석한다.
• 수학 정리와 물리 법칙을 관측의 압축된 서술로 재해석하며, 둘 다 정보 이론적 압축의 사례임을 보여준다.
• 지적 진보를 증명된 정리의 수가 아니라 찰린의 Ω에서 결정 가능한 비트 수로 측정해야 하며, 이는 수학적 창의성에 접근하는 능력의 증가를 반영한다.

실험 결과

연구 질문

• RQ1 라이프니츠의 1686년 법칙의 단순성 개념은 현대 알고리즘 정보 이론을 어떻게 예견했는가?
• RQ2 정보 이론적 압축의 관점에서 볼 때, 수학과 물리학은 본질적으로 어떻게 유사한가?
• RQ3 형식적 증명이 너무 길거나 신뢰할 수 없을 경우, 수학적 추론을 물리학과 유사한 경험적 방법으로 의미 있게 추구할 수 있는가?
• RQ4 단순한 원리에서 유도될 수 없는, 더 짧은 서술이 없는 불가약한 수학적 사실들은 디지털 과학 철학에서 어떤 역할을 하는가?
• RQ5 정지 확률 Ω를 사용해 인간 지적 진보를 어떻게 측정할 수 있으며, 이는 인간 이해의 한계에 대해 어떤 시사점을 갖는가?

주요 결과

• 라이프니츠의 1686년 주장인 '규칙이 매우 복잡할 경우, 그에 따르는 것은 비정상으로 간주된다'는 현대 알고리즘 무작위성 정의의 직접적인 예견이다.
• 논문은 과학 법칙과 수학 공리계가 모두 압축적 서술로 작용함을 입증한다. 즉, 이론은 데이터를 생성할 수 있는 최소 프로그램이며, 공리계는 정리를 생성한다.
• 더 짧은 증명으로 압축할 수 없는 수학 정리는 불가약하며, 따라서 더 단순한 원리에서 유도될 수 없다. 이는 고델의 불완전성 정리가 정보 이론적 형태로 재해석된 것이다.
• 리만 가설과 P ≠ NP 추측은 그들의 경험적 탄탄성과 증명에 대한 저항성으로 인해 새로운 공리의 강력한 후보로 제안된다. 이는 실험 수학으로의 전환을 반영한다.
• 인간 지적 진보는 찰린의 정지 확률 Ω에서 결정 가능한 비트 수로 측정할 수 있으며, 각 비트는 더 깊은 수학적 통찰에 대한 한 걸음으로 간주된다.
• 디지털 철학 패러다임은 라이프니츠의 비전을 바탕으로 하며, 법칙은 단순하고 현상은 풍부한 우주를 구성한다. 이는 이제 알고리즘 정보 이론과 복잡계 연구를 통해 실현되고 있다.