스스로가 될 수 있는 것들

초록

이 논문은 “자기 자신으로 만들 수 있는” 성질을 정의하고, 단일 집합 특성 중 어떤 것이 이런 자기재현성을 가질 수 있는지를 완전하게 규명한다. 또한 포함관계(유한 차이 이하) 하에서 왼쪽‑r.e. 집합들의 구조를 탐구하여 최소와 최대 왼쪽‑r.e. 집합이 존재함을 보이고, 이 두 종류의 집합이 자기재현성을 가질 수 있는지 여부를 조사한다.

상세 분석

논문은 먼저 “성질 P가 자기 자신으로 만들어질 수 있다”는 개념을 정형화한다. 여기서 ‘왼쪽‑r.e. 집합’이란 열거 가능한 근사열이 점점 증가하면서 한계에 수렴하는 집합을 의미하고, 모든 왼쪽‑r.e. 집합을 번호 매긴 열(sequence) α₀,α₁,… 을 선택한다. 그때 인덱스 집합 {e : α_e 가 P를 만족}이 다시 성질 P를 갖는다면 P는 자기재현성을 가진다. 이 정의는 기존의 자기언어(self‑reference) 개념을 집합론적 성질에 적용한 것으로, 메타수학적 고찰과 효과적 구조 이론을 연결한다.

주요 결과는 단일 집합 특성(즉, “x ∈ A” 형태의 성질) 중 어떤 것이 자기재현성을 가질 수 있는지를 정확히 구분한다. 저자는 두 가지 기준을 도입한다. 첫째, 해당 특성이 ‘열거 가능’하고 ‘반열거 가능’인지 여부; 둘째, 그 특성이 ‘정규 언어’ 혹은 ‘무작위성’과 같은 복잡도 이론적 성질과 어떻게 상호작용하는지이다. 이를 통해 마틴‑로프 무작위성(Martin‑Löf randomness)과 같은 고차원 무작위성 성질은 자기재현성을 갖지만, 단순히 ‘유한 집합’이나 ‘공집합’과 같은 트리비얼한 특성은 그렇지 않음을 증명한다. 특히, 무작위성 성질이 자기재현성을 갖는 이유는 무작위 집합들의 인덱스 집합 자체가 무작위성을 보존하는 구조적 특성을 가지고 있기 때문이다.

두 번째 연구축은 포함관계 modulo finite, 즉 두 집합이 유한 차이 이하로 포함되는 순서 구조를 조사한다. 기존의 r.e. 집합 구조에서는 최대 원소(최대 r.e. 집합)만 존재하고 최소 원소는 없었다. 그러나 왼쪽‑r.e. 집합에서는 최소 원소와 최대 원소가 모두 존재함을 보인다. 최소 왼쪽‑r.e. 집합은 모든 비공집합이 무한히 많은 새로운 원소를 추가할 수 없도록 설계된 ‘희소’ 구조이며, 최대 왼쪽‑r.e. 집합은 모든 다른 왼쪽‑r.e. 집합이 유한 차이 이하로 포함되는 ‘포화’ 구조이다. 이 두 집합의 구성은 전통적인 프리드버그(Friedberg) 최대 r.e. 집합의 구성과는 근본적으로 다르다. 프리드버그는 우선순위 방법을 이용해 무한히 많은 요구를 만족시키는 반면, 여기서는 ‘증분 근사열’과 ‘유한 차이 제한’을 동시에 제어하는 새로운 기술을 도입한다. 구체적으로, 최소 집합은 단계별로 새로운 원소를 추가할 때마다 기존 원소와의 충돌을 방지하도록 설계하고, 최대 집합은 모든 가능한 요구를 미리 예측해 미리 채워 넣는 ‘전방위 포화’ 전략을 사용한다.

마지막으로, 최소와 최대 왼쪽‑r.e. 집합이 자기재현성을 가질 수 있는지를 물음에 대해, 저자는 부정적인 결론을 제시한다. 최소 집합의 인덱스 집합은 반드시 ‘비정규’이며, 그 자체가 최소성을 유지하려면 인덱스 집합이 다시 최소성을 가져야 하는데 이는 모순을 일으킨다. 마찬가지로 최대 집합도 인덱스 집합이 최대성을 유지하려면 모든 다른 인덱스가 유한 차이 이하로 포함돼야 하는데, 이는 인덱스 집합 자체가 최대성을 갖는다는 전제가 불가능함을 의미한다. 따라서 최소·최대 왼쪽‑r.e. 집합의 성질은 자기재현성을 가질 수 없으며, 이는 앞서 정의한 ‘성질 P가 자기 자신으로 만들어질 수 있다’는 조건과 직접적으로 충돌한다.

전체적으로 이 논문은 자기참조적 성질과 효과적 순서 구조 사이의 미묘한 상호작용을 밝히며, 특히 왼쪽‑r.e. 집합이라는 새로운 연구 대상에 대한 구조적 이해를 크게 확장한다.