8장 — 자연은 무리수를 끝까지 구하지 않는다: 계산하는 우주

이 장에서 배우는 것 — 블로그 '우주 가이드' 연작의 시뮬레이션 직관("우주는 프레임과 프레임 사이의 전환 규칙", 글 28·31)이 현대 물리학의 어느 좌표에 접속하는지를 확인한다. 플랑크 길이는 "자연의 픽셀"이 아니라 현 이론의 유효성이 끝나는 눈금이라는 것, 유한한 영역이 담을 수 있는 정보는 부피가 아니라 표면적에 비례한다는 원리(광범위하게 수용되지만 미증명, $\sim 10^{122}$비트), 그리고 메모리와 연산 예산은 별개의 자원이라는 것을 배운다. 마지막으로 "자연은 무리수를 끝까지 구하는 것 같지 않다"(글 35)라는 직관에 대한 물리학의 찬성·반대 좌표를 그린다. 새로 만나는 개념: 플랑크 길이·시간, 로런츠 불변성, 베켄슈타인 한계, 홀로그래픽 원리, 마골러스–레비틴 정리, 벨 부등식, 물리적 처치-튜링 명제, 셀룰러 오토마타, 큐비트와 홀레보 한계, 지생의 유한 정보 테제.

들어가며 — 우주는 π의 자릿수를 어디에 저장하는가

반지름 1미터짜리 원을 실제 공간에 그렸다고 하자. 둘레는 $2\pi$미터 — 소수점 아래로 $3.14159265\dots$가 끝없이 이어지는 무리수다. 소프트웨어 엔지니어라면 여기서 반사적으로 떠오르는 질문이 있다. 이 원을 시뮬레이션하는 프로그램은 원주율을 유한 정밀도 부동소수점으로 잘라서 쓸 것이다. 그렇다면 실제 우주는 어떤가? 우주는 그 원의 둘레를 '정확히' 알고 있는가? 끝없는 자릿수를 어딘가에 통째로 저장해 두고 있는가, 아니면 필요한 만큼만 그때그때 계산하는가?

블로그 저자의 질문이 정확히 이것이다. "자연은 무리수를 끝까지 구하는 것 같지 않다"(글 35). '우주 가이드' 연작(글 27~33)에서 저자는 우주를 하나의 계산 시스템으로 읽는다 — "우주는 프레임과 프레임 사이의 전환 규칙"(글 28·31)이라는 관점, 그리고 플랑크 길이·시간을 최소 단위 삼아 우주 전체를 칸으로 나눈 어림(약 $7.0\times10^{245}$개의 시공간 셀, 글 32)이 그 뼈대다.

이 장은 그 직관의 물리학적 좌표를 찍는 종장(終章)이다. 앞 장들의 도구가 전부 재소환된다 — 5장의 계산 가능 실수, 6장의 튜링 기계와 처치-튜링 명제, 7장의 엔트로피와 비트, 그리고 3장에서 손 계산해 본 고유값까지. 결론의 방향만 미리 말해 두면 이렇다. 블로그의 직관은 물리학의 살아 있는 논의와 실제로 접속한다. 다만 두 개의 갱신이 필요하다. 첫째, 플랑크 길이는 자연의 픽셀이 아니라 현 이론의 유효성이 끝나는 눈금이다. 둘째, 우주라는 메모리의 용량은 부피가 아니라 표면적으로 계산된다. 그리고 이 두 갱신은 블로그의 비유를 폐기하는 것이 아니라 정밀화한다.

이 장의 계보는 인물의 명성보다 주장 등급의 이동을 읽어야 한다. 같은 행에도 관측, 정립된 이론 결과, 널리 받아들여지는 미증명 명제, 사변이 함께 등장할 수 있으므로 아래 셀은 문장마다 배지를 따로 붙였다.

자연의 픽셀인가, 지도의 해상도 한계인가 — 플랑크 눈금

이 값의 지위가 이 장의 첫 관문이다. [표준 견해] 플랑크 길이는 "자연의 확립된 최소 길이"가 아니라, 양자역학과 일반상대성이론의 효과가 동시에 중요해져 현재 이론들을 신뢰할 수 없게 되는 스케일이다. "왜 최소 길이처럼 이야기되는가"의 근거는 유명한 사고실험이다 — 입자의 위치를 $\ell_P$보다 정밀하게 재려면 양자역학상 그만큼 큰 에너지를 쏟아부어야 하는데, 일반상대성이론상 그 에너지는 해당 영역을 블랙홀로 만들어 버려 측정 자체가 무너진다. 그러나 이 사고실험은 측정 한계의 휴리스틱이지, 시공간이 격자로 이산화되어 있다는 증명이 아니다(Hossenfelder 2013 서베이 — 최소 길이가 원리적 한계인지조차 열린 문제다). 그리고 못 박아 두자. [관측] 시공간 이산성이 실험으로 확인된 적은 없다.

여기서 블로그를 공정하게 읽어야 한다. 글 32는 이 어림에 "현재 우리가 가진 이론으로는"이라는 단서를 스스로 달았다 — 그 단서가 정확히 표준 견해다. 필요한 것은 논지의 폐기가 아니라 표현의 정밀화다: "자연의 최소 픽셀"이 아니라 "현 이론의 유효성이 끝나는 스케일"로 바꿔 말하면 물리학계의 서술과 일치한다.

무엇이 이산인가 — 스펙트럼과 바둑판을 구분하기

"잠깐, 양자역학이 이미 세계가 이산적임을 보여 주지 않았나? '양자(quantum)'라는 이름부터가 '덩어리'라는 뜻인데." — 여기서 잠깐 멈추고, 이 장에서 가장 중요한 구분 하나를 새기자. 이산화되는 것은 일부 관측량의 스펙트럼이지, 공간·시간 좌표 자체가 아니다.

수소 원자 속 전자가 가질 수 있는 에너지는 띄엄띄엄한 값들뿐이다 — 이것이 '양자'의 원래 의미다. 3장에서 2×2 행렬의 고유값을 손으로 계산해 봤는데, 양자역학에서 에너지·각운동량 같은 관측량은 행렬을 일반화한 대상(연산자)으로 표현되고, 측정에서 나올 수 있는 값의 목록이 바로 그 연산자의 고유값 목록 — 스펙트럼이다. 속박 상태(전자가 원자에 붙들려 갇혀 있는 상태)의 에너지 준위·각운동량처럼 이 목록이 이산적인 관측량이 있다. 그러나 표준 양자역학에서 위치·운동량 연산자의 스펙트럼은 연속이다. 즉 "일부 눈금이 띄엄띄엄하다"는 것이지 "공간이 바둑판"이라는 것이 아니다. 시공간 자체의 이산성은 양자중력의 미해결 가설이다. 이 구분을 넣으면 글 31의 논지는 훼손 없이 오히려 더 정확해진다.

그렇다면 "공간이 바둑판이다"라는 소박한 그림은 시험대에 올릴 수 있는가? 올릴 수 있다 — 그리고 이미 올랐다.

[관측] 결정적 데이터는 페르미 위성의 GRB 090510 관측이다. 감마선 폭발(수십억 광년 밖에서 오는 초고에너지 빛의 섬광)의 광자들이 만약 픽셀화된 시공간을 지나며 에너지에 따라 미세하게 다른 속도로 달린다면, 오랜 비행 끝에 고에너지 광자와 저에너지 광자의 도착 시각이 벌어져야 한다. 관측은 그런 벌어짐의 한계를 줬다: 광자 속도의 에너지 선형 의존에 대해 $E_{QG,1} \gtrsim 1.2\,E_{\mathrm{Planck}}$(Abdo et al. 2009), 확률적 '시공간 거품' 모형에 대해 $> 2.8\,E_{\mathrm{Planck}}$(Vasileiou et al. 2015, 95% 신뢰수준). 여기서 $E_{\mathrm{Planck}}$은 플랑크 길이·시간과 같은 방식으로 상수들을 조합해 만든 에너지 눈금이다. 말로 다시 읽으면: 로런츠 대칭을 깨는 효과가 존재하더라도 그 문턱은 플랑크 에너지보다 높아야 한다. 결론 — 플랑크 스케일에서 로런츠 대칭을 깨는 소박한 픽셀 우주는 이미 관측과 긴장 관계다.

우주를 세어 보다 — 글 32의 산술은 검산을 통과한다

갱신을 이야기하기 전에, 먼저 인정할 것을 인정하자. 글 32의 어림 계산은 독립 재계산 결과 내적으로 일관된다.

이 산술 자체는 검산을 통과한다. 문제는 다음 단계다. "그러니 우주는 $10^{245}$칸짜리 메모리다"로 건너뛰는 순간, 표준 물리학과 갈라진다. 표준 물리학은 우주가 담을 수 있는 정보량을 전혀 다른 방식으로 센다 — 그리고 그 답이 이 장의 첫 번째 반전이다.

메모리는 화면에 산다 — 베켄슈타인 한계와 홀로그래픽 원리

이 절의 주장 등급을 먼저 분리해 달아 둔다. [어림] 글 32의 산술은 자릿수 수준에서 검산된다. 홀로그래픽 원리는 물리학에서 광범위하게 받아들여지지만, 자연 전체에 대한 엄밀한 증명은 아니다. 두 문장을 하나의 복합 배지로 합치지 않는다.

왜 이게 놀라운지 잠깐 멈춰서 보자. 하드디스크의 용량이라면 당연히 디스크의 '부피'에 비례할 것 같다. 그런데 자연이 허용하는 최대 저장 용량은 상자의 부피가 아니라 상자 겉면의 넓이로 정해진다는 것이다 — 차원이 하나 통째로 사라진다.

우주 전체에 적용해 보자. 우주 사건 지평선(그 너머에서 지금 출발한 빛이 영원히 우리에게 도달하지 못하는 경계) 기준으로 이 최대 엔트로피는 약 $2.6\times10^{122}$(자연로그 단위 $k$ 기준; 비트로 환산하려면 $1/\log 2$을 곱하는데 자릿수는 변하지 않는다)이고, 통용 인용치는 $\sim10^{122}$비트다(Egan–Lineweaver 2010). 자릿수 감각: 관측 가능한 우주의 원자 수가 약 $10^{80}$개이니 $10^{122}$비트는 그보다 42자릿수 크다 — 그러나 글 32의 $7.0\times10^{245}$와 비교하면 123자릿수 작다.

선형 배수 $N \sim 5.5\times10^{61}$로 스케일을 정리하면 세 어림의 관계가 한눈에 보인다. 글 32의 시공간 배열은 $N^4$으로, 부피 칸 수는 $N^3$으로, 물리적 정보 예산은 $N^2$으로 스케일한다. 부피 기준($N^3$)과 표면적 기준($N^2$)의 간극만 해도 $N$배, 자릿수로 약 $10^{62}$배다. 그래서 갱신 처방은 한 문장이다: "메모리는 부피가 아니라 화면(표면)에 산다."

메모리와 CPU 사이클은 다른 자원이다 — 로이드의 연산 예산

저장 용량이 정해졌으면 엔지니어의 다음 질문은 정해져 있다. 클럭은 얼마인가 — 이 메모리는 얼마나 빨리 갱신될 수 있는가?

출발점은 수학적으로 증명된 정리다. 정리 마골러스–레비틴 정리: 평균 에너지 $E$인 양자계가 지금 상태에서 그와 구별 가능한(직교하는) 상태로 전이하는 속도에는 상한이 있다 — 초당 최대 $2E/\pi\hbar$번. 말로 다시 읽으면: 에너지가 클수록 더 빨리 '상태를 바꿀'(연산할) 수 있고, 그 환율은 자연 상수가 정한다. 양자역학의 틀 안에서 증명된 정리다.

[어림] 로이드(2002)는 이 정리를 우주 전체에 적용했다. 빅뱅 이후 우주가 수행할 수 있었던 논리 연산은 최대 $\sim10^{120}$회, 저장 가능한 정보는 물질 자유도 기준 $\sim10^{90}$비트(중력 자유도까지 포함하면 $\sim10^{120}$비트)다. 자릿수 감각: 초당 $10^{18}$회 연산하는 엑사급 슈퍼컴퓨터가 우주 나이 내내 쉬지 않고 돌아도 $10^{36}$회 규모다 — $10^{120}$은 그보다 84자릿수 크다. 그런데도 글 32식 계산에는 한참 못 미친다. 글 32대로라면 $\sim10^{245}$번의 칸 갱신이 가능해야 하는데 답은 $10^{120}$에서 멈춘다. 왜인가? 우주는 거의 비어 있고, 플랑크 칸 하나가 플랑크 진동수로 연산할 에너지가 어디에도 없기 때문이다.

프로그래머의 언어로 옮기면 이렇게 된다: "할당된 메모리(주소 공간)"와 "CPU 사이클(에너지 예산)"은 별개의 자원이다. 주소 공간이 아무리 넓어도 그것을 갱신할 에너지가 없으면 클럭은 돌지 않는다. 글 32가 스스로 남긴 열린 질문 — "저 배열을 갖는 메모리로 우주를 다룬다는 것의 실제 의미" — 에 대한 표준 물리학의 답이 정확히 이 논문(로이드 2002)이다.

계산하는 우주라는 가설 — 셀룰러 오토마타와 세 개의 장애물

이제 블로그 관점의 본진으로 간다. "우주는 프레임과 프레임 사이의 전환 규칙"(글 28·31) — 이 아이디어를 수학적으로 극한까지 밀어붙인 모형이 이미 있다. 셀룰러 오토마타다.

세대 0:  0 0 0 1 0 0 0
세대 1:  0 0 1 1 1 0 0
세대 2:  0 1 1 0 0 1 0

블로그의 관점에는 선행 계보가 있다. [가설/해석] 콘라트 추제의 『Rechnender Raum(계산하는 공간)』(1969)에서 시작해, 에드워드 프레드킨('digital physics'라는 이름을 만든 사람)을 거쳐, 스티븐 울프럼(『A New Kind of Science』 2002, Wolfram Physics Project 2020)으로 이어지는 흐름이다. 그리고 물리학자 휠러의 'it from bit'(1989) — "존재(it)는 정보(bit)로부터" — 는 블로그의 상태-전이 존재론의 물리학판 원조라 할 만하다. 단, 분명히 해 두자. 이들은 물리학계 주류가 아닌 사변적 프로그램이다. 고립된 사변이 아니라는 점과 주류 물리학이라는 점은 다르다.

그렇다면 표준 물리학의 지형에서 블로그의 위치는 어디인가. 두 수준을 갈라 읽어야 한다.

계산 가능성 수준에서는 지지가 넓다. 물리적 처치-튜링 명제(Deutsch 1985) — "물리적으로 실현 가능한 모든 과정은 (양자)튜링 기계로 시뮬레이션 가능하다"(튜링 기계는 →6장) — 는 증명된 적은 없지만 널리 그럴듯하게 여겨진다. 그런데 여기서 핵심 구분이 나온다. 계산 가능한 우주 ≠ 이산적 우주. 연속체 위의 물리학도 계산가능 해석학의 의미에서 임의 정밀도의 알고리즘 근사가 가능하다(→5장의 계산 가능 실수가 정확히 이 개념이다). 즉 "우주가 시뮬레이션 가능하다"는 명제는 "우주가 격자다"를 요구하지 않는다.

고전적·결정론적·이산격자 CA 수준에서는 세 개의 장애물을 만난다.

장애물 (i) — [관측] 벨 부등식 위반. 국소 결정론적 CA와 정면으로 충돌한다. 't Hooft의 초결정론(측정 장치의 설정 선택까지 포함해 모든 것이 미리 결정되어 있어 부등식의 전제 자체를 피해 간다는 입장)이라는 우회로가 있지만 극소수 견해다.

장애물 (ii) — [표준 견해] 파인만(1982)은 고전 컴퓨터로는 양자계를 효율적으로 시뮬레이션할 수 없다고 논증했고(양자계의 시뮬레이션에는 양자 컴퓨터 — 양자 상태 그 자체로 연산하는 컴퓨터로, 그 기본 단위인 큐비트는 이 장 끝에서 설명한다 — 가 필요하다는 제안의 출발점), 이는 오늘날 미증명 복잡도 추측 BPP≠BQP로 정식화되어 널리 믿어진다.

장애물 (iii) — [관측] 로런츠 불변성 제약. 앞 절의 GRB 090510이 그것이다.

세 장애물을 통과하는 최소 수정 경로는 로이드의 표어로 요약된다: 우주는 고전 CA가 아니라 양자 정보처리다. 그리고 글 31이 이미 강조한 '관측 전 미확정'이 바로 그 양자성이 들어설 자리다 — 블로그의 프레임에서 버려야 할 것은 "계산하는 우주"가 아니라 "고전적으로 계산하는 우주"뿐이다.

"3.141592…"보다 "π라는 이름" — 글 35 직관의 찬반 좌표

이제 이 장의 제목이자 블로그 네 번째 기둥의 마지막 질문으로 돌아온다. "자연은 무리수를 끝까지 구하는 것 같지 않다"(글 35). 이 직관은 물리학에서 어느 정도의 지지와 반대를 받는가. 찬반의 좌표를 정직하게 나열하자.

지지 측. 첫째, 베켄슈타인 한계 아래에서는 일반적 실수 하나의 무한 자릿수를 물리적으로 저장·구현할 수 있는 유한계가 없다 — 유한 영역, 유한 에너지, 따라서 유한 비트. 둘째, 정리 계산 가능 실수는 가산 개뿐이므로 거의 모든 실수는 계산 불가능하다(→5장). 고전물리학이 계의 상태를 임의의 실수로 표기하는 한, 상태 하나에 비계산적 무한 정보를 암묵적으로 심어 두는 셈이다. 셋째, 글 35의 "$3.141592\dots$보다 $\pi$라는 이름"이라는 통찰은 튜링의 계산 가능 실수로 정확히 정식화된다: $\pi$는 유한한 프로그램(이름 = 규칙)으로 임의 정밀도의 자릿수를 생성할 수 있는 수다. 자연도 무한 자릿수를 '보유'할 필요 없이 유한 규칙만 실행하면 된다 — 무한 전개는 저장물이 아니라 잠재적 출력이다.

이 노선의 현역 대표가 있다. [가설/해석] 물리학자 니콜라 지생(Gisin, 2019–2021)은 위의 근거로 "실수는 물리적으로 실재하지 않으며, 물리학을 유한 정보 기반으로 재정식화해야 한다"고 주장한다 — 블로그 저자의 직관과 가장 가까운 현역 물리학자의 프로그램이다. 이것은 물리학계의 합의가 아니라 학계의 소수 견해다.

반론 측. 첫째, [관측] 물리학에서 가장 정밀하게 검증된 이론들은 모두 실수 연속체 위의 이론이다. 전자의 $g$ 인자(전자가 작은 자석으로서 얼마나 센지를 나타내는 무차원 값)는 $10^{-13}$ 수준까지 측정되었고, 연속체 수학으로 지어진 QED(양자전기역학) 이론값과 $10^{-12}$ 수준에서 일치한다(현재 비교 정밀도의 병목은 미세구조상수 $\alpha$ — 전자기 상호작용의 세기를 나타내는 순수한 수, 약 $1/137$ — 의 독립 측정이다). 소수점 아래 열두 자리의 일치 — 연속체 수학은 자연을 서술하는 데에 압도적으로 잘 작동한다. 둘째, 시공간 이산성의 직접 증거는 전무하다 — 이 사실은 픽셀 우주에 대한 반론이면서, 동시에 "자연은 연속이다"의 증명도 아니라는 점을 기억하자. 셋째, 표준 양자역학에서 파동함수(계의 상태를 기술하는 함수)의 진폭은 연속적인 복소수다. 다만 여기에는 미묘한 반전이 하나 숨어 있다.

이제 종합하자. 저자의 직관을 구제하는 최선의 정식화는 "자연은 이산적이다"(강한 주장, 증거 없음)가 아니라 "유한 영역의 물리계가 담고 처리하는 정보는 유한하다"(베켄슈타인–홀로그래피–로이드 계열, 이론적으로 널리 수용)다. 유한 정보성은 이산 격자를 요구하지 않는다. 즉 "수학의 연속·무한 vs 자연의 이산·유한"이라는 이분법을 "무한 정밀 서술 vs 유한 정보 접근"이라는 구분으로 옮기는 것 — 그것이 물리학의 현재 좌표에 맞는, 글 35의 질문에 대한 가장 정직한 번역이다.

무엇이 증명되었고, 무엇이 열려 있는가

이 장에서 지나온 주장들을 등급별로 최종 정리한다. 수학 장들과 달리 세 서랍이 필요하다.

이 세 서랍의 경계가 이 장의 정확성 전부다. "플랑크 눈금 아래는 아무도 모른다"는 [표준 견해]이고, "우주의 정보 예산은 $\sim10^{122}$비트"는 광범위하게 수용되는 이론적 어림이며, "우주는 CA다"는 사변이다 — 세 문장은 같은 확신으로 말해질 수 없다.

그리고 마지막 서랍이 비어 있는 것이 아니라는 점이 이 장의 결말이다. 글 35가 던진 매핑 질문 — 수학의 연속·무한과 자연 사이의 관계 — 은 휠러('it from bit')에서 란다우어("정보는 물리적이다"라는 표어의 주인)를 거쳐 지생(유한 정보 물리학)으로 이어지는 살아 있는 연구 질문이며, 아직 어느 쪽으로도 결판나지 않았다. 블로그의 질문은 한가한 공상이 아니라, 물리학이 지금도 데리고 사는 질문이다.

8장 요약

• 플랑크 길이 $\ell_P \approx 1.6\times10^{-35}$m는 [표준 견해] "자연의 최소 픽셀"이 아니라 현 이론들의 유효성이 동시에 끝나는 눈금이다. 블랙홀 사고실험은 측정 한계의 휴리스틱이지 이산성의 증명이 아니고, [관측] 시공간 이산성은 실험으로 확인된 적이 없다.
• 양자역학에서 이산적인 것은 속박 상태의 에너지 준위 같은 일부 관측량의 스펙트럼(고유값 목록, →3장)이지 공간·시간 좌표가 아니다. [관측] GRB 090510은 플랑크 스케일에서 로런츠 대칭을 깨는 소박한 픽셀 우주를 이미 압박한다.
• 글 32의 어림($N \sim 5.5\times10^{61}$, 시공간 $\approx 7.0\times10^{245}$셀)은 [어림] 검산을 통과한다. 그러나 물리적 정보 예산은 베켄슈타인 한계와 홀로그래픽 원리(광범위 수용, 미증명)에 따라 부피($N^3$)가 아니라 표면적($N^2$) 기준 — $\sim10^{122}$비트다. "메모리는 부피가 아니라 화면에 산다."
• 정리 마골러스–레비틴 정리를 우주에 적용한 로이드의 [어림]: 연산 예산은 $\sim10^{120}$회. 할당된 메모리(주소 공간)와 CPU 사이클(에너지 예산)은 별개의 자원이다.
• 셀룰러 오토마타(격자 + 유한 상태 + 국소 규칙)는 "우주 = 전환 규칙" 관점의 수학적 정식화이고 그 계보(추제→프레드킨→울프럼, 휠러의 'it from bit')도 뚜렷하지만, [가설/해석] 주류가 아닌 사변적 프로그램이다. 고전 CA 우주는 [관측] 벨 부등식 위반, [표준 견해] BPP≠BQP, [관측] 로런츠 제약이라는 3중 장애물을 만난다. 최소 수정 경로는 "고전 CA가 아니라 양자 정보처리".
• 계산 가능한 우주 ≠ 이산적 우주. 물리적 처치-튜링 명제는 널리 그럴듯하게 여겨지지만 이산성을 요구하지 않는다.
• 글 35의 직관("π라는 이름")은 계산 가능 실수(→5장)로 정식화된다 — 무한 전개는 저장물이 아니라 잠재적 출력. 이 노선의 현역 대표는 지생의 유한 정보 테제 [가설/해석]이며, 학계의 소수 견해다. 반론 측에는 QED의 $10^{-12}$ 일치 [관측]가 있고, 홀레보 한계 정리는 "연속 상태, 유한 접근"이라는 반전을 보여 준다.
• 최선의 정식화: "자연은 이산적이다"가 아니라 "유한 영역의 물리계가 담고 처리하는 정보는 유한하다" — 이분법을 "무한 정밀 서술 vs 유한 정보 접근"으로 옮기는 것.

세 문장으로 확인하기

쉬운 출구 — 직관 카드

깊은 출구 — 대학원으로 가는 길