반사성 및 대각선 논증의 한계와 새로운 실수 생성 알고리즘

초록

이 논문은 고전적인 반사성 패러독스와 대각선 논증이 제한정리 증명에 갖는 전제적 가정을 재검토한다
그리고 모든 실수를 한계 없이 근사할 수 있는 단순한 이진 트리 생성 알고리즘을 제시한다
이를 통해 기존의 불완전성·비결정성 결과가 실제 계산 가능성에 미치는 의미를 새롭게 해석한다

상세 분석

논문은 먼저 고전적인 불완전성 정리와 정지 문제 증명에 사용되는 두 가지 논리적 도구인 반사성 패러독스와 대각선 논증을 구분한다
반사성 부분에서는 “이 문장은 거짓이다”와 같은 자기언급 문장이 형식 체계 내에서 어떻게 모순을 일으키는지를 형식화하고
특히 공리 AK 를 도입하여 모든 문장을 자기 자신과의 합성으로 평가하도록 설계한 시스템을 제시한다
이 시스템은 형식적으로는 모순을 회피하지만 실제로는 “이 문장은 증명될 수 없다”와 같은 고전적 고델 문장을 여전히 생성한다
저자는 이러한 구조가 반사성에 의한 제한을 완전히 없애지는 못한다는 점을 인정한다

다음으로 정지 문제에 대한 논의에서는 기존의 튜링 증명을 재현하면서
테스터 T 와 보조 테스터 T0 를 병렬로 실행하는 변형 모델을 제안한다
T0 는 T 가 무한 루프에 빠지는 경우를 감시하고 반대로 T 가 정상 종료하면 즉시 0 을 반환하도록 설계되었다
이 구성은 형식적 모순을 피하면서도 정지 문제에 대한 “결정 가능성”을 주장한다
하지만 저자는 실제 실행 시간은 무한히 길어질 수 있음을 인정하고
결정 가능성 자체가 시간적 제한과는 별개의 개념임을 강조한다

대각선 논증에 대해서는 전통적인 비동일성 증명이 실수 집합과 유한 프로그램 집합의 크기 차이에만 의존한다는 점을 지적한다
그렇다고 해서 모든 실수를 한 번에 계산할 수 있는 단일 알고리즘이 존재하지 않는다고 결론짓는 것은 부적절하다고 주장한다
이를 뒷받침하기 위해 저자는 이진 트리를 순차적으로 탐색하면서 모든 길이 n 의 이진 문자열을 생성하는 알고리즘 AS 를 제시한다
AS 는 각 단계에서 길이 n 의 모든 문자열을 생성하므로 이론적으로는 무한히 긴 실수의 근사값을 한계적으로 얻을 수 있다
또한 AS 에 무작위 경로 선택기 L 과 압축성 검사기 E 를 결합하여 압축 불가능하거나 “m‑비압축”인 문자열만을 선택하도록 확장한다
이러한 조합은 특정 실수를 “비계산 가능”이라고 주장하면서도 실제로는 유한 단계에서 해당 문자열을 생성한다는 역설을 만든다

논문은 마지막으로 압축성 이론을 도입하여 대부분의 이진 문자열이 압축 가능하다는 통계적 사실을 제시하고
그럼에도 불구하고 압축 불가능한 문자열의 존재를 보장하는 정량적 식을 제시한다
이를 통해 저자는 기존의 차르틴‑고델‑추치니 정리가 전제하는 “모든 실수는 비계산 가능”이라는 명제가 실제 계산 모델에서는 반드시 성립하지 않을 수 있음을 주장한다

전체적으로 이 논문은 형식 이론과 계산 이론 사이의 경계를 흐리게 하면서
전통적인 불완전성·비결정성 결과가 실제 알고리즘 설계에 미치는 영향을 재평가한다
하지만 제안된 알고리즘은 이론적 존재성을 보이는 수준에 머무르며
시간 복잡도, 메모리 요구량, 무작위성 확보 등 실용적 제약을 충분히 논의하지 않은 점이 한계로 남는다