[논문 리뷰] The Church-Turing thesis as a guiding principle for physics

Karl Svozil|ArXiv.org|1997. 10. 22.

Computability, Logic, AI Algorithms참고 문헌 43인용 수 34

한 줄 요약

이 논문은 물리학의 기초 원리로서의 Church-Turing 논법을 탐구하며, 물리 법칙이 무엇이 계산 가능할 수 있는지를 제약한다는 주장을 펼친다. 무한한 계산을 유한한 시간 내에 수행할 수 있는 'Zeno-압축된' 시간 주기의 가능성을 분석하며, 정지 문제와 같은 비계산 가능한 문제를 결정 가능하게 하고, 가역적(일对일) 계산의 성질을 조사한다. 측정의 비가역성이 본질적인 물리 법칙이 아니라 실용적 제약의 산물일 수 있음을 제기한다.

ABSTRACT

Two aspects of the physical side of the Church-Turing thesis are discussed. The first issue is a variant of the Eleatic argument against motion, dealing with Zeno squeezed time cycles of computers. The second argument reviews the issue of one-to-one computation, that is, the bijective (unique and reversible) evolution of computations and its relation to the measurement process.

연구 동기 및 목표

• Church-Turing 논법이 수학적 가설 외에도 계산을 제약하는 물리 원리로 간주되어야 하는지 탐구하기.
• Zeno의 역설에 영감을 얻어 시간 압축 주기를 사용하여 유한한 시간 내에 무한한 계산을 수행하는 것이 물리적으로 가능한지 분석하기.
• 일대일(일대일) 계산이 양자 측정과 측정 결과의 명백한 비가역성과 어떻게 관련되어 있는지 조사하기.
• 측정의 비가역성이 본질적인 특성이라고 보는 가정을 도전하며, 이는 물리 법칙이 아니라 실용적 제약에서 기인할 수 있음을 주장하기.

제안 방법

• 기하급수적 시간 주기의 순환을 사용하여 이론적 'Zeno-압축 오라클 기계'를 구축하며, 계산 단계를 압축하여 외부 시간 기준으로 유한한 시간 내에 무한한 단계를 완료하도록 한다.
• 두 가지 시간 척도를 사용한다: 내재된 이산 주기 시간(t = 0,1,2,...)과 고유 시간 τ이며, τ는 t가 증가함에 따라 무한대에 수렴한다. 이는 유한한 물리적 시간 내에 무한한 계산을 가능하게 한다.
• 정지 문제와 같은 비계산 가능한 문제를 해결하고, Chaitin의 Ω(알고리즘적 난수이자 비계산 가능한 수)을 유한한 시간 내에 생성한다.
• 순열 행렬(예: 6×6 행렬 U)을 통한 가역적 오토마타 분석을 통해 측정 결과는 정보 추출의 시기와 인터페이스에 따라 달라지며, 동역학의 비가역성과는 무관하다는 것을 보여준다.
• 측정 과정을 정보가 시스템에 저장되는 과정으로 모델링하며, 반전을 방지하기 위해 정보 손실이 필요하다는 점에서 비가역성이 본질적인 것이 아니라 운영적 조건에서 기인한다는 것을 시사한다.
• 양자역학과 유사성을 제시하며, 특히 Schrödinger의 '기대값 목록'과 유사하다. 파동함수 붕괴가 정보가 보존된다면 원칙적으로 가역적일 수 있음을 시사한다.

실험 결과

연구 질문

• RQ1 물리 시스템은 유한한 시간 내에 무한한 계산을 수행할 수 있는가? 만약 가능하다면 어떤 조건에서 가능한가?
• RQ2 Church-Turing 논법이 물리 원리로서 유지되는가, 아니면 물리 법칙이 초계산을 허용할 수 있는가?
• RQ3 양자역학과 계산에서 측정의 명백한 비가역성이 본질적인 특성인지, 아니면 정보 손실의 산물인지?
• RQ4 계산에서 일대일(일대일) 진화가 측정 과정과 정보의 구조와 어떻게 관련되어 있는가?
• RQ5 Zeno-압축된 계산을 갖는 물리 시스템을 사용하여 Chaitin의 Ω과 같은 비계산 함수를 유한한 시간 내에 생성할 수 있는가?

주요 결과

• Zeno-압축 오라클 기계는 유한한 고유 시간 내에 무한한 수의 계산 단계를 수행할 수 있으며, 이는 정지 문제의 해결을 가능하게 한다.
• Chaitin의 Ω은 알고리즘적으로 난수이자 비계산 가능한 수이지만, 이러한 기계를 통해 유한한 시간 내에 생성될 수 있으며, 이는 물리적 초계산의 가능성을 보여준다.
• 일대일 사상(예: 순열 행렬)을 통한 가역적 계산은 측정 결과가 동역학의 비가역성과는 무관하게 정보 추출의 시기와 인터페이스에 따라 달라진다는 것을 보여준다.
• 가역적 시스템에서 측정 결과의 분할 논리가 비보수적(비분배적)일 수 있으며, 이는 MO₂와 동형일 수 있다. 이는 일대일 진화조차도 비고전적 특성을 띨 수 있음을 시사한다.
• 측정의 비가역성은 본질적인 것이 아니라 정보 삭제나 손실의 실용적 결과일 수 있으며, 이는 양자 상태 재구성이 이론적으로 가능하다는 것을 시사한다.
• 일대일 가역 우주에서는 모든 계산과 측정이 단일하게 보존된 '메시지'의 순열로 간주될 수 있으며, 이는 양자역학의 일부 철학적 해석과 일치한다.