[논문 리뷰] The Collatz 3n+1 Conjecture is Unprovable

Craig Alan Feinstein|arXiv (Cornell University)|2003. 12. 16.

Benford’s Law and Fraud Detection참고 문헌 4인용 수 5

한 줄 요약

이 논문은 어떤 증명도 지수적으로 복잡한 홀짝성 패턴(모듈로 2)의 순서를 특정해야 하므로, 이 패턴들이 알고리즘적 난수이기 때문에 유한한 길이의 증명으로 압축될 수 없기 때문에 콜라츠 3n+1 추측이 형식적으로 증명 불가능하다고 주장한다. 핵심 결과는 유한한 증명이 자신이 포함하는 비트 수를 초월해야 하므로 모순이 발생함을 보여주는 귀류법을 통한 증명으로, 이는 추측이 참이지만 형식 체계 내에서 증명 불가능하다는 것을 의미한다.

ABSTRACT

In this paper, we show that any proof of the Collatz 3n+1 Conjecture must have an infinite number of lines; therefore, no formal proof is possible.

연구 동기 및 목표

• 강력한 경험적 및 히우리스틱적 증거가 있음에도 불구하고 콜라츠 3n+1 추측이 형식적으로 증명될 수 없다는 것을 보여주기 위해.
• 알고리즘적 난수성과 수론에서의 증명 불가능성 간의 연결 고리를 설정하기 위해.
• 수열의 확률적 또는 난수 유사 행동에 의존하는 문장은 참일 수 있지만 증명 불가능할 수 있다는 아이디어를 형식화하기 위해.
• 프레드먼 다이슨의 철학적 통찰을 확장하여 콜라츠 추측에 대해 증명 불가능성에 대한 엄밀한 증명을 제시하기 위해.

제안 방법

• 알고리즘 정보 이론을 통해 난수를 정의: 길이가 k인 이진 벡터가 압축 가능하지 않다면, 즉 원래 길이 이하의 비트로 표현될 수 없다면 난수로 간주한다.
• 정리 1을 사용하여 어떤 길이 k인 이진 수열도, 어떤 n에 대해 T(n)의 첫 k개 반복의 홀짝성 벡터(모듈로 2)로 표현될 수 있음을 보여준다.
• 정리 2를 적용하여 T^(k)(n) = 1의 증명은 반드시 (n, T(n), ..., T^(k-1)(n)) mod 2의 전체 홀짝성 수열을 포함해야 한다는 것을 증명한다.
• 가정된 증명 길이 L에 대해 길이 L+1인 난수 홀짝성 벡터를 구성하여, 증명에서 이용 가능한 비트 수를 초월하는 반례를 만든다.
• 필요로 하는 홀짝성 수열을 특정하기 위해 L+1 비트가 필요하다는 점을 보여주어 모순을 유도함으로써, 유한한 증명이 존재하지 않음을 입증한다.
• 함수의 출력이 홀짝성 수열에 의존한다는 것을 형식화하기 위해 공식 T^(k)(n) = λ_k(n)n + ρ_k(n)을 사용한다. 여기서 λ_k와 ρ_k는 홀짝성 수열에 따라 결정된다.

실험 결과

연구 질문

• RQ1 콜라츠 3n+1 추측은 유한한 공리 체계 내에서 형식적으로 증명될 수 있는가?
• RQ2 콜라츠 반복의 홀짝성 수열에서의 알고리즘적 난수성은 유한한 형식적 증명을 얼마나 막는가?
• RQ3 확률적 히우리스틱과 수론에서의 증명 불가능성 간에 형식적인 연결 고리가 존재하는가?
• RQ4 기반 데이터의 압축 불가능성으로 인해 어떤 문장이 매우 가능성 있지만 형식적으로 증명 불가능해질 수 있는가?

주요 결과

• 콜라츠 3n+1 추측의 어떤 형식적 증명도 최소 L 비트를 포함해야 하며, 여기서 L은 증명의 길이다.
• 홀짝성 수열 (n, T(n), ..., T^(L)(n)) mod 2가 알고리즘적으로 난수이며 따라서 L+1 비트로 특정되어야 하는 자연수 n이 존재한다.
• 증명는 어떤 k > L에 대해 T^(k)(n) = 1을 확인하기 위해 이 L+1 비트 난수 수열을 특정해야 하므로, 오직 L 비트로는 존재할 수 없다.
• 확률적 히우리스틱에 의해 추측은 참일 가능성이 높지만, 필요한 홀짝성 데이터의 압축 불가능성으로 인해 그 참을 형식적으로 확립할 수 없다.
• 유한한 증명이 존재하지 않는다는 결과는, 길이 L+1인 이진 벡터 중 적어도 절반 이상이 알고리즘적으로 난수이기 때문에, 그러한 반례가 존재함을 보장한다.
• 이 결과는 콜라츠 추측이 진리이지만 형식적으로 증명 불가능한 문장의 예임을 시사하며, 굿스테인의 불완전성 정리와 다이슨의 철학적 직관과 일치한다.