PR 지도와 부분 PR 지도 이론

초록

이 논문은 원시 재귀(PR) 이론을 방정식과 하나의 Horner형 스키마로 단순화하고, 자유 변수와 술어 추상화를 통해 부분 PR 지도 체계를 구축한다. 구축된 부분 PR 이론은 대각선 모노이달 구조를 가지며 μ-재귀와 while‑루프의 범주적 모델과 동등함을 보인다.

상세 분석

논문은 먼저 전통적인 PR 이론을 “방정식 사이의 동등성”과 Freyd가 제시한 초기화된 반복의 유일성(Horner 타입 스키마) 하나만으로 재구성한다. 이 접근법은 변수와 항을 별도로 도입하지 않고, 자유 변수를 투사(projection)라는 이름으로 형식화함으로써 변수‑없는 범주적 언어를 만든다. 술어 χ:A→2 를 객체 {A|χ} 로 해석하는 추상화 스키마(abstr)를 추가하면, PR 이론에 새로운 객체가 확장되어 PRA라는 확대된 이론이 된다. 여기서 PRA는 “객체 수준에서의 술어 추상화”를 공식화한 것으로, 기존 PR의 함수적 구조에 논리적 서술을 겹쳐 넣는다.

다음 단계에서 저자는 부분 PR 지도 이론 P̂R_A 를 정의한다. 이는 PR_A 를 포함하면서도 정의되지 않을 수 있는 부분 함수를 허용한다. 부분 함수를 다루기 위해 저자는 “대각선 모노이달(diagonal monoidal) 카테고리” 구조를 도입한다. 대각선 구조는 부분 함수의 합성에서 정의역과 공역이 동일한 객체로 자동 정렬되는 성질을 제공한다. 이 구조 덕분에 P̂R_A 는 μ‑재귀(최소 고정점 연산)와 while‑루프를 부분 PR 지도 형태로 모델링하는 기존의 범주적 이론과 동등함을 증명한다. 즉, 모든 μ‑재귀 함수와 while‑루프는 P̂R_A 안에서 부분 PR 지도로 정확히 기술될 수 있다.

특히 논문은 “Church’s Thesis”를 새로운 관점에서 재해석한다. 전통적으로 Church‑Thesis는 계산 가능한 함수와 튜링 기계 사이의 동등성을 주장하지만, 여기서는 자유 변수와 술어 추상화를 통해 변수‑없는 범주적 틀 안에서 부분 PR 지도만으로 모든 효과적인 계산을 기술할 수 있음을 보인다. 따라서 계산 가능성의 본질이 “부분 PR 지도”라는 단일 범주적 객체에 귀결된다는 의미를 갖는다. 이 결과는 기존의 함수‑중심적 접근과 달리, 객체‑중심적이고 대수적 구조에 기반한 새로운 계산 이론의 토대를 제공한다.

전체적으로 논문은 PR 이론을 대수적으로 정제하고, 부분 함수를 자연스럽게 포함하는 확장 이론을 구축함으로써, μ‑재귀와 while‑루프, 그리고 Church‑Thesis까지 하나의 범주적 프레임워크 안에 통합한다는 중요한 통찰을 제공한다.