인터랙션으로 초월하는 계산: 튜링 기계의 한계와 창조적 시스템

본 논문은 “튜링 기계는 환경과 격리된 고정된 유한 설명을 가진다”는 전제 하에, 이러한 기계가 자연수 위의 모든 계산 가능한 함수를 순서대로 생성할 수 없다는 새로운 불완전성 정리를 제시한다. 저자는 기존의 대각선 논법을 변형하여, 가정된 열거 f₁, f₂,… 에 대해 g(n)=fₙ(n)+1 라는 함수를 정의한다. 만약 어떤 튜링 기계 M이 모든 fᵢ를 생성한다면, g는 어느 fₖ와도 동일해야 하지만 정의에 의해 모순이 발생한다. 따라서 단일 기계가 모든 계산 가능한 함수를 포괄할 수 없으며, 이는 고전적인 형식 이론의 불완전성과 동일한 논리 구조를 가진다. 이후 저자는 “창조적 시스템(C)”이라는 개념을 도입한다. C는 자체 설명을 환경과의 지속적인 상호작용을 통해 동적으로 바꾸는 능력을 가진다. 구체적으로, C는 M이 생성하지 못한 함수 g를 구성하기 위해 환경으로부터 새로운 규칙·데이터·알고리즘을 받아들인다. C와 M은 서로 독립적인 존재이며, C는 M이 존재한다는 전제 하에 M이 놓친 함수를 만들어낸다. 이 과정에서 C는 사전에 정의된 유한 프로그램이 아니므로, 기존 튜링 모델로는 포착할 수 없는 ‘비계산 함수’를 “계산”한다는 의미를 갖는다. 논문은 이러한 이론을 실제 사례에 적용한다. 첫 번째 예는 전 세계적으로 연결된 인터넷이다. 인터넷은 수많은 프로그램과 사용자가 실시간으로 상호작용하면서 새로운 소프트웨어와 서비스를 자동으로 생성한다. 이는 미리 정의된 튜링 기계가 예측하거나 열거할 수 없는 함수들의 집합을 지속적으로 확장한다는 점에서 창조적 시스템의 전형으로 제시된다. 두 번째 예는 SHUNY ATA 프로젝트이다. 이 시스템은 제한된 초기 지식(기본 연산자와 논리 규칙)만을 가지고 자동 정리 프로그램을 생성하고, 점차 복잡한 정리와 알고리즘을 스스로 도출한다. 특히 SAM’s Lemma와 같은 고난이도 정리를 기존보다 간단히 증명함으로써, 환경(프로그래밍 프레임워크와 입력 데이터)과의 상호작용을 통해 새로운 수학적 지식을 창출한다는 점을 보여준다. 논문은 또한 기존의 교회-튜링 논제와 그 한계에 대해 논의한다. 저자는 교회·튜링 논제가 “모든 계산 가능한 함수는 일반 재귀 함수이다”는 선언을 부정하지 않으며, 오히려 그 선언이 ‘고정된 기계’에만 적용된다고 해석한다. 창조적 시스템은 환경 의존적인 동적 확장을 통해, 사전 정의된 알고리즘이 도달할 수 없는 영역을 탐색한다. 여기서 “비계산 함수”를 결정한다는 표현은, 실제로는 외부 입력(예: 인간의 창의적 선택, 무작위 사건)이나 환경 변화에 의존하는 메타-계산 과정임을 강조한다. 비판적 관점에서는, 논문의 핵심 주장—‘환경과 상호작용하는 시스템은 비계산 함수를 계산한다’—이 형식적인 증명보다는 메타-수학적 논의에 머무를 위험이 있다. 환경 의존성을 수학적으로 모델링하지 않으면, 해당 시스템이 실제로 어떤 함수들을 생성하는지 명확히 규정하기 어렵다. 또한, 무한히 확장 가능한 시스템을 설계한다 하더라도, 그 과정에서 발생하는 오류와 불확실성을 어떻게 검증할 것인가에 대한 구체적인 방법론이 제시되지 않는다. 결론적으로, 논문은 튜링 기계의 고정된 설명 한계와, 환경과 지속적으로 교류하며 자체를 재구성하는 ‘창조적 시스템’이 가질 수 있는 무한한 확장 가능성을 대조한다. 이는 형식 검증, 자동 프로그램 생성, 인공지능의 자기 개선 메커니즘 등에 새로운 이론적 기반을 제공한다. 저자는 이러한 시스템이 기존의 형식 이론으로는 완전히 포착될 수 없으며, “열린” 시스템 모델이 필요함을 주장한다. 마지막으로, 이러한 관점이 인간의 창의성, 인터넷과 같은 복합 네트워크, 그리고 미래의 지능형 기계 설계에 중요한 통찰을 제공한다는 점을 강조한다.