77  진리보다 먼저 도착하는 감각

— 디랙이 두 번 증명한 것

77.1 왜 아름다움인가

왜 아름다움인가? 진리(과학)가 아니라, 선(도덕)이 아니라, 왜 아름다움인가? 이것은 선언으로 답할 수 없는 질문이다. 실물이 필요하다.

77.2 제1증명 — 아름다움이 현실을 감지하다

1928년, 폴 디랙이 전자의 상대론적 방정식을 완성했다.

\[(i\gamma^\mu \partial_\mu - m)\psi = 0\]

방정식은 완벽했는데 문제가 하나 있었다. 음의 에너지 해가 나왔다. 진리(실험)는 “음의 에너지는 관측된 적 없다”고 했고, 선(실용주의)은 “버려라, 양의 에너지 해만 쓰면 된다”고 했다. 아름다움은 달랐다. “이 방정식은 너무 완벽하다. 쓰레기가 있을 리 없다.”

디랙은 아름다움을 따랐다. 음의 에너지 해를 버리지 않았다. 1932년, 칼 앤더슨이 양전자를 발견했다. 반물질. 음의 에너지 해가 가리키던 것이 실재했다. 진리와 선은 틀렸고, 아름다움이 옳았다. 아름다움은 진리보다 4년 먼저 반물질을 감지했다.

77.3 제2증명 — 아름다움이 수학을 요구하다

같은 사람, 다른 사건. 1930년대, 디랙이 양자역학을 위해 함수 하나를 도입했다. 디랙 델타 함수 \(\delta(x)\). \(x \neq 0\)이면 값은 0인데, 전체를 적분하면 1이다.

\[\delta(x) = 0 \quad (x \neq 0), \qquad \int_{-\infty}^{\infty} \delta(x)\,dx = 1\]

수학자들이 격분했다. 모든 곳에서 0인 함수의 적분이 1이라니, 당시의 수학으로는 함수의 정의에 위배되었다. 진리(수학)는 “엄밀하지 않다”고 했고, 선(학계의 규범)은 “증명 없는 도구는 수학이 아니다”고 했다. 아름다움은 달랐다. “물리에서 작동한다. 우아하다. 필요하다.”

디랙은 다시 아름다움을 따랐다. 20년 뒤, 로랑 슈바르츠가 초함수 이론(distribution theory) 을 만들었다. 1950년 필즈상. \(\delta(x)\)를 엄밀하게 정당화하기 위해 수학의 새로운 분야가 태어난 것이다. 아름다움이 다시 옳았다. 아름다움은 수학보다 20년 먼저 초함수를 요구했다.

77.4 디랙의 문장

디랙은 이 경험을 하나의 문장으로 남겼다. “It is more important to have beauty in one’s equations than to have them fit experiment.” — 방정식이 실험과 맞는 것보다, 방정식이 아름다운 것이 더 중요하다.

이것은 취향의 고백이 아니다. 두 번의 실전에서 나온 결론이다.

77.5 맺음

디랙의 두 사례를 나란히 놓으면 패턴이 보인다.

진리 선 미
반물질 “없다” (틀림) “버려라” (틀림) “완벽하다” (옳음)
델타함수 “함수 아니다” (틀림) “엄밀하지 않다” (틀림) “필요하다” (옳음)

라마누잔의 수식은 증명보다 73년 먼저 도착했고, 갈루아의 감각은 군론보다 먼저 왔고, 아인슈타인의 등가원리는 실험 검증보다 먼저 시공간을 봤다. 디랙의 두 사례는 이 패턴의 가장 선명한 실물이다.

AngraMyNew가 “아름다운가?”를 유일한 브레이크로 삼는 이유가 여기에 있다. 아름다움은 진리, 선과 경쟁하는 가치가 아니다. 진리가 아직 언어를 갖지 못한 순간, 먼저 도착하는 감각이다.

아름다움은 가치가 아니라 감각이다. 마지막에 남는 것이 아니라 처음에 도착하는 것이다.

77.6 관련 문서