That Damned Equation. Rigour, Credit Attribution, and the Wheeler-DeWitt Equation 1962-1967

본 논문은 20 세기 중반 이론물리학의 내적 엄밀성 규범이 추상적 진리보다 구체적 계산의 가능을 우선시했다고 주장하며, 이는 휠러-디윅 방정식 (1962~1967) 의 발전 과정에서 결정적 진전이 방정식의 초기 진술이 아니라 내적 곱의 정의에 의한 후속적 '엄밀화'였음을 보여주는 역사적 사례 연구로 뒷받침된다.

핵심

"저주받은 방정식"이라는 논문에 대한 설명을 일상적인 언어와 창의적인 비유로 번역한 것입니다.

핵심 아이디어: 물리학에서 "엄밀성"이란 무엇인가?

집을 짓고 있다고 상상해 보십시오.

• 수학자들은 한 치의 오차도 없이 모든 벽돌을 마이크로미터 단위로 측정하고, 기초가 완벽하게 수평을 이루며, 단 한 개의 못도 박히기 전에 엄격하고 깨지지 않는 기하학 법칙에 따라 청사진이 작성되어야 한다고 요구하는 건축가들과 같습니다.
• 이론 물리학자들은 대장장이나 마스터 빌더와 같습니다. 그들은 대개 대략적인 스케치로 시작합니다. "우리가 벽을 이렇게 짓는다면, 아직 모든 벽돌의 응력을 완벽하게 계산하지 않았더라도 지붕을 지탱할 수 있을 것"이라고 말하곤 합니다.

이 논문은 물리학자들에게 "엄밀성"이란 완벽한 수학적 완결성을 의미하지 않는다고 주장합니다. 대신 그것은 **"이것이 수학을 수행하고 개념을 이해할 수 있을 만큼 충분히 작동하는가?"**를 의미합니다.

저자들은 이를 순수 수학처럼 외부에서 오는 규칙인 **"외생적 엄밀성 (Exogenous Rigour)"**과 물리학 공동체 내부에서 나오는 규칙인 **"내생적 엄밀성 (Endogenous Rigour)"**이라고 부릅니다.

이 무대의 주인공: "저주받은 방정식"

이 논문은 양자 중력 분야에서 유명하면서도 좌절스러운 방정식인 휠러 - 드윗 (Wheeler-DeWitt) 방정식에 초점을 맞춥니다.

• 문제: 50 년 이상 수학자들은 이 방정식을 보고 "이것은 고장 났다. 정의가 불명확하다. 엉망이다. 실제로 제대로 풀 수 없다"고 말해 왔습니다.
• 패러독스: 그럼에도 불구하고 "수학적으로 고장 난" 이 방정식을 물리학자들은 그들의 학문 분야를 지탱하는 초석으로 취급해 왔습니다. 왜일까요?

논문의 질문은 다음과 같습니다. 만약 그것이 그렇게 고장 난 것이라면, 왜 물리학자들은 존 휠러와 브라이스 드윗을 그 방정식을 "발견"한 공로자로 인정할까요? 그리고 당시 왜 그것을 성공으로 여겼을까요?

"공로"에 대한 수수께끼

1960 년대, 많은 똑똑한 사람들이 중력과 양자 역학을 결합하는 방법을 연구했습니다.

• "분명한" 부분: 아셔 페레스 (Asher Peres) 라는 물리학자를 포함한 여러 사람이 휠러 - 드윗 방정식과 거의 똑같이 보이는 방정식을 이미 적어 놓았습니다. 그것은 오래된 아이디어를 새로운 언어로 단순히 번역한 것이었습니다.
• 논쟁: 만약 그 방정식이 단순한 재작성에 불과했다면, 왜 우리는 그것을 "휠러 - 드윗 방정식"이라고 부를까요? 왜 "페레스 방정식"이라고 부르지 않았을까요?

저자들은 휠러와 드윗이 방정식을 적어낸 것으로 공로를 인정받은 것이 아니라고 주장합니다. 그들은 그것을 사용할 수 있을 만큼 "엄밀하게" 만든 것으로 공로를 인정받았습니다.

진정한 돌파구: "내적 곱 (Inner Product)" (자)

논문의 주요 발견에 대한 창의적인 비유는 다음과 같습니다:

새로운 나라의 지도 (방정식) 가 있다고 상상해 보십시오.

• 방정식: 이것은 지도 자체입니다. 산과 강을 보여줍니다.
• 내적 곱: 이것은 자 (ruler) 와 나침반입니다. 자 없이는 지도는 그저 예쁜 그림에 불과합니다. 거리를 측정할 수 없고, 다음 마을까지 얼마나 먼지 계산할 수 없으며, 항해할 수 없습니다.

휠러와 드윗이 한 일:

1. 휠러는 그 "지도"가 어떻게 보여야 하는지에 대한 거직적이고 직관적인 비전을 가지고 있었습니다 (우주의 모든 가능한 3 차원 형태의 공간).
2. 드윗은 **자 (내적 곱)**를 제공했습니다. 그는 우주의 서로 다른 두 형태 사이의 "거리"를 어떻게 측정할지 알아냈습니다.

이것이 중요했던 이유:
드윗이 그의 "자"를 추가하기 전까지, 그 방정식은 막연한 아이디어에 불과했습니다. 그걸로 실제 계산을 할 수 없었습니다. "이 형태가 발생할 확률은 얼마인가?"라고 물을 수 없었습니다. 측정할 방법이 없었기 때문입니다.

드윗의 기여는 이 측정을 위한 구체적인 공식 (내적 곱) 이었습니다. 현대의 수학자들은 드윗의 자를 여전히 약간 "흔들리는" 것으로 보일 것입니다 (엄격한 수학 표준에 의해 완벽하게 정의되지 않았기 때문입니다). 하지만 그 당시에는 물리학자들이 실제로 그 방정식을 집어 들고 계산을 시작할 수 있었던 첫 번째 순간이었습니다.

"공항 미팅" 이야기

이 논문은 이 점을 증명하기 위해 역사적 탐정 이야기를 사용합니다.

• 신화: 휠러와 드윗이 공항에서 만났고, 드윗이 "여기 방정식이 있다!"라고 말하며 두 사람 모두 흥분했습니다.
• 현실 (일지 기반): 휠러는 실제로 막혀 있었습니다. 그는 방정식을 가지고 있었지만, 그것으로 무엇을 측정해야 할지 몰라 좌절했습니다. 그는 "이걸 어떻게 정규화하지? 이 공간에 대해 어떻게 적분하지?"라고 물었습니다.
• 편지: 공항에서 만나기 전에 드윗이 휠러에게 편지를 보냈습니다. 그 편지에서 드윗은 단순히 방정식을 준 것이 아니라 내적 곱 공식을 주었습니다.
• 반응: 그들이 만났을 때 휠러는 기뻐했습니다. 방정식 자체 (분명한 것이었음) 때문이 아니라, 드윗이 마침내 그에게 계산할 수 있는 도구를 주었기 때문입니다.

"엄밀한 마법" 대 "저주받은 방정식"

이 논문은 파울 디랙의 작업과 같은 다른 유명한 물리학 순간들과 이를 대비시킵니다.

• 디랙의 마법: 디랙은 델타 함수와 같이 엄격하게 정의되지 않은 "마법" 같은 수학 트릭을 사용했습니다. 나중에 수학자들이 나타나서 그것들을 "수정"하고 작동함을 증명했습니다. 이를 "엄밀한 마법 (Rigorous Magic)"이라고 합니다.
• 휠러 - 드윗 사례: 이것은 마법이 아닙니다. 이 방정식은 수학자들에 의해 단 한 번도 수정된 적이 없습니다. 엄격한 수학 표준에 따르면 여전히 "고장 난" 상태입니다.
  • 요점: 저자들은 우리가 휠러와 드윗을 "고장 난" 표준으로 판단해서는 안 된다고 주장합니다. 그들은 물리학자의 표준을 충족했기 때문에 성공했습니다. "이것이 우리를 계산하게 하고 세상을 이해하게 하는가?" 네, 그랬습니다.

결론

이 논문은 과학의 역사가 종종 "완벽한" 수학적 증명들을 찾아보면서 잘못 이해해 왔다고 결론 내립니다.

• 실제 공로의 이유: 휠러와 드윗이 유명한 이유는 완벽한 방정식을 적어냈기 때문이 아니라, 물리학자들이 빈 페이지를 바라보며 멈추는 대신 계산을 시작할 수 있게 해 준 첫 번째 실용적인 버전을 제공했기 때문입니다.
• 교훈: 물리학에서 "엄밀성"은 완벽함에 관한 것이 아닙니다. 그것은 유용함에 관한 것입니다. 그것은 수학을 수행하는 것을 막는 장벽을 제거하는 것입니다. "저주받은 방정식"은 수학적으로 엉망이기 때문에 "저주받은" 것이지만, 동시에 물리학자들이 마침내 양자 중력에 대한 대화를 시작할 수 있게 했기 때문에 "축복받은" 것입니다.

간단히 말해: 그들은 노래를 쓴 공로가 아니라, 노래를 finally 연주할 수 있도록 기타를 튜닝한 공로를 인정받은 것입니다.

기술 요약

기술적 요약: 엄밀성, 공로 귀속, 그리고 휠러-디윗 방정식 (1962-1967)

문제 제기
이 논문은 정준 양자 중력의 정의 방정식인 휠러 - 디윗 방정식에 대한 공로 귀속과 관련된 역사학적 및 철학적 수수께끼를 다룬다. 이 방정식은 수학적으로 잘 정의되지 않았으며, 특이점을 가지고 있고, 내적곱을 위한 엄밀한 측도 (measure) 가 결여되어 있다 (제안된 지 반세기 이상 지난 현재까지도 이러한 상태가 지속되고 있음). 그럼에도 불구하고 이 방정식은 존 휠러와 브라이스 디윗의 이름을 따서 명명되었다. 기존의 표준 역사 서술은 종종 이들을 단순히 함수 미분 방정식 $\hat{H}\Psi = 0$의 공식화 공로로만 평가한다. 그러나 저자들은 이 방정식의 형식적 구조가 본질적으로 1962 년 아셔 페레스가 유도한 아인슈타인 - 해밀턴 - 야코비 방정식의 사소한 재서술에 불과했으며, 도식적 형태인 $\hat{H}\Psi = 0$은 디랙과 베르그만의 이전 연구에서 이미 등장했다고 지적한다.

핵심 문제는 외부 (수학적) 기준에 따라 수학적으로 잘 정의되지 않았을 뿐만 아니라 새로운 함수적 형태도 아닌 방정식에 대해 휠러와 디윗이 주된 공로를 인정받은 이유를 설명하는 것이다. 저자들은 물리적 엄밀성이 단순히 수학적 엄밀성 기준 (증명, 형식적 정의) 의 적용이라는 '외재적 (exogenous)' 개념을 문제시하며, 이러한 관점은 방정식의 성공을 설명 불가능하게 만들거나 이를 '엄밀한 마법 (rigorous magic)'으로 낙인찍는다고 주장한다.

방법론
저자들은 1962 년부터 1967 년까지의 미공개 노트, 편지, 보조금 보고서 등 아카이브 자료와 출판된 기록을 함께 분석하는 역사적 사례 연구 방식을 채택한다. 그리고 두 가지 경쟁하는 엄밀성 개념을 대조한다:

1. 외재적 엄밀성 (Exogenous Rigour): 형식적 증명, 잘 정의된 객체 등 수학적 기준에 의해 정의되는 엄밀성. 저자들은 이 방정식이 여전히 수학적으로 잘 정의되지 않았으므로, 이 개념으로는 휠러 - 디윗 방정식의 수용을 설명할 수 없다고 주장한다.
2. 내재적 엄밀성 (Endogenous Rigour): 이론물리학 실천의 내부 규범에 의해 정의되는 엄밀성. 저자들은 20 세기 중반의 물리학자들에게 엄밀성은 그 자체를 위해 추구되거나 수학적 논리를 만족시키기 위한 것이 아니라, 구체적 계산과 명확한 개념화를 위한 장벽을 제거하기 위해 추구되었다고 가정한다.

이 논문은 디랙의 델타 함수, 브라 - 킷 표기법, 디랙 제약 양자화와 같이 추측적 방법들이 이후 수학적으로 정밀화되었던 세 가지 역사적 '엄밀한 마법' 사례를 검토한다. 그리고 휠러 - 디윗 방정식은 이러한 사례들과 구별되는데, 이는 수학적으로 정밀화되지 않았음에도 불구하고 유효한 물리 모델로 수용되었기 때문이라고 주장한다.

주요 기여 및 분석
이 논문의 주요 기여는 휠러 - 디윗 방정식이 개발된 특정 역사적 맥락을 재구성하고, 그 수용과 공로 귀속을 정당화한 구체적인 '내재적' 엄밀화 과정을 규명하는 것이다.

• 내적곱의 역할: 저자들은 아카이브 자료 (특히 디윗의 1964 년 휠러에게 보낸 편지와 휠러의 이후 노트 기록) 를 통해 결정적인 단계가 방정식의 함수적 형태를 유도하는 것이 아니라, 내적곱을 위한 함수적 적분 표현을 제공하는 것이었음을 입증한다.
• 디윗의 공로: 디윗은 내적곱에 대한 처방 (클라인 - 고든 내적곱과 유사) 과 특정 연산자 순서화를 제공했다. 이러한 것들은 수학적으로 엄밀하지는 않았다 (측도가 유한하거나 양수이거나 $L^2$ 공간에 대해 잘 정의되지 않았음). 그러나 당시의 내재적 규범을 충족시켜 '초공간 (superspace, 3-기하학의 공간)'에서의 파동함수 개념화를 가능하게 하고, 중력 붕괴와 같은 구체적 물리 문제의 논의를 가능하게 함으로써 수용되었다.
• 휠러의 공로: 휠러의 노트는 그의 '가장 큰 혼란'이 정규화 적분의 부재와 구성 공간의 모호성 (특히 3-기하학 내에서 시간 자유도를 어떻게 처리할 것인지) 으로 인한 계산 불가에 있었다는 것을 보여준다. 디윗의 내적곱은 이러한 개념적 마비를 해결했다.
• 공로 재평가: 이 논문은 휠러와 디윗에게 공로가 귀속된 이유가 방정식을 적어낸 것 (페레스와 다른 이들이 사실상 수행함) 이 아니라, 내재적 의미에서 방정식을 '엄밀화'했기 때문이라고 주장한다. 즉, 물리학계 내에서 계산과 개념적 명확성을 목적으로 모델을 잘 정의되게 만들기 위해 필요한 형식적 도구 (내적곱과 순서화) 를 제공한 것이다.

결과
분석은 다음과 같은 구체적인 결과를 도출한다:

1. "엄밀한 마법"의 거부: 휠러 - 디윗 방정식은 추측적 성공이 이후 수학에 의해 수정된 '엄밀한 마법'의 예가 아니다. 이는 여전히 수학적으로 잘 정의되지 않는다. 그 수용은 수학적 타당성이 아니라 계산 장벽을 제거하는 유용성에 기반했다.
2. 주도 요인으로서의 내재적 엄밀성: 발생한 '엄밀화'는 이론물리학 내부에서 이루어졌다. 이는 외부 수학적 증명을 만족시키기보다는, 관심 있는 양을 산출할 수 있는 모델로 반형식적 구성을 변환하는 것을 포함했다.
3. 역사적 교정: 휠러와 디윗이 방정식의 발견에 공로를 인정받는다는 표준 서술은 잘못되었다. 그들은 내적곱과 연산자 순서화를 통한 방정식의 엄밀화 공로를 인정받았으며, 이는 추측적 제약을 (수학적으로 문제점이 있더라도) 사용 가능한 물리 모델로 변모시켰다.
4. 디윗 자신의 견해: 아카이브 자료는 디윗 자신이 내적곱을 자신의 핵심 공로로 여겼음을 보여준다. 그는 1964 년 보조금 보고서에서 내적곱에 대한 함수적 적분 표현이 없다면 정준 양자 중력의 근본적 문제를 '구체적 형태'로 논의할 수 없다고 지적했다.

의의
이 논문은 다음과 같은 이유로 과학 철학 및 과학사에 의의를 주장한다:

• 엄밀성의 재정의: 이론물리학에 관련 있는 엄밀성 개념은 수학적 증명보다는 계산과 개념적 명확성을 가능하게 하는 데 초점을 맞춘 내재적이라는 점을 주장한다. 이는 물리학이 유효하기 위해서는 항상 수학적 엄밀화를 지향해야 한다는 가정을 도전한다.
• 공로 귀속의 설명: 방정식의 수학적 결함에도 불구하고 휠러와 디윗에게 공로가 부여된 이유에 대한 일관된 설명을 제공하며, 성공의 척도를 수학적 잘 정의됨에서 내재적 유용성으로 전환함으로써 역사학적 수수께끼를 해결한다.
• 양자 중력의 맥락화: 실험적 확인이 현재 접근 불가능한 양자 중력과 같은 분야에서, 공동체의 내부 규범 (내재적 엄밀성) 이 어떤 이론적 구성이 수용되고 발전될지 결정하는 데 결정적인 역할을 한다는 점을 강조한다.

저자들은 휠러 - 디윗 방정식이 내재적 엄밀성의 성공적인 적용을 대표한다고 결론지으며, 내적곱을 통한 '엄밀화'가 외부 기준에 의해 수학적으로 '저주받은' 상태임에도 불구하고 물리학계가 양자 중력 문제에 참여할 수 있게 한 결정적 단계였다고 주장한다.