시작하며 — 4개의 여정을 떠나기 전에¶

← 홈 이 여행에 오신 것을 환영합니다 →

이 장의 목표: 이 사이트에는 4개의 독립된 여행(일반상대성이론·양자역학·장의 양자론·양자중력 문제에의 도전)이 있다. 어떤 여행에 들어가기 전에도 공유해두고 싶은 「공통의 마음가짐」을 얻는다. 구체적으로는:

물리학의 기술은 모두 「모델(＝반증 가능한 가설)」이며, 수식으로 쓰기 때문에 정량적으로 검증할 수 있다는 것
물리학의 카테고리는 인간이 만든 정리선반이며, 역사적으로 통일되어 왔다는 것
4개의 여행이 어떻게 연결되고, 왜 이 순서로 읽는 것이 자연스러운지
이 사이트가 「답을 알려주는」 것이 아니라 「스스로 판단할 수 있는 재료를 제공하는」 것이라는 점

이것들은 4개의 어떤 여행에서든 수식을 따라갈 때의 나침반이 된다.

이 장의 로드맵:

이 사이트에 오신 것을 환영합니다 — 3명의 캐릭터와 동기의 공유, 「모델」이라는 용어의 예고
왜 수식으로 쓰는가 — 반증 가능성 — 수식이 정량적 예측과 검증을 가능하게 한다는 것을 확인한다
모델은 방정식, 대부분의 경우 미분방정식 — 미래를 예측하는 도구로서의 미분방정식, 초기조건과 경계조건의 역할, 예측의 한계
물리학의 「카테고리」는 인간이 만든 것 — 카테고리 통일의 역사와 양자중력 문제의 위치
모델을 낳는 두 가지 동기 — 실용적 필요성과 순수한 호기심
4개의 여행의 전체상 — 전 4편이 어떻게 연결되고, 왜 이 순서로 읽는지
「모델의 갱신」을 수식으로 보기 — Newton에서 Einstein으로 — 약한 중력 극한에서 Newton 중력이 재현되는 흐름
기존 콘텐츠와의 차이 — 일반서·교과서·기존 해설서와의 4가지 차이점
용어의 약속 — 「모델」로 통일하는 이유
여행의 시작 — 첫 번째 여행(일반상대성이론)으로의 출발

이 페이지의 역할: 이 사이트 전체의 출발점이 되는 물음을 공유하고, 「물리학의 모델이란 무엇인가」「왜 수식으로 쓰는가」를 이해한다. 그리고 앞으로 4개의 여행을 통해 따라갈 전체상을 파악한다.

이 사이트에 오신 것을 환영합니다¶

🟡 리나: 어서 와요, 물리학의 여행으로. 카이, 뭔가 계기가 있었죠?

🔵 카이: 아, 네. 최근 TV에서 우주나 블랙홀, 양자 컴퓨터 특집을 자주 보는데, 해설을 들어도 잘 와닿지 않아서요. 수식 수준에서 제대로 이해할 수 있게 되고 싶다고 생각했어요.

⚪ 메이: 나도 그래. 일반인 대상 과학책을 몇 권 읽었는데, 「비유」로 끝나더라고. 「시공이 휘어진다」「전자는 파동이기도 하고 입자이기도 하다」「입자는 진동하는 끈이다」——비유 뒤에 있는 수식의 세계를 보고 싶어.

🟡 리나: 둘 다 좋은 동기네. 「수식으로 이해하고 싶다」「비유 뒤를 보고 싶다」——사실, 그 자세야말로 물리학의 본질이에요. 다만, 수식을 따라가기 전에 한 가지만 짚고 넘어가고 싶은 게 있어요.

⚪ 메이: 뭔데?

🟡 리나: 이 사이트에는 4개의 여행이 있어요. 일반상대성이론·양자역학·장의 양자론·양자중력 문제에의 도전 4가지. 각각 독립된 여행이지만, 전부를 관통하는 「공통의 마음가짐」이 있어요. 그걸 먼저 공유해두고 싶어요.

🔵 카이: 공통의 마음가짐요?

🟡 리나: Newton (뉴턴)도 Einstein (아인슈타인)도, 자연현상을 설명하기 위해 수식으로 기술을 만들었어요. 세상에서는 「법칙」「이론」「모델」이라고 다양하게 부르지만, 이 사이트에서는 통일해서 「모델」이라고 부르기로 해요.

🔵 카이: 왜 「모델」인가요?

🟡 리나: 「법칙」이라고 하면 「확정된 규칙」처럼 들리잖아요? 하지만 실제로는 인간이 만든 것이고, 근사에 불과하고, 언젠가 갱신될 가능성이 있어요. 「모델」이라는 말에는 그 뉘앙스가 처음부터 담겨 있어요.

⚪ 메이: 맞아. Newton의 만유인력은 200년 이상 「옳다」고 여겨졌지만, Einstein에 의해 「근사에 불과했다」는 게 밝혀졌잖아. 「법칙」이라 불려도 실체는 「모델」이야.

🟡 리나: 맞아요. 이게 이 사이트 전체를 관통하는 테마예요. 물리학의 모델은 전부 가설에 불과해요. 모델은 어떤 동기로 만들어졌고, 어디까지 잘 작동하고, 어디서 파탄이 나고, 다음에 어떤 모델이 태어났는지——이 연쇄를 앞으로 4개의 여행을 통해 수식으로 따라갈 거예요.

왜 수식으로 쓰는가 — 반증 가능성¶

🟡 리나: 그런데, 둘 다 「수식으로 이해하고 싶다」고 했는데, 물리학에서 수식이란 뭐라고 생각해요?

🔵 카이: 음, 모델을 식으로 나타낸 것?

🟡 리나: 맞아요. 좀 더 정확히 말하면, 수식은 모델을 객관적으로, 모호함 없이 표현한 것이에요. 말로 「중력은 거리가 멀어지면 약해진다」고 해도, 정성적으로는 알겠지만 「얼마나 약해지는지」는 모르잖아요. 하지만 Newton의 만유인력을 수식으로 쓰면——

\[ F = G\frac{m_1 m_2}{r^2} \]

🟡 리나: ——이렇게 돼요. 여기서 \(F\)는 두 물체 사이에 작용하는 인력의 크기, \(m_1, m_2\)는 각각의 물체의 질량, \(r\)은 두 물체 사이의 거리, \(G\)는 만유인력상수라 불리는 비례상수예요.

⚪ 메이: 고등학교에서 배운 식이네. 하지만 다시 보니, 이 식 하나로 「무엇을 알 수 있는」 걸까?

🟡 리나: 좋은 질문이에요. 이 식에서 정량적인 예측을 이끌어내 봅시다. 예를 들어 「거리가 2배가 되면 힘은 어떻게 되는가?」를 계산해 봐요.

🔵 카이: 음, \(r\)을 \(2r\)로 바꾸면……

\[ F' = G\frac{m_1 m_2}{(2r)^2} \]

🔵 카이: 분모를 전개하면,

\[ F' = G\frac{m_1 m_2}{4r^2} \]

🔵 카이: 즉,

\[ F' = \frac{1}{4} \cdot G\frac{m_1 m_2}{r^2} = \frac{F}{4} \]

🔵 카이: 힘이 4분의 1이 돼요!

🟡 리나: 맞아요. 거리가 3배라면?

⚪ 메이: 같은 식으로 \(r \to 3r\)로 하면,

\[ F'' = G\frac{m_1 m_2}{(3r)^2} = G\frac{m_1 m_2}{9r^2} = \frac{F}{9} \]

⚪ 메이: 9분의 1이야. 즉 힘은 거리의 제곱에 반비례한다——「역제곱 법칙」.

🟡 리나: 맞아요. 여기서 중요한 건, 누가 계산해도 같은 답이 나온다는 거예요. 「약해진다」는 말만으로는 「절반? 3분의 1?」이라고 모호하지만, 수식이면 「4분의 1」이라고 유일하게 정해져요. 이게 정량적인 예측이에요.

🔵 카이: 그렇구나. 그리고 그 예측을 실험으로 확인할 수 있는 거죠.

🟡 리나: 맞아요. 실제로 Newton의 모델은 행성의 궤도를 놀라운 정밀도로 예측했어요. 하지만——200년 후에 더 정밀한 관측이 이루어졌어요. 수성의 궤도가 Newton의 모델 예측에서 약간 어긋나 있다는 것이 밝혀졌어요.

⚪ 메이: 얼마나 어긋났던 거야?

🟡 리나: 100년당 약 43초각(각도의 단위로, 1도의 약 86분의 1). 아주 작은 양이에요. 하지만, 수식으로 써 있기 때문에 「예측값은 이것, 관측값은 이것, 차이는 이만큼」이라고 정량적으로 비교할 수 있었어요.

🔵 카이: 말로만 된 기술이었다면, 그런 미세한 어긋남은 발견하지 못했을 수도……

🟡 리나: 맞아요. 철학자 Karl Popper (칼 포퍼)는 이 「틀렸다고 증명할 수 있는 가능성이 있다」는 것을 반증 가능성이라고 불렀어요. 수식으로 쓰인 모델은 정량적인 예측을 내놓기 때문에 실험으로 반증할 수 있어요. 역으로 말하면, 반증 가능성을 갖지 않는 주장은 과학적 가설이라 부를 수 없어요.

🔵 카이: 그럼, 물리학은 「진리」를 찾는 학문이 아닌 건가요?

🟡 리나: 애초에, 신이 아닌 이상, 누구도 「참된 것」은 알 수 없어요. 우리가 할 수 있는 건, 관측한 현상을 가능한 한 정확하게 설명하는 모델을 만드는 것이에요. 그 모델이 「진리」인지 아닌지는 영원히 알 수 없어요. 그래서 물리학이 찾는 건 「진리」가 아니라, 반증 가능한 가설이에요. 예측이 실험과 맞으면 「지금까지는 맞다」, 맞지 않으면 「틀렸다」고 판정할 수 있어요. 수식으로 쓰기 때문에 정량적으로 검증할 수 있는 거예요.

🔵 카이: 그렇구나……수식이란, 옳음을 증명하기 위해서가 아니라 틀림을 찾기 위해 쓰는 거군요.

🟡 리나: 훌륭한 이해예요, 카이. 그리고 수성 궤도의 어긋남을 설명한 것이 Einstein의 일반상대성이론 모델이었어요. Newton의 모델이 「틀렸다」가 아니라, 「더 넓은 상황에서 성립하는 모델로 갱신되었다」는 거예요. 이것이 「물음 → 모델 → 새로운 물음」의 연쇄 구조예요.

%%{init: {"theme": "default", "themeCSS": ".edgePath .path, .flowchart-link { stroke-width: 2px !important; }"}}%%
flowchart TD
    A["물음·현상"] --> B["모델을 수식으로 구축"]
    B --> C["정량적 예측을 도출"]
    C --> D["실험·관측으로 검증"]
    D -->|"일치"| E["모델은\n'지금까지는 맞다'"]
    D -->|"어긋남 발견"| F["모델의 한계가 판명"]
    F --> G["새로운 물음"]
    G --> B
    E -.->|"더 정밀한 실험"| D

    style F fill:#fcc,stroke:#c00
    style E fill:#cfc,stroke:#0a0
    style B fill:#ccf,stroke:#33c

그림 1: 물리학은 「모델 → 정량적 예측 → 실험으로 검증 → 어긋남의 발견 → 새 모델」의 사이클로 진보한다. 수식으로 쓰기 때문에 이 사이클이 돌아간다.

✅ 이해도 체크: 물리학에서 수식으로 쓰는 것의 최대 이점은 무엇인가?

답

정량적인 예측이 가능해져서, 실험으로 정밀하게 검증(반증)할 수 있다는 것.

✅ 이해도 체크: Karl Popper가 제창한 「반증 가능성」이란 무엇인가?

답

모델의 예측이 「틀렸다고 증명할 수 있는 가능성이 있다」는 것. 반증 가능성을 갖는 것이 과학적 가설의 조건이 된다.

모델은 방정식, 대부분의 경우 미분방정식¶

🔵 카이: 선생님, 좀 궁금한 게 있는데요. 아까 만유인력 식——

\[ F = G\frac{m_1 m_2}{r^2} \]

🔵 카이: ——이것만으로, 예를 들어 지구의 궤도를 계산할 수 있나요? 「거리가 2배가 되면 힘은 4분의 1」이라는 건 알겠는데, 행성이 언제 어디에 있는지까지는 모를 것 같아서요.

🟡 리나: 날카로워요, 카이. 맞아요. 이 식은 「지금 이 순간, 두 물체 사이에 작용하는 힘의 크기」를 알려줄 뿐이에요. 힘을 알았다고 해서 운동까지 정해지는 건 아니에요.

⚪ 메이: 고등학교에서 배운 운동방정식과 결합한다는 거지?

🟡 리나: 맞아요. Newton의 운동방정식을 떠올려 봐요.

\[ F = ma \]

🟡 리나: \(a\)는 가속도. 그리고 가속도는, 위치 \(x\)를 시간 \(t\)로 2번 미분한 것이죠.

\[ a = \frac{d^2 x}{dt^2} \]

⚪ 메이: 속도가 위치의 1계 도함수, 가속도가 2계 도함수. 고등학교에서 했어.

🟡 리나: 그래서 운동방정식은 이렇게 다시 쓸 수 있어요.

\[ m\frac{d^2 x}{dt^2} = F \]

🟡 리나: 그리고 \(F\)에 만유인력을 대입하면——간단히 1차원으로 쓸게요——

\[ m\frac{d^2 x}{dt^2} = -G\frac{Mm}{x^2} \]

🟡 리나: 이것이 미분방정식이에요. 「미지의 함수 \(x(t)\)와 그 도함수가 섞인 방정식」이라는 뜻이에요.

🔵 카이: 방정식이라면, \(x^2 - 3x + 2 = 0\) 같이 「\(x\)를 구하라」 하는 거잖아요. 미분방정식의 「미지」는 뭔가요?

🟡 리나: 좋은 질문이에요. 보통 방정식에서 구하는 건 수예요. 미분방정식에서 구하는 건 함수——이 경우 「시간에 따라 위치가 어떻게 변하는지」를 나타내는 함수 \(x(t)\)예요. 이걸 풀면 행성이 언제, 어디에 있는지 알 수 있어요.

⚪ 메이: 즉, 「힘의 식」 단독이 아니라 「힘의 식 + 운동방정식」이 합쳐져야 비로소 미래 예측이 가능하다는 거지?

🟡 리나: 맞아요. 게다가, 미분방정식을 풀려면 두 가지 더 필요한 게 있어요. 초기조건과 경계조건이에요.

초기조건과 경계조건¶

🔵 카이: 각각 뭔가요?

🟡 리나: 먼저 초기조건. 「지금, 어디에 있는가」와 「지금, 어떤 속도로 움직이고 있는가」예요. 같은 미분방정식이라도 출발점과 초속이 다르면 궤도는 완전히 달라져요. 태양을 돌고 있는 지구와 태양으로 떨어져 가는 혜성은 같은 중력의 미분방정식을 따르는데도 미래가 전혀 달라요. 이건 초기조건이 다르기 때문이에요.

⚪ 메이: 「법칙은 같아도, 출발점이 다르면 미래가 다르다」. 당연한 것 같지만, 중요한 포인트네.

🟡 리나: 그리고 또 하나가 경계조건이에요.

🔵 카이: 경계조건이요?

🟡 리나: 시간 방향의 변화를 추적하는 것이 초기조건이라면, 공간 방향의 「끝에서 어떻게 되어 있는가」를 지정하는 것이 경계조건이에요. 예를 들어, 기타 줄이 진동하는 모습을 수식으로 쓸 때——줄의 양 끝은 핀으로 고정되어 있으니까, 「양 끝에서 진동의 변위가 0」이라는 조건이 붙어요. 이게 경계조건이에요.

⚪ 메이: 「끝」이라는 건, 비유?

🟡 리나: 날카로워요. 엄밀하게는 「공간 영역의 경계에서 무엇이 일어나고 있는가」라는 의미예요. 기타 줄의 양 끝 같은 물리적인 「끝」이 전형적인 예이지만, 그 외의 형태도 있어요. 예를 들어 영역이 고리 모양으로 닫혀 있으면 「한 바퀴 돌면 원래로 돌아온다」는 조건(주기 경계조건)이 되고, 원점 같은 특수한 점에서 「파동함수가 발산하지 않는다」는 조건을 부과하기도 해요. 「초기조건」의 '초기'도 관습적인 명칭으로, 어떤 기준 시각을 골라서 거기서의 상태를 지정한다는 의미예요. 본질은 「방정식만으로는 부족한 추가 정보를, 시간 쪽과 공간 쪽에서 보충한다」는 거예요.

🔵 카이: 그렇구나, 「끝」은 어디까지나 알기 쉬운 대표 예시인 거군요.

🟡 리나: 맞아요. 앞으로는 이미지하기 쉬운 쪽을 우선해서 「끝」이라는 말을 많이 쓰겠지만, 실제로는 좀 더 넓은 의미라는 걸 머릿속에 넣어둬요.

⚪ 메이: 양 끝을 고정하느냐, 자유롭게 하느냐에 따라 소리가 바뀔 것 같아.

🟡 리나: 맞아요. 같은 파동의 미분방정식이라도, 「양 끝 고정」「양 끝 자유」「한쪽 고정」으로 나오는 진동 패턴이 완전히 달라져요. 기타, 플루트, 북——악기의 음색 차이는 사실 미분방정식은 전부 「파동방정식」으로 공통인데, 경계조건만 다른 거예요.

🔵 카이: 경계조건이 그렇게 큰 영향을 미치나요.

🟡 리나: 미쳐요. 앞으로 여행해갈 모델에서도 경계조건은 큰 역할을 해요.

일반상대성이론에서는, 블랙홀의 표면(사건의 지평면)이나 우주의 끝에서의 조건을 지정해야 해요
양자역학에서는, 「상자 안의 입자」「원자핵에 속박된 전자」——입자가 존재할 수 있는 공간을 어디까지 넓히는가 하는 경계조건이 에너지의 불연속적인 값을 만들어요
끈이론에서는, 끈의 양 끝이 자유인지, 닫혀서 루프가 되어 있는지가 나타나는 입자의 종류를 결정해요

⚪ 메이: 같은 방정식이라도, 경계를 어떻게 자르느냐에 따라 완전히 다른 현상이 나타나는구나…….

🟡 리나: 맞아요. 그래서 물리학에서 모델을 사용할 때는, 「방정식」「초기조건」「경계조건」의 3점 세트로 생각하는 거예요.

%%{init: {"theme": "default", "themeCSS": ".edgePath .path, .flowchart-link { stroke-width: 2px !important; }"}}%%
flowchart LR
    EQ["미분방정식\n(자연의 규칙)"] --> SOL["해\n(구체적인 거동)"]
    IC["초기조건\n(현재의 상태)"] --> SOL
    BC["경계조건\n(끝에서의 조건)"] --> SOL

    style EQ fill:#ccf,stroke:#33c
    style IC fill:#fec,stroke:#c90
    style BC fill:#fcc,stroke:#c33
    style SOL fill:#cfc,stroke:#0a0

그림: 미분방정식(자연의 규칙), 초기조건(현재의 상태), 경계조건(공간의 끝에서의 조건)의 3점 세트가 갖춰져야 비로소 미래의 거동을 예측할 수 있다.

⚪ 메이: 방정식 = 자연의 규칙, 초기조건 = 현재의 상황, 경계조건 = 공간의 틀, 이라는 정리네.

🟡 리나: 완벽해요.

4개의 여행에서 등장하는 주역 미분방정식¶

🟡 리나: 여기서부터가 재미있는 부분이에요. 앞으로 여행해갈 4개의 모델도, 주역 방정식은 거의 전부 미분방정식이에요.

🔵 카이: 정말요?

🟡 리나: 예고만 해둘게요. 자세한 건 각 장에서.

여행	주역 방정식	무엇을 예측하는가
일반상대성이론	Einstein 방정식 \(G_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4} T_{\mu\nu}\)	시공의 휘어짐
양자역학	Schrödinger 방정식 \(i\hbar \frac{\partial \psi}{\partial t} = \hat{H}\psi\)	입자의 「존재 확률」의 시간 변화
장의 양자론	Dirac 방정식·Klein-Gordon 방정식 등	장의 시간 발전
양자중력 문제에의 도전	(후보는 아직 확정되지 않았다)	—

🟡 리나: 전부, 시간이나 공간에서의 변화를 기술하는 미분방정식(형식적으로는 편미분방정식——여러 변수에 대한 미분이 섞인 방정식——이 많아요). 「현재의 상태」에서 「조금 뒤의 상태」로의 규칙을 써두면, 그걸 쌓아서 미래를 따라갈 수 있어요——이게 물리학 모델의 기본형이에요.

⚪ 메이: 미분방정식이 이런 의미에서 물리학에서 이렇게 많이 쓰이는 거구나.

유보——「방정식으로 미래를 완전히 알 수 있다」고는 할 수 없다¶

🔵 카이: 근데 선생님, 조금 의문이 있어요. 방정식만 있으면 뭐든 예측할 수 있다면, 일기예보는 왜 이렇게 빗나가는 건가요?

🟡 리나: 후후, 이것도 날카로워요. 여기서 정직하게 말해둬야 할 게 있어요. 「방정식이 있으면 예측할 수 있다」는 원칙적으로는 맞지만, 몇 가지 유보가 있어요.

🟡 리나: 첫 번째, 풀기가 어려운 경우가 있어요. 방정식은 쓸 수 있어도, 해석적으로 풀 수 없는——즉 깔끔한 수식으로 답을 쓸 수 없는 모델은 많아요. 일기예보의 바탕이 되는 유체의 방정식(Navier-Stokes 방정식)은, 애초에 「매끄러운 해가 항상 존재하는가」 자체가 현대 수학의 미해결 문제예요. 보통은 컴퓨터로 수치적으로 근사 계산할 수밖에 없어요.

🔵 카이: 에에, 미해결 문제인 건가요.

🟡 리나: 두 번째, 카오스. 미분방정식이 결정론적이더라도, 초기조건의 아주 작은 차이가 시간이 지남에 따라 지수함수적으로 확대되어 장기 예측이 실질적으로 불가능해지는 현상이에요. 날씨가 바로 이거예요. 3일 후는 맞출 수 있어도, 1개월 후는 원리적으로 어려워요.

⚪ 메이: 방정식이 「정해져 있다」는 것과, 결과가 「예측 가능하다」는 건 별개라는 거구나.

🟡 리나: 맞아요. 세 번째가 가장 중요한데——양자역학에서는 예측이 본질적으로 확률적이 돼요. 표에서 Schrödinger 방정식이 「존재 확률의 시간 변화」를 기술한다고 썼죠? 그거, 가볍게 썼지만 사실 매우 깊은 내용이에요. 양자역학의 세계에서는, 초기조건·경계조건이 완벽히 알려져 있고, 방정식을 엄밀하게 풀 수 있다 하더라도, 「다음에 입자를 어디서 관측하는가」는 확률로밖에 말할 수 없어요. 「반드시 여기에 있다」고는 말할 수 없어요.

🔵 카이: 에……주사위 같은 건가요?

🟡 리나: 비슷하지만, 더 기묘해요. 이 이야기는 2번째 여행 「양자역학」에서 천천히 마주할 테니, 지금은 「그런 일이 일어난다고 한다」정도만 기억해둬요.

🟡 리나: 네 번째, 미분방정식의 형태로 쓰이지 않는 모델도 있어요. 장의 양자론이나 끈이론이 되면, 「작용 원리」나 「경로적분」이라 불리는 형식이 주역이 돼요. 이건 형식적으로는 미분방정식으로 귀착되므로 「대부분의 경우」로 커버할 수 있지만, 쓰는 형태가 다르다는 건 머릿속 한 구석에 넣어둬요.

⚪ 메이: 그래서 처음에 「대부분의 경우 미분방정식」이라고 말한 거구나.

🟡 리나: 맞아요. 엄밀히 말하면, 물리학의 모델은:

대부분은 미분방정식 형태 (운동방정식, Maxwell 방정식, Schrödinger 방정식, Einstein 방정식)
일부는 대수적 관계식 (\(E = mc^2\), 상태방정식 \(PV = nRT\) 등)
현대적 정식화에서는 작용 원리·경로적분 (미분방정식과 동등)

🟡 리나: 어느 것에나 공통되는 건, 「자연의 거동을 수식으로 쓴다 → 미지의 상황을 예측한다 → 실험과 대조한다」라는 구조예요. 그건 변하지 않아요.

✅ 이해도 체크: Newton의 만유인력 식 \(F = Gm_1 m_2/r^2\)만으로는 행성의 궤도를 계산할 수 없다. 왜인가?

답

이 식은 「지금 이 순간의 힘의 크기」를 줄 뿐이며, 위치 \(x(t)\)의 시간 변화를 결정하는 방정식이 아니기 때문이다. 운동방정식 \(F = m\, d^2 x/dt^2\)과 결합해야 비로소 \(x(t)\)에 대한 미분방정식이 되고, 초기조건(현재의 위치와 속도)을 주면 미래의 궤도를 계산할 수 있다.

✅ 이해도 체크: 미분방정식을 풀어 물리현상을 예측하기 위해, 「방정식」 외에 지정이 필요한 것을 2가지 들어라. 각각 무엇을 나타내는지 간결히 서술하라.

답

①초기조건: 시간적 출발점에서의 상태 (예: 현재의 위치와 속도). ②경계조건: 공간의 끝에서의 조건 (예: 기타 줄의 양 끝에서 변위 0, 원자핵에 속박된 전자가 무한원에서 파동함수가 0 등). 둘 다 갖춰져야 비로소 해가 유일하게 정해진다.

✅ 이해도 체크: 미분방정식이 있으면 미래를 완전히 예측할 수 있다고 단정할 수 없는 이유를 2가지 이상 들어라.

답

①해석적으로 풀 수 없는 경우가 많아 수치 계산에 의존할 수밖에 없다 (경우에 따라서는 매끄러운 해의 존재 자체가 미해결). ②카오스 계에서는 초기조건의 작은 차이가 지수적으로 확대되어 장기 예측이 실질적으로 불가능하다. ③양자역학에서는 방정식을 엄밀히 풀어도 관측 결과는 확률적으로밖에 예측할 수 없다.

물리학의 「카테고리」는 인간이 만든 것¶

🟡 리나: 또 하나, 처음에 전해두고 싶은 게 있어요. 고등학교 물리에서는 「역학」「전자기학」「파동」「열역학」「원자물리」라고 카테고리가 나뉘어 있잖아요?

🔵 카이: 네. 시험 범위도 그렇게 되어 있어요.

🟡 리나: 그 카테고리 나누기가, 자연이 본질적으로 그렇게 나뉘어 있는 건 아니잖아요?

🔵 카이: 뭐, 생각해보면 그렇죠. 인간이 제멋대로 나눈 것일 뿐이고.

🟡 리나: 맞아요. 인간이 역사적으로 「이 현상을 수식으로 모델화하고 싶다」고 생각해서, 하나씩 다뤄왔어요. 그 축적을 정리하다 보니, 우연히 저런 카테고리가 된 것뿐이에요. 실제로 카테고리의 경계는 나중에 무너져 왔어요.

🔵 카이: 무너졌다고요?

🟡 리나: 예를 들어, 「전기」와 「자기」는 원래 별개의 카테고리였어요. 하지만 19세기에 Maxwell (맥스웰)이 「실은 같은 현상이다」라고 보여주며 통일했어요. 「열」도 독립된 현상이라고 생각되었지만, Boltzmann (볼츠만)이 「원자 운동의 통계」로서 역학에 환원했어요. 20세기에는 「약한 힘」과 「전자기력」이 통일되었어요 (자세한 건 장의 양자론 제20장 참조).

⚪ 메이: 즉, 카테고리는 「현시점에서의 인간 이해의 정리선반」이지 자연의 본질적인 구분이 아니라는 거네.

%%{init: {"theme": "default", "themeCSS": ".edgePath .path, .flowchart-link { stroke-width: 2px !important; }"}}%%
flowchart TD
    E["전기"] -->|"Maxwell (1865)"| EM["전자기력"]
    M["자기"] -->|"Maxwell (1865)"| EM
    Heat["열"] -->|"Boltzmann (1870s)"| SM["통계역학"]
    Mech["역학"] --> SM

    subgraph QFTArea["🟩 「장의 양자론」편"]
        EM
        Weak["약한 힘"]
        Strong["강한 힘"]
        EW["전약 통일<br/>（Weinberg-Salam 1967）"]
        STD["표준모형<br/>（전자기력·약한 힘·강한 힘）"]
        GUT["대통일이론 (GUT)<br/>원래 하나의 힘이었을까?<br/>（미검증 가설）"]
        EM --> EW
        Weak --> EW
        EW --> STD
        Strong -->|"QCD (1973)"| STD
        STD -.->|"3개의 힘의<br/>공통된 기원"| GUT
    end

    subgraph GRArea["🟦 「일반상대론」편（중력）"]
        Gravity["중력<br/>（상대론: 특수·일반）"]
    end

    subgraph QMArea["🟨 「양자역학」편"]
        QM["양자역학"]
    end

    subgraph QGArea["🟥 「양자중력 문제에의 도전」편"]
        QG["양자중력 문제<br/>（중력의 양자화·만물의 이론의 후보）<br/>미해결"]
    end

    Gravity -.->|"양자화 곤란"| QG
    STD -.->|"중력만 포함할 수 없다"| QG
    GUT -.-> QG
    QM -->|"특수상대론과\n양자역학의 통합"| STD
    SM -->|"흑체복사\n（고전물리의 파탄）"| QM
    SM -->|"되맞춤군·상전이"| STD

    style E fill:#f5f5f5,stroke:#999,color:#666
    style M fill:#f5f5f5,stroke:#999,color:#666
    style Heat fill:#f5f5f5,stroke:#999,color:#666
    style Mech fill:#f5f5f5,stroke:#999,color:#666
    style SM fill:#f5f5f5,stroke:#999,color:#666
    style QM fill:#f5f5f5,stroke:#999,color:#666

    style EM fill:#dfd,stroke:#666
    style Weak fill:#dfd,stroke:#666
    style Strong fill:#dfd,stroke:#666
    style Gravity fill:#dfd,stroke:#666

    style EW fill:#cef,stroke:#339,stroke-width:2px
    style STD fill:#cef,stroke:#339,stroke-width:2px

    style GUT fill:#eee,stroke:#999,stroke-dasharray: 5 5

    style QG fill:#ff9,stroke:#f00,stroke-width:3px

    style QFTArea fill:#f0fff0,stroke:#3a3
    style GRArea fill:#f0f7ff,stroke:#339
    style QMArea fill:#fffaf0,stroke:#c90
    style QGArea fill:#fff0f0,stroke:#c33

그림 2: 물리학 카테고리의 통일사와 본 사이트 4개 편과의 대응. 연두색이 기본적인 힘(현상), 하늘색이 검증된 통일 모델(전약 통일·표준모형), 회색 점선이 미검증 가설(GUT), 노란색이 미해결 문제(양자중력 문제). 옅은 회색(전기·자기·열·역학·통계역학·양자역학)은 역사상의 카테고리로 각 편에서 필요에 따라 도입한다(예: 통계역학은 「양자중력 문제에의 도전」편 제3장에서 본격 도입). 화살표는 2종류——실선은 검증된 연결(통일·확장·도구의 응용), 점선은 미검증 가설(GUT, 양자중력 문제로의 합류).

🔵 카이: 선생님, 이 그림에 「강한 힘」이 있네요. 자연계에는 4가지 기본적인 힘이 있다고 들은 적이 있어요.

🟡 리나: 맞아요. 강한 힘·약한 힘·전자기력·중력 4가지. 연두색 노드예요. 그중 전자기력과 약한 힘이 전약 통일로 합쳐지고, 거기에 강한 힘을 나란히 놓은 게 「표준모형」이에요. 3가지 힘을 하나의 틀에서 다룰 수 있는, 인류가 만든 최선의 모델이에요.

🔵 카이: 「대통일이론 (GUT)」이 남은 중력도 포함하는 건 줄 알았어요.

🟡 리나: 잘 헷갈리는 포인트예요. GUT는 중력을 포함하지 않아요. 전자기·약한·강한 3가지 힘의 공통 기원을 찾는 가설로, 「원래 하나의 힘이었을까?」라는 발상이에요. 중력까지 포함한 궁극의 통일은 「만물의 이론 (Theory of Everything, TOE)」이라 불리며, 이것이야말로 「양자중력 문제에의 도전」편의 테마가 돼요. 이름만 보면 GUT 쪽이 더 클 것 같은데, 실은 TOE 쪽이 더 크다——역사적 경위의 혼란스러움이에요.

⚪ 메이: 「일반상대론」편와 「장의 양자론」편 양쪽에서 「양자중력 문제」로 화살표가 뻗어 있구나. 거기가 이 사이트의 합류점이야.

🟡 리나: 맞아요. 그리고 GUT에서도 양자중력 문제로 점선이 뻗어 있어요. 접근법에는 여러 발상이 있어서, 「표준모형(3가지 힘)은 그대로, 중력만 별도로 양자화」하는 방향——루프 양자중력 (LQG)이 대표——과, 「모든 힘을 하나의 기원에서 이끌어내자」는 방향——끈이론——이 있어요. 이 사이트의 「양자중력 문제에의 도전」편에서는 끈이론을 축으로 하면서, LQG나 다른 후보도 공정하게 소개할 거예요.

🔵 카이: 세부적인 색이나 화살표의 의미는요?

🟡 리나: 캡션과 각 편의 여행 속에서 자연스럽게 보이게 될 테니, 전부를 처음부터 이해할 필요는 없어요. 옅은 회색 분야(전기·자기·열·역학·통계역학·양자역학)도 각각 필요해지는 타이밍에 본문에서 도입해요. 이 그림은 말하자면 「여행의 지도」예요. 길을 잃으면 여기로 돌아와요.

🟡 리나: 그리고, 아직 통일되지 않은 카테고리가 있어요——그게 「중력」과 「양자역학」이에요. 마지막으로 남겨진 통일이야말로 「만물의 이론」이며, 「양자중력 문제에의 도전」편에서 도전하는 테마예요.

🔵 카이: 중력은 일반상대성이론이고, 양자역학은……양자역학이잖아요. 뭐가 문제인 건가요?

🟡 리나: 간단히 말하면, 일반상대성이론은 시공을 「매끄럽게 휘어지는 연속체」로 다뤄요. 반면 양자론은 모든 것을 「불연속적인 값」으로 기술해요. 블랙홀 중심처럼 중력이 극단적으로 강하고 크기가 극단적으로 작은 곳에서는, 양쪽을 동시에 사용해야 하는데 모순이 생겨요.

⚪ 메이: 구체적으로는 어떻게 모순되는 거야?

🟡 리나: 중력을 양자론의 틀에서 계산하려 하면, 답이 무한대가 되어 의미를 잃어요. 이걸 「되맞춤 불가능」이라고 해요 (자세한 건 장의 양자론 제14장, 제24장 참조). 이 둘을 통일하는 이론——양자중력이론——을 찾는 것이 현대 물리학의 최대 미해결 문제예요.

🔵 카이: 그게 4번째 여행 「양자중력 문제에의 도전」의 목표인 거군요.

🟡 리나: 맞아요. 다만 「목표」라고 해도, 답이 확정되어 있는 건 아니에요. 끈이론은 가장 체계화된 답의 후보이지만, 실험적으로 검증되지 않았어요. 그래서 「목표」는 「답을 알려주는 것」이 아니라 「현재 위치를 수식으로 이해하는 것」이에요.

✅ 이해도 체크: 「전기」와 「자기」를 통일한 것은 누구인가?

답

Maxwell(맥스웰). 19세기에 전기와 자기가 같은 현상임을 보여주었다.

✅ 이해도 체크: 현대 물리학의 최대 미해결 문제로 거론되는 「아직 통일되지 않은 두 카테고리」는 무엇인가?

답

「중력」과 「양자역학」. 이 둘을 통일하는 양자중력이론이 아직 발견되지 않았다.

모델을 낳는 두 가지 동기¶

🟡 리나: 그런데, 인간은 왜 모델을 만들어 왔을까요? 동기는 크게 두 가지로 나눌 수 있어요.

🔵 카이: 동기요?

🟡 리나: 첫 번째는 실용적인 필요성. 증기기관의 효율을 높이고 싶다, 대포의 탄도를 계산하고 싶다, 다리가 무너지지 않게 설계하고 싶다——이런 「곤란함」을 해결하기 위해 자연현상을 수식으로 기술할 필요가 있었어요.

⚪ 메이: 열역학은 증기기관의 효율 개선에서 태어났잖아. Carnot의 1824년 논문이 바로 그래.

🟡 리나: 맞아요. 증기기관은 경험적 지식으로 실용화되었지만, 「왜 이 효율이 한계인가」를 설명하는 체계적인 모델은 나중에 태어났어요. 하지만 또 하나의 동기가 있어요. 순수한 호기심이에요.

🔵 카이: 호기심이요?

🟡 리나: 「별은 왜 움직이는가」「빛이란 무엇인가」「공간의 끝은 어떻게 되어 있는가」——이런 물음에는 실용적 목적이 없어요. 그냥 알고 싶으니까. Newton이 행성의 운동을 연구한 건 대포를 만들기 위해서가 아니라, Kepler (케플러)의 법칙의 「왜」를 알고 싶었기 때문이에요. Einstein이 상대성이론을 만든 건, 16살 때 「빛과 같은 속도로 달리면, 빛은 멈춰 보일까?」라는 소박한 의문을 가진 것이 계기였어요.

🔵 카이: 멋있다……

⚪ 메이: 그리고 재미있는 건, 호기심에서 태어난 모델이 나중에 실용적으로 도움이 되는 경우가 있다는 거야. 양자역학은 「원자는 왜 안정한가」라는 호기심에서 태어났지만, 지금은 반도체나 레이저 설계에 필수불가결해.

🟡 리나: 맞아요. 동기가 무엇이든, 수식으로 쓰인 모델은 예측력을 갖고 있어요. 그리고 예측력이 있기 때문에 기술에 응용할 수 있어요.

✅ 이해도 체크: 본문에서 거론된, 인간이 모델을 만드는 두 가지 동기는 무엇인가?

답

하나는 실용적 필요성(증기기관의 효율 개선 등), 다른 하나는 순수한 호기심(별은 왜 움직이는가 등).

4개의 여행의 전체상¶

🟡 리나: 이 사이트에서는 4개의 여행을 준비했어요. 순서대로 읽으면, 고등학교 물리에서 현대 물리의 미해결 문제까지 도달할 수 있어요.

🔵 카이: 4개요?

🟡 리나: 일반상대성이론·양자역학·장의 양자론·양자중력 문제에의 도전 4가지. 각각 독립된 교과서로 읽을 수 있지만, 물리학의 구조상 자연스러운 흐름이 있어요.

%%{init: {"theme": "default", "themeCSS": ".edgePath .path, .flowchart-link { stroke-width: 2px !important; }"}}%%
flowchart TD
    HS["고등학교 물리\n（Newton 역학·전자기학）"]
    GR["① 일반상대성이론\n크고 빠른 세계"]
    QM["② 양자역학\n작고 가벼운 세계"]
    QFT["③ 장의 양자론\n특수상대론 × 양자역학"]
    QG["④ 양자중력 문제에의 도전\n중력 × 양자"]

    HS -->|"Newton의 한계"| GR
    HS -->|"원자는 왜 안정한가"| QM
    QM -->|"상대론과 통합"| QFT
    GR -->|"양자화하면 파탄"| QG
    QFT -->|"중력만 포함할 수 없다"| QG

    style HS fill:#eee,stroke:#666
    style GR fill:#cef,stroke:#333
    style QM fill:#fec,stroke:#333
    style QFT fill:#cfc,stroke:#333
    style QG fill:#ff9,stroke:#f00,stroke-width:3px

그림 3: 4개의 여행의 관계도. 고등학교 물리에서 두 방향(상대론·양자론)으로 분기하고, 장의 양자론에서 부분적으로 합류하며, 마지막에 양자중력 문제에서 완전히 합류한다.

🟡 리나: 일반상대성이론부터 시작하는 건, Newton 역학의 자연스러운 확장이기 때문이에요. 고등학교에서 배운 역학과 전자기학의 연속으로, 특수상대론·등가원리·시공의 기하를 쌓아 올려가요. 블랙홀·중력파·우주론까지 도달해요.

🔵 카이: 물리의 연속성이 있는 순서인 거군요.

🟡 리나: 다음은 양자역학. 이쪽은 같은 고등학교 물리에서 출발하지만, 방향이 완전히 달라요. 「원자는 왜 안정한가」라는 물음에서 시작해서, 파동함수·Schrödinger 방정식·양자 얽힘까지.

⚪ 메이: 상대론이 「크고 빠른 세계」의 물리이고, 양자역학이 「작고 가벼운 세계」의 물리구나.

🟡 리나: 세 번째 장의 양자론은, 이 「작고 가벼운」 양자역학에 「크고 빠른」 특수상대론을 통합한 모델이에요. 입자는 「점」이 아니라 「장의 진동」으로 다뤄지며, 소립자의 생성·소멸·되맞춤·표준모형까지 단숨에 전개해요.

🔵 카이: 양자역학의 속편 같은 느낌인가요?

🟡 리나: 맞아요. 그리고 마지막 양자중력 문제에의 도전에서, 세 개의 여행이 충돌해요. 일반상대성이론(중력)과 장의 양자론(양자)을 하나로 하려 하면 모델이 파탄나요——이 「양자중력 문제」가 현대 물리학의 최대 미해결 문제예요. 끈이론은 그 해결 후보 중 가장 유력하지만, 비판도 대안도 있어요. 마지막에 「여러분은 어떻게 판단하는가」로 마무리해요.

⚪ 메이: 4개의 여행이, 마지막에 하나의 물음으로 합류하는 구조구나.

🟡 리나: 맞아요. 순서대로 읽으면 「물음 → 부분적 답 → 새로운 물음」의 연쇄를 자연스럽게 따라갈 수 있어요. 하나만 읽는 것도 자유이지만, 이 순서로 읽기를 추천해요.

✅ 이해도 체크: 이 사이트에서 추천되는 4개의 여행을 읽는 순서는 무엇인가?

답

①일반상대성이론 → ②양자역학 → ③장의 양자론 → ④양자중력 문제에의 도전. 고등학교 물리에서 두 방향으로 분기하고, 장의 양자론에서 부분적으로 합류, 양자중력에서 완전 합류하는 구조.

「모델의 갱신」을 수식으로 보기 — Newton에서 Einstein으로¶

🟡 리나: 여기서, 「모델이 갱신된다」는 것이 어떤 의미인지, 좀 더 구체적으로 수식으로 봐 둡시다. Newton의 모델과 Einstein의 모델을 나란히 놓아볼게요.

⚪ 메이: 아까 만유인력 식과, 일반상대성이론 식?

🟡 리나: 맞아요. 먼저 Newton의 모델을 다시 한번 쓸게요.

\[ F = G\frac{m_1 m_2}{r^2} \]

🟡 리나: 이건 「질량 \(m_1\)과 \(m_2\)를 가진 두 물체가 거리 \(r\)만큼 떨어져 있을 때, 인력 \(F\)가 이 식으로 주어진다」는 모델이에요. 여기서 행성의 궤도를 계산하면 거의 완벽하게 관측과 일치해요. 하지만 수성의 근일점 이동에 100년당 43초각의 어긋남이 있었어요.

🔵 카이: 그래서, Einstein의 모델은 어떻게 되나요?

🟡 리나: Einstein의 일반상대성이론 모델은, 중력을 「힘」이 아니라 「시공의 휘어짐」으로 기술해요. 그 중심에 있는 게 Einstein 방정식이에요.

\[ G_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4}\, T_{\mu\nu} \]

🔵 카이: 와, 첨자가 잔뜩……

🟡 리나: 지금은 각 기호의 엄밀한 의미를 이해할 필요 없어요. 일반상대성이론 제14장에서 자세히 유도하니까. 지금은 「전체 구조」만 잡으면 돼요.

🟡 리나: 좌변의 \(G_{\mu\nu}\)는 「시공이 얼마나 휘어져 있는가」를 나타내는 텐서예요. \(\Lambda g_{\mu\nu}\)는 우주상수항으로, 우주 전체의 팽창과 관련돼요. 우변의 \(T_{\mu\nu}\)는 「거기에 얼마나 물질·에너지가 있는가」를 나타내는 텐서예요. \(G\)는 Newton의 만유인력상수, \(c\)는 광속이에요.

⚪ 메이: 즉 「물질·에너지가 시공을 휘게 하고, 휘어진 시공이 물질의 운동을 결정한다」는 것?

🟡 리나: 완벽한 요약이에요. 그리고 중요한 건, Newton의 모델은 Einstein의 모델의 근사로 포함되어 있다는 거예요.

🔵 카이: 근사요?

🟡 리나: Einstein 방정식에서 출발해서, 「중력이 약하다」「속도가 광속에 비해 충분히 느리다」는 조건을 부과하면, Newton의 만유인력이 유도돼요. 식으로 쓰면 이런 흐름이에요.

먼저, 시공의 휘어짐이 작을 때, 계량 텐서 \(g_{\mu\nu}\)를 평탄한 Minkowski 계량 \(\eta_{\mu\nu}\)로부터의 미소한 어긋남으로 쓸 수 있어요:

\[ g_{\mu\nu} = \eta_{\mu\nu} + h_{\mu\nu}, \quad |h_{\mu\nu}| \ll 1 \]

🟡 리나: 이 근사 하에서 Einstein 방정식을 전개하고, 또한 「물질이 정지해 있다」「시간 변화가 느리다」는 조건을 부과하면, \(h_{00}\) 성분(시간-시간 성분)에 대한 방정식이——

\[ \nabla^2 h_{00} = -\frac{8\pi G}{c^4}\, \rho\, c^2 \]

🟡 리나: 여기서 \(\rho\)는 질량밀도. 양변을 \(2\)로 나누고, \(\Phi \equiv \frac{c^2\, h_{00}}{2}\)로 정의하면,

\[ \nabla^2 \left(\frac{c^2\, h_{00}}{2}\right) = -4\pi G\, \rho \]

🟡 리나: 좌변의 \(\frac{c^2 h_{00}}{2}\)를 \(\Phi\) (Newton의 중력 퍼텐셜)로 동일시하면,

\[ \nabla^2 \Phi = -4\pi G\, \rho \]

⚪ 메이: 아, 이거 알아! Newton 중력의 푸아송 방정식이잖아!

🟡 리나: 맞아요. 그리고 이 푸아송 방정식의 해가, 점질량 \(M\)에 대해서는

\[ \Phi = -\frac{GM}{r} \]

🟡 리나: 질량 \(m\)의 물체가 이 퍼텐셜 속에서 받는 힘은 \(F = -m\,\nabla\Phi\)이니까,

\[ F = -m \cdot \frac{d}{dr}\left(-\frac{GM}{r}\right) = -\frac{GMm}{r^2} \]

🟡 리나: (마이너스는 인력의 방향을 나타내요.) 크기만 취하면,

\[ |F| = G\frac{Mm}{r^2} \]

🔵 카이: 오오! Newton의 만유인력이 나왔어요!

🟡 리나: 이게 「모델의 갱신」의 의미예요. Einstein의 모델은 Newton의 모델을 포함하고 있어요. 약한 중력·저속의 극한에서는 Newton과 일치하지만, 강한 중력이나 고속 상황에서는 더 정확한 예측을 내놓아요. Newton의 모델은 「틀린 것」이 아니라 「근사」였던 거예요.

⚪ 메이: 그렇구나. 그래서 「법칙」이 아니라 「모델」이라고 부르는 거야. Newton의 모델은 지금도 유효한 근사로 쓰이고 있지만, 더 넓은 상황에서는 Einstein의 모델로 갱신되었다.

🟡 리나: 그리고 Einstein의 모델도 또한——블랙홀 중심이나 빅뱅의 순간에서는 파탄나요. 즉, 더 「다음 모델」이 필요해요. 그게 양자중력 모델이며, 그 후보 중 하나가 끈이론이에요. 이게 4개의 여행 전체의 구조예요.

그림 4: Newton의 모델은 Einstein의 모델의 「약한 중력·저속」 극한으로 포함된다. 모델은 부정되는 것이 아니라, 더 넓은 모델의 근사로 재배치된다.

✅ 이해도 체크: Einstein 방정식에서 Newton의 만유인력을 유도할 때 부과하는 근사 조건은 무엇인가?

답

①중력이 약하다 (\(|h_{\mu\nu}| \ll 1\)), ②속도가 광속에 비해 충분히 느리다, ③물질이 정지해 있다 (시간 변화가 느리다).

기존 콘텐츠와의 차이¶

⚪ 메이: 리나 선생님, 하나 물어봐도 돼요? 물리학 책이나 동영상은 세상에 많이 있는데, 이 사이트는 뭐가 다른 거예요?

🟡 리나: 좋은 질문이에요. 크게 4가지 차이가 있어요.

🟡 리나: 첫째, 일반 대중 과학서와의 차이. 일반 대중서는 「비유」로 끝나는 경우가 많아요. 메이가 말했듯이, 비유 뒤에 있는 수식의 세계는 보이지 않아요. 이 사이트에서는 수식을 따라가며 「왜 그렇게 되는지」를 스스로 확인할 수 있게 해요.

🔵 카이: 근데, 고등학교 수학만으로 양자중력까지 갈 수 있나요?

🟡 리나: 처음부터 전부는 무리예요. 하지만 고등학교 미적분과 벡터에서 출발해서, 필요한 수학은 그때그때 도입하니까. 한 걸음씩 쌓아 올리면 제대로 도달할 수 있어요.

🟡 리나: 둘째, 대학 교과서와의 차이. 교과서는 동기 없이 갑자기 수식이 시작되는 경우가 많아요. 「라그랑지안을 정의한다. 작용을 최소화한다. 이상」 같은. 이 사이트에서는, 왜 그 모델이 필요하게 되었는가를 항상 먼저 제시해요.

⚪ 메이: 「무엇을 해결하려 하는 것인지」를 모른 채 수식을 따라가는 건 확실히 힘들어.

🟡 리나: 셋째, 기존 해설서와의 차이. 많은 끈이론이나 양자중력 책은 특정 이론을 「올바른 이론」으로 제시하기 쉬워요. 하지만 이 사이트에서는 모든 모델을 어디까지나 가설로 다뤄요. 비판도 대안 이론도 공정하게 소개해요. 마지막 여행 「양자중력 문제에의 도전」에서 반증 가능성의 논의가 다시 등장할 거예요.

🟡 리나: 넷째, 읽기만 하는 것이 아니라 손을 움직여요. 각 장에 연습문제를 배치해요. 수식을 스스로 유도하고 계산하는 체험을 통해, 「읽고 이해한 것 같은 기분」이 아니라 「정말로 이해했다」고 말할 수 있는 수준을 목표로 해요.

🔵 카이: 연습문제구나…… 하지만, 스스로 계산할 수 있으면 확실히 기분 좋겠죠.

⚪ 메이: 검산할 수 있다는 건, 반증 가능성을 스스로 체험하는 거이기도 하잖아.

🟡 리나: 역시 메이답네요. 맞아요.

✅ 이해도 체크: 이 사이트가 모델을 다루는 데 있어서, 기존 해설서와 다른 점은 무엇인가?

답

모델을 「올바른 이론」으로서가 아니라 어디까지나 「가설」로 다루고, 비판이나 대안 이론도 공정하게 소개하는 점.

용어의 약속 — 「모델」로 통일하는 이유¶

🟡 리나: 마지막으로, 용어에 대해 정식으로 약속해 둡시다. 이 사이트에서는 물리학의 기술을 가리킬 때, 원칙적으로 「모델」이라는 말을 사용해요.

🔵 카이: 「Newton의 법칙」이라든가 「Einstein의 이론」이라고는 안 하나요?

🟡 리나: 역사적인 고유명사는 그대로 사용해요. 「Newton의 운동방정식」「Einstein 방정식」「표준모형 (Standard Model)」——이것들은 고유명사이니까 바꾸지 않아요. 하지만 일반적으로 「물리법칙」「물리이론」이라고 말하고 싶은 장면에서는 「물리 모델」이라고 해요.

⚪ 메이: 이유를 정리하면, 이렇게 되는 거지.

용어	뉘앙스	문제점
법칙	확정된 규칙, 깨지지 않는다	실제로는 갱신된다
이론	체계적인 기술	「올바름」을 함의하기 쉽다
모델	인간이 만든 근사적 기술	갱신 가능·반증 가능

🟡 리나: 맞아요. 「모델」이라는 말을 사용함으로써, 「이건 인간이 만든 것」「근사에 불과하다」「언젠가 갱신될 수 있다」는 뉘앙스를 항상 의식할 수 있어요. 과학적 겸손의 표현이기도 해요.

🔵 카이: 알겠어요. 그럼 「끈이론」도 사실은 「끈 모델」이라고 불러야 하나요?

🟡 리나: 원리적으로는 그렇지만, 「끈이론 (string theory)」은 전 세계에서 사용되는 고유명사이니까 그대로 사용해요. 다만 이 사이트를 읽을 때는 항상 「이건 가설이다」라는 의식을 가져주었으면 해요.

🔵 카이: 아, 하나 더 물어봐도 될까요. 이 사이트, 「Newton」「Einstein」이라고 영어 그대로 써 있잖아요. 고등학교 교과서에서는 가타카나(한국어로는 한글)였는데.

🟡 리나: 인명 표기에 대한 거죠. 고등학교까지 교과서에서는 한글 표기였을 수 있지만, 대학이 되면 논문이나 문헌이 영어인 경우가 많아서 교과서도 영어로 쓰는 것이 많아요. 이 강의에서도 인명은 영어로 쓰기로 해요. 다만 읽는 법을 모르면 곤란하니까, 처음 나올 때 읽는 법을 한글로 붙이기로 할게요.

⚪ 메이: 「Newton (뉴턴)」처럼, 이라는 거지.

4개의 여행의 약호¶

🟡 리나: 한 가지만 더 약속해둘게요. 본문이나 수식에서, 4개의 여행 각각을 영어 약호로 부르는 경우가 있어요. 처음 나올 때마다 「일반상대성이론 (GR)」처럼 보충하겠지만, 혹시 모르니 처음에 정리해둘게요.

약호 일람

GR（General Relativity）= 「일반상대론」편
QM（Quantum Mechanics）= 「양자역학」편
QFT（Quantum Field Theory）= 「장의 양자론」편
QG（Quantum Gravity）= 「양자중력 문제에의 도전」편

수식의 아래첨자(예: \(\rho_c^{\text{(qg)}}\), \(E_{\text{QM}}\))나, 장 제목에서 지면을 절약하고 싶을 때 이 약호를 사용한다. 건너뛰고 나중에 돌아오는 독자를 위해, 각 장에서도 처음 나올 때 다시 보충한다.

여행의 시작¶

🟡 리나: 그럼, 준비 됐죠? 첫 번째 여행——일반상대성이론——에서는, 인류가 처음으로 「자연을 수식으로 기술하자」고 생각한 순간, Newton의 만유인력에서 출발해요.

🔵 카이: 기대돼요! 근데 선생님, 마지막으로 하나만요. 4개의 여행이 끝났을 때, 우리는 뭘 얻을 수 있나요?

🟡 리나: ……솔직히 말하면, 「이게 정답」이라는 답은 얻을 수 없어요. 하지만, 현시점에서 인류가 어디까지 다가갔는지를 수식으로 따라가며, 스스로 판단할 수 있는 힘은 얻을 수 있어요. 그리고 그 앞을 생각하는 건——

⚪ 메이: ——우리 세대의 일이라는 거지.

🟡 리나: 그런 거예요. 마지막으로 하나, 물음을 던져둘게요.

「자연은 왜 수학으로 기술할 수 있는 걸까?」

🟡 리나: 이 물음에 대한 답은 이 사이트에서는 내리지 않아요. 하지만 4개의 여행을 통해 수식으로 자연을 따라가다 보면, 이 물음은 몇 번이고 머릿속을 스칠 거예요. 답을 서두르지 말고, 여행 도중에 계속 생각해 주세요.

🟡 리나: 자, 첫 번째 여행으로. 일반상대성이론의 프롤로그에서 출발합시다.

✅ 이해도 체크: 이 사이트의 4개의 여행을 마쳤을 때, 독자가 얻을 수 있는 것은 무엇인가?

답

현시점에서 인류가 어디까지 다가갔는지를 수식으로 따라가며, 스스로 판단할 수 있는 힘.

참고문헌¶

이 장의 내용은 아래 문헌을 참고하여 구성했다.

Lee Smolin (리 스몰린), The Trouble with Physics, Ch.1「물리학 200년의 황금시대와 미완의 혁명」— 물리학의 역사적 진보의 개관과 정체의 문제 제기
Lee Smolin (리 스몰린), The Trouble with Physics, Ch.2「이론물리학의 5대 미해결 문제」— 양자중력을 포함한 미해결 문제의 전체상
Carlo Rovelli (카를로 로벨리), Reality Is Not What It Seems, Ch.1「현실은 보이는 대로가 아니다」— 과학적 태도와 「확실성이 아닌 신뢰성」
Karl Popper, Conjectures and Refutations — 반증 가능성의 철학적 기초

← 홈 이 여행에 오신 것을 환영합니다 →

Feedback on this page

Let us know if something was unclear, incorrect, or could be improved.