[논문 리뷰] Infinite Time Turing Machines: Supertask Computation

Joel David Hamkins|ArXiv.org|2002. 12. 03.

Computability, Logic, AI Algorithms참고 문헌 6인용 수 7

한 줄 요약

이 논문은 무한 시간 튜링 기계(ITTMs)를 소개한다. 이는 고전적 튜링 기계를 순서형 무한 시간으로 확장한 계산 모델로, 무한한 단계를 거치는 수퍼태스크—무한한 수의 계산 단계를 포함하는 알고리즘—을 가능하게 한다. 주요 기여는 무한산 계산 가능성에 대한 강력한 프레임워크를 제공하며, 0과 점프 $0^{\blacktriangledown}$ 사이에 중간 실수 차수는 존재하지 않지만, 실수 집합에 대해서는 풍부한 차수 구조가 존재함을 드러내며, 수퍼태스크 환경에서 포스트의 문제를 긍정적인 해로 해결한다. 이는 고전적 프리드리히-문츠 우선순위 증거의 유사물이다.

ABSTRACT

Infinite time Turing machines extend the operation of ordinary Turing machines into transfinite ordinal time. By doing so, they provide a natural model of infinitary computability, a theoretical setting for the analysis of the power and limitations of supertask algorithms.

연구 동기 및 목표

• 무한한 계산 단계를 포함하는 알고리즘—즉, 수퍼태스크의 이론적 능력을 반영하는 무한산 계산 가능성의 모델을 체계화하기 위해.
• 고전적 계산 가능성 이론을 순서형 무한 시간으로 확장하여, 기계가 무한한 수의 연산을 수행할 수 있도록 하기 위해.
• 무한 시간 튜링 기계 차수의 구조를 분석하고, 0과 점프 $0^{\blacktriangledown}$ 사이에 중간 차수들이 존재하는지 여부를 규명하기 위해. 이는 포스트의 문제와 유사하다.
• 고전적 우선순위 증거 기법을 수퍼태스크 환경으로 일반화하여, 실수 집합에 대해 풍부한 차수 구조가 존재함을 보여주기 위해.

제안 방법

• 고전적 튜링 기계 모델을 순서형 무한 시간으로 확장하여, $\omega$, $\omega+1$, $\omega+\omega$ 등과 같은 극한 단계의 구성 상태를 허용한다.
• 각 단계에서 기계의 구성 상태를 이전 구성 상태들의 극한으로 정의하며, 헤드 위치와 테이프 내용은 고정된 유한 프로그램에 따라 갱신된다.
• 약한 점프 $A^{\triangledown}$과 강한 점프 $A^{\blacktriangledown}$라는 두 가지 점프 연산자를 도입한다. 약한 점프는 프로그램이 유한 시간 내에 정지하는지 결정하고, 강한 점프는 모든 단계—유한 단계뿐 아니라 극한 단계까지—에서 정지 여부를 결정한다.
• 흡수 성질 $A^{\triangledown\blacktriangledown} \equiv_{\infty} A^{\blacktriangledown}$을 이용하여 강한 점프가 약한 점프보다 엄격히 강력함을 보여준다.
• 프리드리히-문츠 증거와 유사한 우선순위 증거를 구성하여, 수퍼태스크 환경에서 상호 비가역적인 준결정 집합 $A$와 $B$가 존재함을 보여준다.
• 무한 시간 계산 가능성 하에서 실수와 실수 집합의 차수 구조를 분석하고, 고전적 튜링 차수와 비교한다.

실험 결과

연구 질문

• RQ1 실수에 대한 무한 시간 튜링 기계 차수의 맥락에서, 0과 점프 $0^{\blacktriangledown}$ 사이에 중간 준결정 차수 $z$ 가 존재하는가?
• RQ2 실수 집합에 국한했을 때, 고전적 포스트의 문제는 수퍼태스크 환경에서 긍정적인 해를 가질 수 있는가?
• RQ3 무한 시간 차수 구조가 고전적 튜링 차수 구조와 얼마나 유사하거나 다름을 보이는가?
• RQ4 고전적 재귀 이론에서의 우선순위 증거 기법을 무한 시간 환경에 적응시켜 중간 차수를 구성할 수 있는가?
• RQ5 약한 점프 $A^{\triangledown}$과 강한 점프 $A^{\blacktriangledown}$ 사이의 계산 능력 측면에서의 관계는 무엇인가?

주요 결과

• 0과 $0^{\blacktriangledown}$ 사이에 실수 $z$ 가 존재하지 않으며, 따라서 실수에 대해선 중간 차수는 존재하지 않는다.
• 강한 점프 $A^{\blacktriangledown}$는 흡수 성질 $A^{\triangledown\blacktriangledown} \equiv_{\infty} A^{\blacktriangledown}$을 통해 약한 점프 $A^{\triangledown}$를 흡수함을 보여, 계산 능력에서 상당한 증가가 있음을 시사한다.
• 중간 실수 차수의 부재에도 불구하고, $A \perp_{\infty} B$를 만족하는 상호 비가역적인 준결정 집합 $A$와 $B$가 존재함을 보여, 실수 집합에 대해선 풍부한 차수 구조가 존재한다.
• 무한 시간 차수 구조는 고전적 프리드리히-문츠 우선순위 증거의 수퍼태스크 유사물과 일치하며, 이 환경에서 포스트의 문제에 대해 긍정적인 해를 제공한다.
• 점프 정리가 무한 시간 환경에서도 성립한다: $A <_{\infty} A^{\triangledown} <_{\infty} A^{\blacktriangledown}$로, 계산 능력의 엄격한 계층이 존재함을 보여준다.
• 결과적으로 $0^{\triangledown} <_{\infty} 0^{\blacktriangledown}$이므로, 약한 정지 문제 $h$는 강한 정지 문제 $H$보다 엄격히 약하다는 것을 확인하며, 두 문제 사이에 비대칭적 관계가 있음을 입증한다.