정수의 교회 카디널 서수 표현과 콜모고로프 복잡도

본 논문은 정수를 표현하는 세 가지 고전적 방법—교회 함수 반복자(Church), 집합의 카디널(cardinal), 전순서형 서수(ordinal)—을 컴퓨터 프로그램이 직접 다룰 수 있는 형태로 변환(effetivization)하고, 각 변환된 표현에 대해 Kolmogorov 복잡도 Kρ를 정의·비교한다. 1. **배경 및 기본 정의** - Kolmogorov 복잡도 K는 이진 프로그램 길이로 정의되며, 최적의 보편적 언어가 존재한다는 불변성 정리를 전제로 한다. - 무한 계산을 허용한 K∞, 점프 오라클을 이용한 K_i·K_i,∞, 그리고 프리픽스 자유 제한을 둔 H 계열 복잡도가 기존 문헌에 소개된다. 2. **정수의 추상적 표현** - (C,R) 형태의 표현을 정의한다. 여기서 C는 무한 집합(예: 모든 함수, 모든 집합 등)이고, R:C→ℕ(또는 ℤ) 은 전사 부분함수이다. - 구체적 예시로는 (i) 교회 반복자: 함수 f에 대해 fⁿ을 정의하고, R(F)=n iff F은 n번째 반복자; (ii) 카디널: 유한 집합 X에 대해 R(X)=|X|; (iii) 서수: 유한 전순서 집합의 순서형을 반환한다. 3. **효과화 과정** - 타입 0 객체는 자연수, 타입 1은 재귀적으로 열거 가능한 집합, 타입 2는 부분 재귀 함수와 고차 연산으로 제한한다. - 효과화된 집합 E는 부분 재귀 함수들의 집합 PR(X→Y) 혹은 효과적인 연산(Eff)으로 구성된다. - 강보편적 기계 U와 컴파일러 comp(e,p)를 이용해 프로그램을 효과적인 연산에 매핑한다. 4. **재귀이론적 표현 정의** - 효과화된 C와 전사 ρ:C→ℕ(또는 ℤ)를 이용해 ‘재귀이론적 표현’ ρ를 만든다. - 구체적인 구현 예시: Church N은 효율적 교회 반복자 Iₙ을 인덱스 e로 나타내고, card N은 부분 재귀 함수 f의 유한 정의역 크기, ord N은 함수 f:N²→N가 정의하는 유한 전순서의 순서형을 반환한다. 5. **복잡도와 구문 복잡도 분석** - 각 ρ에 대해 Kρ를 정의하고, Kρ와 기존 K, K′, K∞ 등과의 관계를 조사한다. - 구문 복잡도 측면에서, 예를 들어 Church N의 정의역에 해당하는 집합은 Π⁰₂‑완전, 그 인덱스 집합은 Σ⁰₃‑완전임을 보인다. - 주요 정리: * K = ct K_{card N} = ct K_{card N}^∞ * K′ = ct K_{Church N} = ct K_{Church N}^∞ * K′′ = ct K_{ord N} = ct K_{ord N}^∞ 등, * 그리고 K < ct K′ < ct K′′ < … 가 성립한다. 6. **주요 결과와 의미** - 정수의 추상적 표현을 어떻게 효과화하느냐에 따라 Kolmogorov 복잡도가 달라지며, 이는 오라클 상대화(점프 오라클)와 무한 계산 허용이 만든 복잡도 사다리와 정확히 일치한다. - 따라서 고차 타입·오라클 이론과 전통적인 Kolmogorov 복잡도 이론을 연결하는 새로운 계층 구조를 제시한다. 7. **결론** - 정수의 다양한 수학적 모델을 프로그램 가능한 형태로 변환하고, 각각에 대한 Kolmogorov 복잡도를 체계적으로 분석함으로써, 복잡도 이론에 새로운 시각을 제공한다. 이 결과는 계산 모델의 선택이 정보량 측정에 미치는 영향을 명확히 보여주며, 향후 고차 타입, 오라클, 무한 시간 계산을 포함하는 복합 모델 연구에 기초가 될 수 있다.