계산 과정과 불완전성

초록

본 논문은 셀룰러 오토마타를 기반으로 한 물리적 계산 모델인 ‘계산 과정’을 형식화하고, 이를 결정가능, 중간, 완전의 세 등급으로 분류한다. 표준 유한 부상(priority) 논증을 적용해도 중간 등급의 계산 과정을 존재함을 증명할 수 없음을 보인다.

상세 분석

논문은 먼저 Wolfram이 제시한 “계산 과정”이라는 개념을 셀룰러 오토마타(CA)라는 구체적 모델에 옮겨 놓는다. 여기서 계산 과정은 초기 구성(configuration)과 전이 규칙에 의해 전개되는 무한 시간의 궤적으로 정의되며, 물리적 실현 가능성을 강조한다. 저자는 이러한 과정에 대해 언어 이론적 관점에서 관측 가능한 출력 집합을 고려하고, 그 복잡도에 따라 세 가지 클래스로 나눈다.

첫 번째 클래스는 결정가능(Decidable) 과정이다. 이는 어떤 유한 시간 안에 모든 가능한 입력에 대해 정답을 산출하거나, 해당 과정이 생성하는 언어가 재귀적으로 열거 가능한 집합에 속함을 의미한다. 두 번째는 완전(Complete) 과정으로, 튜링 완전성을 만족해 임의의 재귀적으로 열거 가능한 언어를 시뮬레이션할 수 있다. 세 번째가 중간(Intermediate) 과정이다. 이는 결정가능도 아니고 완전도 아닌, 즉 재귀적으로 열거 가능하지만 그 자체로는 튜링 완전성을 갖지 않는 과정이다.

중간 과정의 존재 여부를 검증하기 위해 저자는 전통적인 유한 부상(priority) 논증을 차용한다. 이는 요구되는 요구사항들을 우선순위에 따라 순차적으로 만족시키는 방식으로, 컴퓨팅 이론에서 종종 고전적인 ‘중간 정도의 복잡도’ 집합을 구축할 때 사용된다. 논문은 이러한 논증 구조를 계산 과정에 그대로 적용하려 하면, 과정의 전이 규칙이 셀룰러 오토마타의 지역성(locality) 때문에 부상 단계에서 발생하는 충돌을 완전히 제어할 수 없음을 보인다. 구체적으로, 중간 과정을 만들기 위해서는 특정 패턴을 무한히 억제하거나 강제해야 하는데, 이는 CA의 동시성 및 결정론적 전이 규칙과 모순된다.

결과적으로, 표준 유한 부상 기법만으로는 중간 계산 과정을 구축할 수 없으며, 중간 등급이 존재한다는 증명도 불가능함을 논증한다. 이는 기존 재귀이론에서 중간 정도의 언어가 존재함을 보인 결과와는 대조적이며, 물리적(셀룰러 오토마타 기반) 모델에서는 복잡도 계층이 이분법적으로 나뉜다는 새로운 통찰을 제공한다.