이 논문은 콜라츠 추측의 증명을 제시합니다. 이 증명은 세 가지 구조적 요소에 의존합니다: 홀수 규칙의 +1은 4, 2, 1을 제외한 모든 루프를 금지하고; 수축 비율 3/4 < 1은 스케일 불변의 하강 벡터를 정의하며; 그리고 콜라츠 수렴 공리 — 모든 수열 σᵏ(N)이 1로 수렴한다는 주장은 선택 공리의 전통에 따라 ZFC와 독립적인 기초 전제로 제안됩니다. 모순에 의한 증명: 비수렴은 공리를 위반합니다. Lean 4에서 형식화되어 CI 통과.
타케오 야마모토는 이 질문을 연구했습니다.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: