물리학에 상대화된 교회 튜링 가설: 이론별 계산능력의 체계적 탐구

초록

이 논문은 “교회‑튜링 가설(CTH)”을 추상적인 자연 전체가 아니라 구체적인 물리 이론 Φ에 상대화하여 정의한다. 물리학의 구조주의와 계산복잡도 이론을 결합해, 각 이론마다 가능한 계산 모델을 명시하고, 기존·신규 예시를 통해 물리‑상대화된 CTH가 어떻게 실증적·이론적 논쟁을 정리하는지 보여준다.

상세 분석

본 논문은 교회‑튜링 가설을 ‘모든 물리적 현상에 적용되는 보편적 명제’로 보는 전통적 접근을 비판하고, 물리 이론 Φ를 명시적으로 지정함으로써 “CTH Φ”라는 새로운 패러다임을 제시한다. 저자는 물리학을 ‘구조주의적 메타이론’으로 해석하고, 각 이론이 다루는 현상 영역과 가정(예: 연속성, 무한소, 이상점)의 차이를 명시함으로써 계산가능성의 경계를 이론별로 구분한다.

핵심적인 기술적 기여는 다음과 같다. 첫째, 물리 이론을 계산 모델에 대응시키는 형식적 프레임워크를 제시한다. 여기서는 이론 Φ의 기본 객체, 법칙, 그리고 측정·입출력 절차를 명시적으로 정의하고, 이를 바탕으로 “CTH Φ”가 의미하는 ‘물리적 컴퓨터가 튜링 기계보다 강력한가?’라는 질문을 정형화한다. 둘째, 기존에 제시된 ‘하이퍼컴퓨팅’ 사례들을 물리‑상대화된 관점에서 재검토한다. 일반 상대성 이론의 특수한 시공간 구조, 양자역학의 무한 중첩, 뉴턴 역학의 비충돌 특이점 등은 각각 특정 Φ에 종속된 가정 위에서만 의미를 갖는다. 논문은 이러한 사례들이 실제 물리적 실현 가능성보다 해당 이론의 비현실적 전제에 의존함을 지적한다.

또한, 저자는 ‘구축주의(constructivism)’를 물리 이론에 도입한다. 즉, 존재한다는 주장 자체가 실제로 구현 가능한 절차와 연산적 구성을 제공해야 함을 강조한다. 이는 “CTH Φ”를 검증하거나 반증할 때, 단순히 수학적 존재론적 증명이 아니라 물리적 실험·시뮬레이션 가능한 프로토콜을 요구한다는 의미이다.

마지막으로, 논문은 연구 프로그램으로서 “CTH Φ”를 활용한 계산 물리학의 발전 가능성을 제시한다. 천체역학(케플러·아리스토텔레스·프톨레마이오스), 광학(기하광학·전기역학), 양자역학(양자 논리) 등 구체적 분야에 대해, 각 이론이 허용하는 계산 복잡도 클래스를 명시하고, 이를 기존 튜링 모델과 비교함으로써 물리‑상대화된 복잡도 계층을 구축한다. 이러한 접근은 물리학과 이론 컴퓨터 과학 사이의 교차점을 명확히 하여, “CTH Φ”가 단순한 철학적 명제에서 실증적·정형적 연구 도구로 전환되는 길을 연다.