[논문 리뷰] The Lost Melody Phenomenon

Merlin Carl|arXiv (Cornell University)|2014. 07. 14.

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

한 줄 요약

이 논문은 무한계산 모델에서의 '잃어버린 멜로디' 현상, 즉 실수 하나가 계산 가능하지는 않지만 인식 가능할 수 있는 현상을 조사한다. 무리화되지 않은 무한시간 레지스터 기계(wITRM)에서는 이러한 현상이 발생하지 않음을 증명하면서, 특정 순서수에 대해 리셋팅 α-레지스터 기계에서는 이러한 현상이 존재함을 보여준다. 주요 기여는 다양한 무한계산 기계 모델에서 인식 가능성과 계산 가능성 간의 관계를 정밀하게 규명한 데 있다.

ABSTRACT

A typical phenomenon for machine models of transfinite computations is the existence of so-called lost melodies, i.e. real numbers $x$ such that the characteristic function of the set $\{x\}$ is computable while $x$ itself is not (a real having the first property is called recognizable). This was first observed by J. D. Hamkins and A. Lewis for infinite time Turing machine, then demonstrated by P. Koepke and the author for $ITRM$s. We prove that, for unresetting infinite time register machines introduced by P. Koepke, recognizability equals computability, i.e. the lost melody phenomenon does not occur. Then, we give an overview on our results on the behaviour of recognizable reals for $ITRM$s. We show that there are no lost melodies for ordinal Turing machines or ordinal register machines without parameters and that this is, under the assumption that $0^{\sharp}$ exists, independent of $ZFC$. Then, we introduce the notions of resetting and unresetting $α$-register machines and give some information on the question for which of these machines there are lost melodies.

연구 동기 및 목표

• 무리화되지 않은 무한시간 레지스터 기계(wITRM)에서 '잃어버린 멜로디' 현상—즉, 실수가 인식 가능하지만 계산 가능하지 않은 현상—이 발생하는지 여부를 규명하는 것.
• 특히 구성 가능한 계층과 정의 가능성과의 관계에서, 무한시간 레지스처 기계(ITRM)에서 인식 가능한 실수의 행동을 분석하는 것.
• 매개변수 없이 순서수 트리거 기계(OTM)와 순서수 레지스터 기계(ORM)에서 잃어버린 멜로디가 존재하는지, 그리고 ZFC로부터의 독립성 여부를 0# 가정 하에 평가하는 것.
• 리셋팅 및 무리화되지 않은 α-레지스터 기계를 도입하고 비교하며, 어떤 순서수 α 에서 잃어버린 멜로디가 발생하는지 규명하는 것.
• 특히 구성 가능한 유니버스 L 와 L 내부의 인덱스 존재성과 관련하여, 무한계산 모델에서의 계산 가능성과 인식 가능성의 경계를 명확히 하는 것.

제안 방법

• wITRM(무리화되지 않은 ITRM)에서, 한계 행동을 분석함으로써 인식 가능성과 계산 가능성의 관계를 증명하기 위해 레지스터 값의 liminf 규칙을 사용하고, 가산 계산 길이에서 오버플로우가 발생하지 않음을 보여줌.
• 술어 집합 이론과 정밀 구조 이론의 결과를 적용하여, α = ω 일 때 wITRM에서 잃어버린 멜로디가 존재하지 않지만, α = ω+1 일 때는 존재함을 보임.
• L_δ 내의 실수의 원소로 구성된 기본 헐(hull)이 되는 최소한의 한계 지점 γ > α 가 존재함을 이용하여, L_γ 가 정의 가능함을 보이고, 따라서 고유한 최소 실수를 코드화함.
• Shoenfield 절대성 원리를 적용하여, α ≥ ω₁ 일 때 매개변수 없는 ORM-계산 가능성과 wITRM-계산 가능성의 일치를 보이고, 이는 이러한 모델에서 잃어버린 멜로디가 존재하지 않음을 의미함.
• L_{γ+2} 내의 진리 술어를 사용하여 ω 와 L_γ 간의 정의 가능한 전단사 함수를 구성함으로써, γ+1 이 인덱스임을 증명하고, 따라서 L_γ 가 인식 가능함을 보임.
• L_ζ+2 의 구조를 분석하여, L_ζ 의 코드의 <_L 최소성 조건을 검증함. 최소 코드는 반드시 L_{ζ+2} 내에 존재하므로, 진리 술어 평가를 통해 확인 가능함.

실험 결과

연구 질문

• RQ1 무리화되지 않은 무한시간 레지스터 기계(wITRM)에서 '잃어버린 멜로디' 현상—즉, 실수가 인식 가능하지만 계산 가능하지 않은 현상—이 발생하는가?
• RQ2 어떤 순서수 α 에 대해 리셋팅 α-레지스터 기계에서 잃어버린 멜로디가 존재하는가? 그러한 α 의 상한은 무엇인가?
• RQ3 매개변수 없이 순서수 트리거 기계(OTM)와 순서수 레지스터 기계(ORM)에서 잃어버린 멜로디가 존재하는가? 이 질문은 ZFC와 독립적인가?
• RQ4 α ≥ ω₁ 일 때 wITRM 에서 계산 가능성과 인식 가능성 간의 관계는 무엇이며, 이는 잃어버린 멜로디의 부재를 의미하는가?
• RQ5 α-레지스터 기계에서 잃어버린 멜로디의 존재는 구성 가능한 계층과 L 내부의 인덱스 존재성 측면에서 특징지을 수 있는가?

주요 결과

• wITRM(무리화되지 않은 무한시간 레지스터 기계)에서는 잃어버린 멜로디가 존재하지 않으며, 이는 가산 계산 길이와 liminf 한계 규칙에 기반해 인식 가능성에서 계산 가능성으로 이르는 것이 보장되기 때문이다.
• 리셋팅 α-레지스터 기계의 경우, 잃어버린 멜로디가 존재하는 것은 α < ω₁ 이며 무한한 경우에 국한되며, 이러한 실수들은 L_γ 수준의 최소 코드로 구성될 수 있다.
• 무리화되지 않은 α-레지스터 기계의 경우, α = ω+1 에서는 잃어버린 멜로디가 존재하지만, 어떤 가산 γ < ω₁ 에 대해 모든 α ≥ γ 에서는 더 이상 존재하지 않으며, 이는 날카로운 임계점이 있음을 시사한다.
• 매개변수 없는 경우, ORM 및 OTM에서 인식 가능한 실수의 집합은 L 내의 구성 가능한 실수와 일치하며, Shoenfield 절대성에 의해 잃어버린 멜로디가 존재하지 않는다.
• 매개변수 있는 OTM에서의 잃어버린 멜로디 존재 여부는 0# 가 존재한다고 가정할 경우 ZFC와 독립적이며, 이는 집합론적 결정 가능성의 기초적 한계를 보여준다.
• α ≥ ω₁ 일 때, wITRM-계산 가능성과 ORM-계산 가능성은 일치하며, 모든 계산이 가산적이므로 오버플로우가 발생하지 않으며, 따라서 이러한 모델에서는 잃어버린 멜로디가 존재하지 않는다.