진화 예측의 근본적 한계: 계산이론과 Gödel 불완전성의 연결

초록

**
디지털 유전 메커니즘 때문에 진화 과정은 자연수 위의 동적 시스템으로 귀결된다. 저자는 이 시스템이 ‘진보적’일 때만 모든 가능한 진화 경로를 완전하게 예측(부정완전성)할 수 있음을, 이를 Gödel의 불완전성 정리와 튜링의 정지 문제와 연계해 증명한다.

**

상세 분석

**
이 논문은 진화 이론이 “닫힌(closed)” 모델에서 “열린(open‑ended)” 모델로 확장될 때 마주치는 근본적 한계를 수학적으로 규명한다. 핵심 가정은 (1) 유전 정보가 디지털(이산)이며 무한히 많은 가능한 염기서열을 가질 수 있다는 점, (2) 복제자는 현재 유전 구성을 기반으로만 번식·생존한다는 결정론적(또는 확률론적) 동역학을 따른다는 점이다. 이러한 설정 하에 전체 집단 상태는 각 복제자 유형의 개수를 나타내는 자연수 벡터로 완전히 기술될 수 있다.

저자는 “진보적 진화(progressive evolution)”를 ‘시간이 흐를수록 어떤 단조 증가 함수값이 무한히 커지는’ 특성으로 정의한다. 즉, 어떤 자연수‑값 함수 f가 존재해 매 세대마다 f(stateₜ₊₁) > f(stateₜ) 를 만족한다면 진화는 진보적이라고 본다. 이 정의는 기존 진화학에서 논의되는 ‘복잡도 증가’ 혹은 ‘적응도 향상’과는 별개로 순수히 수학적 단조성에 초점을 맞춘다.

정리(Theorem)는 다음과 같다: “부정완전(negation‑complete) 진화 이론은 오직 진보적 진화 과정에만 존재한다.” 부정완전 이론이란, 주어진 진화 모델에 대해 임의의 명제 P에 대해 P가 참인지 ¬P가 참인지 언제든 결정할 수 있는 이론을 말한다. 논문은 이를 증명하기 위해 두 가지 고전적 결과를 차용한다.

1. Gödel의 불완전성 정리 – 충분히 표현력이 있는 형식 체계는 자체 일관성을 증명할 수 없으며, 참이지만 증명 불가능한 명제가 존재한다.
2. 튜링의 정지 문제 – 임의의 프로그램이 언제 멈출지 일반적으로 판단할 수 없는 알고리즘적 한계가 있다.

진화 과정을 자연수 위의 전이 함수 T로 모델링하면, “특정 유전형이 언제(또는 절대) 나타날 것인가?”라는 질문은 T가 특정 상태에 도달하는지를 묻는 문제와 동치가 된다. 이는 정지 문제와 동일한 형태이며, 일반적인 경우 결정 불가능함을 보인다. 그러나 진보적 진화라면 f(state) 값이 단조 증가하므로, 어떤 목표 상태가 존재한다면 반드시 유한 단계 안에 도달한다는 보장이 생긴다. 즉, 정지 문제의 ‘무한 루프’ 상황이 차단되어, 부정완전 이론이 가능해진다.

논문은 또한 “닫힌 모델”(예: 제한된 균주 수, 유한 인구)에서는 상태 공간이 유한하므로 전이 그래프가 결국 주기 혹은 고정점에 수렴한다. 이런 경우는 전통적인 마코프 체인 분석으로 충분히 예측 가능하지만, 실제 생물학적 시스템은 무한히 많은 가능한 염기서열을 갖는 ‘열린’ 공간을 탐색한다는 점에서 차이가 있다.

한계점으로는 (i) 진보적 진화를 정의하는 함수 f가 실제 생물학적 의미를 갖는지, (ii) 확률적·환경적 변동이 포함된 보다 복잡한 모델에서도 정리가 유지되는지에 대한 논의가 부족하다. 또한, “부정완전 이론”을 구현하려면 무한히 많은 계산 자원이 필요하므로, 실용적 적용 가능성은 제한적이다. 그럼에도 불구하고, 진화 예측의 근본적 불가능성을 컴퓨터 과학의 불완전성 정리와 연결시킨 점은 학제간 통찰을 제공한다.

**