2 더하기 2가 4인 이유, 그리고 머릿속에서 만든 수식이 우주를 그토록 정확히 기술하는 까닭에 관하여. 후버연구소 대담 프로그램에서 수학자 두 명과 과학철학자 한 명이 나눈 토론을 정리하고, 등장한 역사·물리 사실을 검증해 덧붙였다.
사회자 피터 로빈슨은 단순한 질문 하나로 대화를 연다. 모든 곳에서, 모든 시간에 2 더하기 2는 4다. 그런데 왜 그러한가. 이 등식은 수학이 실재의 본질에 관해 우리에게 무엇을 말해 주는가. 세 사람의 대답은 서로 다른 방향으로 갈라지지만, 출발점에서만큼은 한곳에 모인다. 우리가 손으로 만지고 눈으로 보는 물질 세계만이 실재의 전부는 아니라는 것이다.
세 출연자의 이력은 의도적으로 엇갈리게 배치되어 있다. 데이비드 베를린스키는 스탠퍼드를 비롯한 여러 대학에서 수학과 철학을 가르친 저술가로, 『하나, 둘, 셋: 절대적으로 초보적인 수학』의 저자다. 세르지우 클라이너만은 프린스턴의 수학자이며 일반상대성이론(general relativity)과 블랙홀의 수학적 이론을 연구한다. 스티븐 마이어는 지구물리학자로 출발해 케임브리지에서 과학사·과학철학 박사를 받은 뒤, 지적설계(intelligent design) 진영의 대표적 논자가 되었다.
대화의 불씨는 마이어의 책 『신 가설의 귀환』이다. 그 책은 비교적 최근의 세 가지 발견 - 빅뱅, 우주의 미세조정, 그리고 DNA(디옥시리보핵산, deoxyribonucleic acid)의 정보 구조 - 이 초월적 정신을 시사한다고 주장한다. 책을 읽은 한 수학자가 마이어에게 다가와 이렇게 말했다고 한다. 당신은 세 가지만 꼽았지만, 네 번째가 있다. 그 네 번째가 바로 수학이며, 그 말을 한 사람이 클라이너만이다.
클라이너만은 곧바로 단서를 단다. 마이어가 말한 것은 최근의 ‘발견’들이지만, 수학은 수천 년을 이어져 왔으니 같은 선상에서 비교하기는 공정하지 않다는 것이다. 그러나 그가 정작 강조하려는 명제는 따로 있다. 수학은 그 자체의 실재를 다루며, 그 실재는 물리적 실재만큼이나 객관적이라는 주장이다. 그가 드는 예가 블랙홀이다. 일반상대성이론은 블랙홀을 예측하지만, 정의상 블랙홀은 직접 볼 수 없다. 그럼에도 우리는 그 존재를 단언할 수 있다. 이론이 일관적이기 때문이다.
로빈슨은 자신을 일부러 문외한의 자리에 놓고 명제를 한 단계씩 확인해 나간다. 2 더하기 2는 4이며, 이것은 환상이 아니다. 우리 뇌의 우연한 작용이 빚어낸 인공물도 아니다. 내가 그것을 3이나 5라고 생각하면, 틀린 쪽은 나다. 그렇다면 우리 바깥에 우리와 무관하게 성립하는 개념적 실재가 존재한다는 결론에 이른다. 그것은 물질이 아니다. 클라이너만은 매 단계에 짧게 동의한다. 그리고 이것이 사소한 결론이 아니라고 못 박는다.
베를린스키는 여기서 한 발을 더 들어간다. 2 더하기 2는 4라는 명제조차 더 근본적인 개념들에서 연역해 낼 수 있으며, 그것이 흥미로운 사실이라는 것이다. 그러나 그렇게 거슬러 올라가 산술의 공리(axiom)에 도달하면, 더는 추가로 댈 수 있는 근거가 없다. 남는 것은 체계 전체의 일관성뿐이다. 그는 자신의 책에서 이렇게 적었다. 수도, 그 수들이 가능케 하는 연산도, 더 근본적인 무언가로 환원되어 사라지지 않는다. 근본적인 것은 수 자체다.
물리적 사실은 관측으로 확인한다. 그러나 ‘유리잔 하나 옆에 유리잔 하나가 있으면 둘이다’라는 보증은 어떤 물리 측정에서도 나오지 않는다. 베를린스키의 표현대로, 그 둘이라는 사실은 누군가가 거기에 더해 넣는 것이다. 수는 물질의 속성이 아니라, 물질을 셈하는 순간 어쩔 수 없이 따라 들어오는 비물질적 사실이다.
이 대담의 핵심 쟁점은 오래된 질문 하나로 압축된다. 수학은 물리 이론처럼 탐구와 발견으로 전진하는 과학인가, 아니면 인간 정신이 빚어낸 발명인가. 클라이너만은 발견 쪽이다. 그는 등반가의 비유를 든다. 등반가에게는 정상으로 가려는 비전과 영감이 있다. 그것이 수학을 하는 일의 절반이다. 그러나 나머지 절반은 눈앞의 객관적인 바위다. 떨어지지 않으려면 바위를 직접 만져 자신이 어디 있는지 정확히 알아야 한다. 손이 닿는 그 단단함이 곧 객관성이고 실재다.
흥미로운 비대칭이 하나 있다. 수학자는 대체로 자신이 무언가를 ‘발견한다’고 느끼는 반면, 물리학자는 수학을 인간 정신의 발명이라 부르는 경향이 있다. 클라이너만은 아인슈타인이 수학을 ‘인간 정신의 자유로운 창조’라 불렀다는 점을 지적한다. 그러나 그는 되묻는다. 자유로운 창조라면, 수학 명제는 왜 그토록 가혹하게 필연적인가. 나는 2 더하기 2가 4라는 데 대해 선택권을 가져 본 적이 없다. 피타고라스 정리는 피타고라스가 발견하기 전에도 참이었다는 것이 그의 입장이다.
여기서 균형을 위해 덧붙여 둘 것이 있다. 수학의 본성에 관한 논쟁은 대담이 그리는 것보다 결론이 열려 있다. 형식주의(formalism)와 허구주의(fictionalism)는 수학적 대상을 유용한 규약이나 편리한 허구로 보며, 구성주의는 수학을 인간 정신의 구성물로 본다. ‘발견 대 발명’은 합의된 사실이 아니라 여전히 미결인 철학적 입장의 대립이다.
마이어는 자연과학자이자 과학철학자의 자리에서 결정적인 구분 하나를 끌어온다. 자연과학은 경험적·관측적 증거로 결론을 뒷받침하고, 이론들을 설명력이나 예측력으로 평가한다. 그러나 그 논증의 논리적 형식은 연역적 확실성을 주지 못한다. 최선의 경우라도, 우리는 관측된 사실들로부터 그것을 가장 잘 설명하는 가설로 나아갈 뿐이다.
로빈슨이 연역과 추론의 차이를 풀어 달라고 청하자, 마이어는 교과서적인 삼단논법을 든다. 모든 사람은 죽는다, 소크라테스는 사람이다, 그러므로 소크라테스는 죽는다. 전제가 참이고 추론이 타당하면 결론은 확실하게 단언할 수 있다. 반면 자연과학은 관측된 사실에서 출발해 일반화로 나아가거나(귀납), 눈앞의 현상을 설명할 원인으로 나아간다. 후자가 귀추(abduction)이며, 탐정이 범인을 좁혀 가는 추리가 그것이다. 귀추와 귀납은 개연성을, 때로는 비교 우위의 개연성을 줄 수 있어도, 수학과 수리논리만이 줄 수 있는 종류의 확실성은 주지 못한다.
이 구분이 대화의 뼈대를 이룬다. 수학적 진리의 확실성은 관측에 의존하지 않으며, 따라서 새로운 데이터로 뒤집히지 않는다. 일반상대성이론은 한 세기에 걸친 실험에서 거듭 확인되어 왔지만, 그 확인은 어디까지나 ‘지금까지’의 일이다. 반면 증명된 수학 명제는 모든 시간에 대해 참이다. 바로 이 비대칭이 다음 질문으로 이어진다. 머릿속에서 전개된 그 확실한 수학이, 어째서 바깥 세계를 그토록 잘 설명하는가.
이 질문에는 이름이 붙어 있다. 20세기의 수학자이자 물리학자인 유진 비그너는 1960년 「자연과학에서 수학의 불합리한 효과성」이라는 유명한 에세이를 썼다. 비그너가 놀란 지점은 이렇다. 어차피 우리 머릿속에서 진행되는 수학이, 물리 세계를 기술하고 심지어 예측하는 데 어째서 그토록 쓸모가 있는가.
베를린스키는 비그너의 문제를 도발적으로 다시 던진다. 양자역학(quantum mechanics)을 하려면 막대한 양의 수학이 필요하다. 그런데 곤충학은 필요하지 않다. 어째서 벌레는 양자역학에 등장하지 않는데, 수와 복소수는 등장하는가. 그러나 그는 곧 양자역학까지 갈 것도 없다고 말한다. 탁자 위에 유리잔이 하나 있고, 또 하나가 있다. 몇 개인가. 둘이다. 그 둘이라는 확신은 어디서 오는가. 그것은 물리적 관측이 아니다. 상황의 물리학 어디에도 ‘하나와 하나가 둘’이라는 사실은 적혀 있지 않다.
비그너의 수수께끼를 가장 선명하게 보여 주는 사례가 허수다. 마이어는 대학원에서 복소변수론을 들었던 기억을 꺼낸다. 음수의 제곱근, 곧 그 자체로는 아무 의미도 없어 보이는 대상을 둘러싸고 방대한 수학이 세워졌는데, 한참 뒤에 그것이 가장 근본적인 물리 이론을 다루는 데 결정적으로 필요해졌다는 것이다.
역사의 줄거리는 이렇다. 16세기 이탈리아 수학자들은 방정식을 풀고 싶어 했다. 2차방정식에는 이미 공식이 있었고, 그들은 3차방정식으로 나아갔다. 그 과정에서 음수의 제곱근이라는 기호를 도입해야 했다. 말이 안 되는 대상이었지만, 그것을 식 안에 그냥 넣어 두자 놀랍게도 모두 실수인 해가 깔끔하게 튀어나왔다. 허수는 중간 계산에만 잠깐 나타났다 사라지는 통로였다. 시간이 흐르며 사람들은 음수의 제곱근에 익숙해졌고, 19세기에 이르러 그것에 기하학적 정의가 부여되었다. 그렇게 복소수와 복소함수가 자리를 잡았고, 그 위에 막대한 양의 응용이 쌓였다. 클라이너만의 결론은 단호하다. 음수의 제곱근은 누군가가 발견하기 전에도 이미 실재했다는 것이다.
대담에서는 허수의 등장 시점을 두고 ‘1450년’이라는 언급이 오갔으나, 이는 부정확하다. 음수의 제곱근이 3차방정식 풀이에서 본격적으로 등장한 것은 카르다노의 『위대한 술법(Ars Magna)』(1545년)이며, 그 계산 규칙을 정립해 의미를 부여한 사람은 봄벨리(1572년)다. 기하학적 해석은 베셀(1799년), 아르강(1806년), 가우스(1831년 무렵)를 거쳐 정착했다. 즉 16세기의 일이지 15세기 중반의 일이 아니다.
그러나 베를린스키는 이 사례에서 정반대의 교훈을 끌어낸다. 허수 i는 사실 제거할 수 있다. 실수 두 개의 순서쌍과, 그것들을 다루는 곱셈 규칙 하나를 도입하면 음수의 제곱근은 사라지고, 처음 가졌던 실수만 남는다. 다만 존재의 부담을 덜어 낸 만큼 규칙의 부담이 늘어날 뿐이다. 수를 집합으로, 복소수를 실수의 순서쌍으로, 실수를 수렴하는 수열로 환원할 수는 있어도, 그렇게 환원을 거듭한 끝에 ‘수학이 무에서 나타나는 지점’에는 결코 도달하지 못한다. 이 통찰이 다음 두 절의 복선이 된다.
클라이너만은 자신의 전공으로 논의를 끌어와, 수학적 실재가 물리적 실재와 맞닿는 지점을 보여 준다. 아인슈타인이 1915년 일반상대성이론을 내놓은 직후, 슈바르츠실트가 정지·고대칭의 정확한 해를 찾아냈다. 이 해에는 특이점(singularity)이 들어 있었고, 훗날 펜로즈의 특이점 정리로 이어졌다. 이어 1963년 로이 커가 회전하는 블랙홀을 기술하는 커 해를 발견했다. 슈바르츠실트 해를 특수한 경우로 품는, 두 개의 매개변수로 이루어진 해의 가족이다.
수학자의 눈에 이 해들은 실재한다. 종이 위에 적어 내려갈 수 있는 방정식의 해이기 때문이다. 그러나 물리적으로도 실재한다고 말하려면 한 가지 시험을 통과해야 한다. 안정성(stability)이다. 클라이너만 본인이 이끈 증명이 바로 이 안정성에 관한 것이었다.
커 해는 특정한 초기 조건에서 출발하는 정확한 해다. 그 초기 조건을 살짝 흔들었다고 하자. 이때 해가 원래의 커 해로부터 완전히 동떨어진 무언가로 변해 버린다면, 그 해는 불안정하며 자연에서 알아볼 수 있는 어떤 것에도 대응하지 못한다. 와인잔에 음파를 쏘는 장면을 떠올리면 된다. 보통은 잔이 잠깐 떨리다 이내 잠잠해진다. 그러나 공명 진동수에 정확히 맞춰 충분히 크게 노래하면 잔은 깨진다. 블랙홀이 후자처럼 깨지지 않고 전자처럼 다시 가라앉느냐 - 그것이 안정성 문제다.
클라이너만은 이것을 ‘수학적 실재의 시험’이라 부른다. 만약 커 해가 불안정했다면, 그것은 이론물리학자들에게 깊은 난제를 안겼을 것이고, 아인슈타인의 중력 이론을 근본적인 수준에서 수정해야 한다는 신호가 되었을 것이다. 작은 섭동에도 해가 제 모습으로 되돌아온다는 사실은, 그 수학적 대상이 단지 종이 위의 우아한 형식이 아니라 물리적 의미를 지닌다는 표지인 셈이다.
슈바르츠실트 해의 발견 연도는 1916년이다. 영상 자막에 보이는 ‘2016’은 1916의 전사 오류다. 커 해는 1963년(로이 커), 일반상대성이론은 1915년이 맞다.
커 블랙홀의 안정성 증명은 엘레나 조르지, 세르지우 클라이너만, 제레미 셰프텔이 2022년에 완성했다. 느리게 회전하는 커 블랙홀에 대한 비선형 안정성을 다룬 주논문이 912쪽, 배경 논문들을 포함한 전체 시리즈가 약 2,100쪽에 이른다. 영상 속 ‘2,000쪽 분량의 증명’이라는 표현은 이 작업을 가리킨다. 클라이너만 자신도 이 과제를 “해들의 물리적 실재를 시험하는 일”로 설명한 바 있어, 영상의 ‘실재의 시험’ 발언과 일치한다.
다만 펜로즈를 두고 “노벨물리학상을 받은 유일한 수학자”라고 한 대목은 과장이다. 펜로즈는 2020년 노벨물리학상(절반)을 받은 수학자·수리물리학자가 맞지만, 수학적 훈련을 받은 물리학상 수상자는 그 외에도 있어 ‘유일하다’는 단정은 정확하지 않다. 그의 1965년 특이점 정리가 도입한 ‘갇힌 표면(trapped surface)’ 개념은 클라이너만의 연구 주제와도 직접 닿아 있다.
여기서 베를린스키가 대화의 가장 날카로운 매듭을 짓는다. 그는 비그너가 가리킨 것이 실은 진짜 철학적 딜레마라고 본다. 모든 물리 이론에 수학이 필수라면, 수학을 물리적으로 설명하는 물리 이론이 존재한다는 것은 - 자명한 동어반복이 아닌 한 - 성립할 수 없다.
잉어를 잡겠다는 사람이 미끼로 잉어를 꿴다면, 그는 헛수고를 하는 셈이다. 이미 잉어를 가지고 있으니까. 데이비드 베를린스키 - 수학을 설명하기 위해 다시 수학을 끌어와야 하는 순환에 대하여
그의 논점은 이렇다. 수학을 포함하는 물리 이론으로 수학을 설명하려 들면, 우리에게 남는 것은 더 이상 순수한 물리 이론이 아니라 ‘물리 더하기 수학’ 이론이다. 우리는 세계가 물질적이라는 문화적 명령을 붙들고 싶어 하지만, 그 물질적 대상을 이해하기 위해 비물질적인 수학적 사실이 잔뜩 필요하고, 그 수학적 사실을 설명하려 해도 수학 없는 물리 이론이라는 것은 상상할 수 없다. 그러므로 둘 중 하나는 내려놓아야 한다. 수학 없는 물리 이론을 개발하거나(파인만이 한때 추측했던 방향), 아니면 물질주의가 옳을 수 없음을 인정하거나.
호수 건너편에서 누군가가 아무 도움 없이 물 위를 걸어 마른 몸으로 다가온다. 어떻게 했느냐고 묻자 그는 답한다. “아주 작은 걸음으로 걸었습니다.” 칭찬할 만하고 실제로 건너오기도 했지만, 그것은 질문에 대한 답이 아니다. 수학을 점점 더 작은 논리 단계로 쪼개어 컴퓨터가 실행할 수 있을 만큼 잘게 나눌 수는 있다. 그러나 ‘작은 걸음’의 나열은 어떻게 물 위를 건넜는지를 설명해 주지 않는다. 우리는 모두 그 호숫가에 서 있다.
베를린스키는 환원의 한계를 한 문장으로 요약한다. 생명은 생명에서만 나오고, 언어는 언어에서만 나오며, 수학은 수학에서만 나온다. 이것들은 우리가 풍부히 경험하면서도 기원점을 찾지 못하는 과정들이다. 수학이 시작되는 장소는 없다. 어쩌면 그것은 우주 자체의 근본 특징일지 모른다.
그렇다면 비물질적이면서 객관적인 이 대상들은 대체 어디에 거주하는가. 대화는 자연스럽게 세 사람의 철학자를 불러온다. 플라톤은 가지적(可知的) 세계와 감각 세계를 구분하고, 원과 삼각형 같은 이상적 형상이 독립적으로 존재하는 영역을 상정했다. 1500여 년 뒤 아퀴나스는 한 걸음 비튼다. 관념은 마음 안에 존재한다는 것이다. 따라서 모두에게, 모든 시간에 참이면서 가지적이지만 비물질적인 것은 신의 마음 안에 존재한다고 그는 보았다.
마이어의 노선은 분명하다. 수학적 구조는 내가 그 성질을 인정하든 말든 독립적으로 성립하는 객관적 성질을 지니며, 동시에 물질이 아니라 개념이다. 그렇다면 그 개념은 어디에 있는가. 아퀴나스의 비판을 빌려, 그는 플라톤식으로 어딘가 떠다닌다고 보기보다 그것들이 궁극적으로 어떤 초월적 정신에서 비롯되거나 그 안에 거주한다고 본다. 이것이 유신론적 수학 실재론이다.
클라이너만은 여기서 한 발 물러선다. 그는 존재(existence)라는 물음 앞에서는 길을 잃는다고 솔직히 말한다. 무엇이 존재하고 무엇이 존재하지 않는지를 따지는 일은 그에게 버겁다. 대신 그는 작업적 정의를 선호한다. 실재란 ‘표상의 일관성’이라는 것이다. 한 수학자가 이 방법으로 계산하든 저 방법으로 계산하든 언제나 같은 결과를 얻는다는 그 명백한 객관성이, 그에게는 수학적 대상이 실재한다는 충분한 증거다. 신을 끌어들이는 것에 대해서는 ‘왜 안 되겠는가’ 정도로 열어 둔다.
베를린스키는 가장 멀리까지 따라가기를 거부한다. 그에게 수학의 존재 자체가 깊은 신비이며, 그는 그 신비를 신비로 남겨 둔다. 흥미롭게도 그는 이 자리에서 가장 말이 되는 분석이 버클리식 관념론에 가깝다고 인정하면서도, “세계는 마음뿐”이라는 결론은 우리가 떠받드는 물리 이론들의 장엄함과 어울리지 않는다고 본다. 그가 끝내 붙드는 명제는 절제되어 있다. 수 2는 존재한다. 그것이 내 마음 안에 있는지 바깥 세계에 있는지는 결정할 필요조차 없다. 그것이 비물질적이라는 사실만으로, 세계가 순전히 물리적이라는 그림에는 무언가 잘못이 있다.
로빈슨은 마지막으로 새 개념 하나를 던진다. 아름다움이다. 과학에는 ‘아름다움 원리’라 불리는 것이 있어서, 참된 이론은 흔히 수학적 아름다움이나 구조적 조화를 띤다고 한다. DNA 분자 모형을 처음 보았을 때의 반응처럼, 너무 아름다워서 옳을 수밖에 없다는 직관이 그것이다.
마이어는 그것이 발견을 이끄는 ‘발견의 안내자(heuristic guide)’로 작동한다고 말한다. 폴 디랙은 방정식이 데이터에 들어맞는 것보다 아름다운 것이 더 중요하다고까지 말했다. 우리가 데이터를 어떻게 지각하는지에 대해서는 틀릴 수 있기 때문이라는 것이다. 클라이너만도 동의한다. 수학자가 문제를 고르는 일에도, 해를 향해 나아가는 일에도 아름다움은 근본적인 역할을 한다. 우리는 억지스럽고 아름답지 못한 논증을 본능적으로 밀어낸다.
그 예가 전자기학이다. 패러데이는 전자기 유도의 법칙들을 실험으로 알아냈지만 수학자가 아니었기에 거기 머물렀다. 그 법칙들을 수학 안에 집어넣자 대칭의 결여가 드러났고, 그 결여를 메우려는 시도가 맥스웰을 더 완전한 방정식으로, 그리고 전자기파의 예측으로 이끌었다. 근대 세계의 기술 전부가 그 미적 직관의 끝에 매달려 있는 셈이다.
베를린스키는 여기서도 짓궂게 제동을 건다. 아름다움을 자신은 재단사에게나 맡겨 두겠다는 것이다. 난류(turbulence)가 아름다운 주제냐고 그는 되묻는다. 클라이너만이 환상적인 주제라 받아치자, 베를린스키는 답한다. 환상적이긴 해도 아름답지는 않다고. 그리고 한마디를 덧붙인다.
기대는 값싸게 살 수 있지만, 아름다움은 기근 시세로 온다. 데이비드 베를린스키 - 모든 난제가 결국 아름답게 풀리리라는 낙관에 대하여
대화의 끝에서 세 사람의 입장은 또렷이 갈린다. 그러나 갈라지기 전에 합의하는 지점이 있다. 감각으로 접근 가능한 것이 실재의 전부는 아니며, 적어도 수학에 관한 한 순수한 물질주의로는 설명이 닫히지 않는다는 것이다.
마이어는 가장 멀리 간다. 물질주의는 역사의 한 오류였고, 수학의 적용 가능성이라는 신비는 궁극적으로 신의 마음을 가리킨다고 본다. 클라이너만은 물질주의를 역사의 쓰레기통에 넣어야 한다는 데까지는 동의하되, 신을 들이는 일은 ‘세계를 보는 또 하나의 방식’으로 가능성을 열어 둘 뿐, 단정하지 않는다. 그는 자신이 다룰 수 있는 것은 ‘존재’가 아니라 ‘실재’라고 거듭 선을 긋는다. 베를린스키는 끝까지 신비를 신비로 남긴다. 그는 신의 마음이라는 통찰이 자신에게는 허락되지 않았다고 말하며, 수학의 존재 그 자체가 충분히 깊은 수수께끼라고 본다.
대담은 강한 형이상학적 결론을 향해 흐르지만, 그 결론이 전제만큼 단단한 것은 아니다. 어디까지가 폭넓게 동의되는 지점이고 어디부터가 선택적 해석인지 구분해 둘 필요가 있다.
수학적 대상이 비물질적이고, 마음과 무관한 객관적 성질을 지닌다는 데까지는 수학자 다수가 공유하는 플라톤주의적 직관이다. 그러나 거기서 ‘그러므로 신의 마음’으로 가는 추론은 여러 갈래 가운데 하나일 뿐이다. 그 추론은 아퀴나스의 전제, 곧 개념적인 것은 반드시 어떤 마음 안에 거주해야 한다는 명제에 기댄다. 이 전제를 받아들이지 않으면 결론도 강제되지 않는다.
대안적인 응답들도 분명히 있다. 형식주의와 허구주의는 수학적 대상에 독립적 실재를 인정하지 않고도 수학의 작동을 설명하려 한다. 자연주의 진영은 수학의 효과성을, 우리 인지가 세계의 규칙성에서 패턴을 추출하도록 진화한 결과로, 또는 적용 가능한 수학만 골라 발전시키고 기억해 온 선택 효과로 설명하려 시도한다. 비그너의 ‘불합리한 효과성’에 대한 비신학적 답변은 결론이 났다기보다 여전히 경합 중이다. 요컨대 이 대화는 일부 강한 결론을, 공유된 출발점 위에서 한 방향으로 밀고 나간 사례로 읽는 편이 정확하다.
덧붙여 출연진의 구성도 염두에 둘 만하다. 마이어는 지적설계를 적극 옹호해 온 논자이고, 진행자와 매체 역시 특정한 지적 지향을 가진 곳이다. 제기된 수학·물리 사실들은 대체로 정확하지만(앞의 사실 확인 참조), 거기서 끌어내는 형이상학적 함의는 검증 가능한 사실이 아니라 해석의 영역에 속한다.
형이상학적 결론에 동의하든 유보하든, 실무자에게 남는 것은 따로 있다. 첫째, 수학이 통한다는 사실은 도구에 대한 신뢰의 문제가 아니라 ‘왜 통하는가’라는 미해결의 물음이라는 점이다. 시뮬레이션 코드가 현실을 잘 예측할 때 우리는 그 효과성을 당연하게 여기지만, 비그너의 질문은 바로 그 당연함을 겨눈다.
둘째, 클라이너만의 ‘안정성은 실재의 시험’이라는 직관은 수치해석과 모형 검증의 일상과 곧장 닿아 있다. 초기 조건을 살짝 흔들었을 때 해가 제 모습으로 수렴하는가, 아니면 전혀 다른 무언가로 발산하는가 - 이 물음은 블랙홀의 안정성 증명에서나, 전력계통 과도 해석의 수렴성 점검에서나 같은 형태로 되돌아온다. 형식적으로 옳은 해가 물리적으로도 의미를 가지려면 통과해야 하는 관문이 안정성이라는 발상은, 추상적 사변이 아니라 검증 실무의 언어이기도 하다.
세 사람이 끝내 합의한 최소 명제는 의외로 검소하다. 손으로 만지고 눈으로 보는 것이 실재의 전부는 아니라는 것. 2 더하기 2가 4라는, 누구도 선택한 적 없는 그 가혹한 필연성이 그 증거다.
원본 영상: Hoover Institution, “Why Does 2 + 2 = 4? What Math Teaches Us About Deep Reality”, Uncommon Knowledge (2026년 1월 16일 공개). 출연 David Berlinski, Sergiu Klainerman, Stephen Meyer, 진행 Peter Robinson.
이 글은 대담의 논지를 한국어로 정리·재구성한 것이며, 인용은 원 발언을 옮긴 것이다. 본문에 표시한 사실 확인은 슈바르츠실트 해(1916)·커 해(1963)·일반상대성이론(1915)의 연도, 카르다노(1545)·봄벨리(1572)의 허수 도입 시점, 그리고 조르지·클라이너만·셰프텔의 커 블랙홀 안정성 증명(2022년, 시리즈 약 2,100쪽)과 펜로즈의 2020년 노벨물리학상 수상 사실을 공개 자료로 대조해 정리한 것이다.