잭 굿을 기리는 추모와 수학적 유산

이 글은 저자 다니엘 제일버거가 2009년 10월 25일에 진행한 23분짜리 강연을 바탕으로 한 확장된 전사본이다. 서두에서는 저자가 잭 굿을 ‘가장 위대한 영웅’ 중 하나로 기억하고 있음을 밝히며, 그의 인생을 인간적·학문적 두 축으로 나누어 서술한다. 인간적 배경에서는 굿이 1916년 12월 9일 폴란드에서 이사도르 야코브 구다크라는 이름으로 태어나, 유대인 억압과 전쟁을 피해 영국으로 이주한 사연을 전한다. 그의 아버지는 ‘모셰 오베드’라는 필명으로 활동한 작가였으며, 가난한 보석상에서 시작해 성공한 인물이었다. 굿은 어린 시절부터 뛰어난 수학적 재능을 보였고, 케임브리지와 블레츨리 파크에서 앨런 튜링 등과 함께 암호 해독에 기여했다. 학문적 업적 부분에서는 굿이 베이지안 통계학의 선구자이자 확률론의 근본 정리를 탐구한 점을 강조한다. 특히 1970년 ‘Dyson conjecture’에 대한 짧은 증명(‘Best 1‑Page Proof’)을 제시했으며, 이는 기존의 두 개의 긴 증명보다 훨씬 간결하고 직관적이다. 증명은 다음과 같은 핵심 아이디어에 기반한다. 1. 다변수 다항식 \(F(x;a)=\prod_{i\neq j}(1-x_i x_j)^{a_j}\)의 상수항을 \(G(a)\)라 정의한다. 2. 라그랑주 보간 공식을 이용해 \(x_j\)에 대한 특수 곱을 삽입하면, \(F\)는 재귀식 \(F(x;a)=\prod_{j}F(x;a_1,\dots,a_j-1,\dots,a_n)\)를 만족한다. 3. 이 재귀식을 상수항에 적용하면 \(G(a)\)는 다중계수 \(\frac{(a_1+\dots+a_n)!}{a_1!\dots a_n!}\)와 동일함을 보인다. 제일버거는 이 증명을 컴퓨터 대수 시스템인 Maple 패키지 ‘JACK’으로 자동화했다. 핵심은 변수 \(x_i\)를 제거하고 시프트 연산자 \(A_i\)를 도입해 \(F\)를 소거하는 ‘부흐베거 알고리즘’이다. 이를 통해 \(P(A_1,\dots,A_n)\)라는 상수항을 직접 annihilate 하는 연산자를 얻고, 이는 \(n\le8\)까지는 완전 자동으로 구해진다. 저자는 이 과정을 상세히 설명하고, 실제 Maple 코드와 입력·출력 예시를 제공한다. 개인적인 일화로는 저자가 1978년 직장을 구하려다 네 명의 교수에게 전화를 걸었고, 그 중 오직 잭 굿만이 전화를 받아 주었다는 이야기가 있다. 굿의 친절함과 네트워킹 능력은 저자의 인생에 큰 전환점을 제공했으며, 이는 과학자 사이의 인간적 유대가 얼마나 중요한지를 보여준다. 마지막으로, 굿이 인공지능에 대해 “기계가 인간의 모든 지적 활동을 시뮬레이션할 수 있다”는 믿음을 가졌던 점을 되짚는다. 저자는 현재의 자동 증명 시스템이 인간의 직관과 창의성을 완전히 대체하기는 어렵다고 주장한다. 라그랑주 보간을 통한 증명은 ‘두 다항식이 n개의 서로 다른 점에서 일치하면 동일하다’는 인간의 직관에 크게 의존한다. 따라서 앞으로의 연구는 인간의 통찰을 컴퓨터가 학습하도록 하는 방향, 즉 ‘인간‑기계 협업’ 모델을 구축하는 것이 바람직하다고 제안한다. 전체적으로 이 논문은 잭 굿의 인간적 이야기와 수학적 업적을 동시에 조명하고, 그의 짧은 증명을 현대 컴퓨터 대수학으로 재현함으로써 수학적 증명의 자동화 가능성과 한계를 탐구한다. 이는 수학자와 컴퓨터 과학자 모두에게 영감을 주는 사례이며, 과학적 유산을 보존하고 확장하는 방법에 대한 중요한 통찰을 제공한다.