第142章 他們只是剛剛開始
在某一頁的底部，哥德爾用普通德文寫了一句簡短的話：
「如果存在一個模型，其中連續統是ℵ2，那麼必然存在某種對稱性，使所有實數集都具有某種不變性質。但這樣的對稱性會破壞選擇公理。」
肖宿盯著那句話，思緒一頓。
他之前在證明孿生素數的時候，將篩法問題轉化為群表示論的上同調計算，然後利用表示剛性導出了必然性。
哥德爾當年也在想類似的事情。
只是他想的不是素數分布，而是實數集的對稱性。
他試圖用某種「不變性質」來刻畫模型的結構，但被選擇公理擋住了。
後來科恩用力迫法繞過了這個障礙，而哥德爾的手稿里，藏著另一條沒有走通的路。
肖宿的手輕輕翻過一頁。
後面有幾頁是關於旋轉宇宙的草圖。
哥德爾畫了一個示意圖，試圖表現在一個整體旋轉的宇宙中，光線是如何沿著閉合類時曲線返回過去的。
那些草圖畫得很隨意，但展現出來的幾何直覺令人震驚。
肖宿合上Box 4a，拿起了哥德爾-愛因斯坦的通信。
愛因斯坦的信紙中，抬頭上印著「普林斯頓高等研究院」。
日期是1949年4月15日。
他的的筆跡潦草而有力，大部分使用的是德語，偶爾夾雜著幾個英文單詞。
他快速掃過內容，目光停在了中間的一段文字上：
「Lieber Gödel,
Ihre Lösung der Feldgleichungen ist mathematisch einwandfrei. Aber die physikalische Interpretation macht mir Sorgen. Wenn Zeitreisen möglich sind, dann ist die Kausalität verloren. Und ich glaube an die Kausalität.」
「親愛的哥德爾，您的場方程解在數學上無可挑剔。但物理解釋讓我擔憂。如果時間旅行是可能的，那麼因果性就完了。而我相信因果性。」
哥德爾的回信很冷靜，逐條分析了愛因斯坦的論證。
他承認時間旅行在物理上可能帶來悖論，但他指出，這些悖論在數學上可以被嚴格定義，不一定就會導致導致邏輯矛盾。
最後他寫下了自己的一個獨特的想法：
「Die Zeit ist kein Kontinuum, sondern eine Mannigfaltigkeit.」
「時間不是連續統，而是一個流形。」
肖宿看著這句話，眼睛一亮，斂眸思索了一會兒。
他似乎想到了別的什麼。
之後，在1949年5月，愛因斯坦寄來的回信中這樣的寫到：
「Ihre Argumente sind logisch konsistent. Aber ich fühle, dass etwas fehlt. Vielleicht ist die Geometrie nicht die ganze Wahrheit.」
「您的論證在邏輯上一致。但我感覺少了些什麼。也許幾何並不是全部的真相。」
哥德爾和愛因斯坦的爭論，本質上是關於「幾何」與「動力學」的關係。
愛因斯坦相信幾何足以描述一切，所以他後半生都在追求統一場論。
哥德爾則更謹慎，他認為幾何可能只是表象，更深層的是邏輯結構。
但肖宿覺得不這些都不夠完善。
最近他一直在思索NS的通解，這個問題十分複雜。
NS方程的解是否存在奇點？
奇點附近會發生什麼？
這些問題需要的不是純粹的幾何直覺，也不是純粹的代數技巧，而是一種能把幾何、分析、代數結合起來的框架。
從量子力學的數學基礎，到廣義相對論的幾何結構，再到統計力學的相變理論。
那些領域和數學交織在一起，邊界十分模糊，但也正是這種模糊的地方，往往藏著新的洞見。
他合上哥德爾-愛因斯坦的通信檔案盒，在登記表上簽字，然後站起來走向另一個書架。
管理員看到他的動作，輕聲問：「需要幫助嗎？」
「赫爾曼·外爾的檔案。」
他想知道，這位橫跨數學與物理的哲人，在這樣一篇混沌中是如何思考的。
從《空間-時間-物質》中對廣義相對論的數學奠基，到後來規範場論中「尺度不變性」的執著嘗試，外爾一生都在探索幾何與物質的深層關聯，他始終試圖用更精細的數學結構來捕捉自然的統一性。
肖宿覺得，外爾或許不會像愛因斯坦那樣堅信幾何的終極性，也不會像哥德爾那樣退守邏輯的純粹性。
管理員點點頭，很快取來另一個檔案盒。
外爾的手稿比哥德爾的整齊得多。
他的字跡清晰優美，每一頁都標註了日期和編號，公式推導工整，幾乎可以直接付印。
但仔細看，還能再頁邊看到鉛筆寫的批註，有些地方被劃掉重寫，有些地方還畫了小小的幾何示意圖。
肖宿翻到1931年前後的部分。
那是外爾寫《群論與量子力學》的時期。
手稿里有大量關於李群表示論的推導，尤其是旋轉群SO(3)和SU(2)的表示。
那些內容後來成了標準教材，但手稿里有一些細節沒有出現在最終版本中。
比如一頁關於「規範場」的早期筆記。
外爾用德語寫道：
「如果我們將相位變換局部化，那麼必須引入一個補償場，類似於廣義相對論中的聯絡。這個場的變換規律與電磁勢完全相同。也許麥克斯韋方程就是這種局部相位不變性的幾何結果。」
下面畫了一個示意圖，試圖表現纖維叢上的平行移動。
肖宿盯著那頁筆記，腦子裡飛快地閃過一系列圖像。
纖維叢、聯絡、曲率、規範場……
這些概念後來成了楊-米爾斯理論的基礎，也是粒子物理標準模型的數學語言。
外爾在1931年就已經觸摸到了這些思想，只是當時量子力學還在發展，群論還沒成為物理學家的標準工具。
他翻過幾頁，看到另一段更抽象的推導。
外爾試圖把規範場的思想和愛丁頓的仿射場論結合起來，構建一個統一理論。
他寫了一大串張量方程，然後在下面劃了一條線，寫了一個詞：「Noch nicht klar.」（還不清楚。）
而那正是肖宿現在面對的問題。
NS方程、量子場論、廣義相對論……
這些理論各自成功，但彼此之間的縫隙太大了。
要用一套統一的數學語言描述它們，需要的不僅是物理直覺，更是深層的數學結構。
外爾當年想做的，和肖宿現在想做的，在結構上是同構的。
如何用群論描述對稱性？
如何用幾何描述動力學？
如何在奇點附近找到合理的近似？
這些問題沒有標準答案，只有前人在思考盡頭留下的筆跡，讓我們看到他們是如何被困住，又如何繞路，如何最終抵達。
肖宿往後翻，看到一頁畫滿了示意圖的草稿。
在這裡，外爾試圖表現三維旋轉群SO(3)和二維酉群SU(2)之間的同態關係。
那種對應是李群表示論的核心，也是他在自監督學習研究中頻繁使用的工具。
他合上檔案盒，在筆記本上寫下幾行字：
「外爾：規範場→聯絡幾何。
哥德爾：時間流形→邏輯結構。
愛因斯坦：幾何統一→因果性困境。
如何描述奇點附近的對稱性破缺？
可能與NS方程的解存在性相關。」
他看了看時間，已經到了日暮時分。
肖宿站起來，把檔案盒放回原處，在登記表上簽了字。
管理員輕聲問：「明天還來嗎？」
「嗯。」
肖宿走出善本室，沿著走廊回到電梯。
他腦子裡還縈繞著那些手稿里的痕跡。
那些痕跡沒有給出答案。
但前人思考的問題，和他現在思考的問題，是同一個問題的不同側面。
關於對稱性，關於奇點，關於如何用數學描述這個世界的底層結構。
肖宿現在面對的問題，和他們的爭論有某種同構性。
走出圖書館，德利涅正站在台階上等他。
「怎麼樣？」
德利涅問。
肖宿沉默了一會兒，然後說：
「他們的方法都很好。但有些問題，他們只是剛剛開始。」
德利涅看著他，眼裡有一點光閃過。
「那你呢？」
肖宿抿了抿唇，沒有回答。
「如果存在一個模型，其中連續統是ℵ2，那麼必然存在某種對稱性，使所有實數集都具有某種不變性質。但這樣的對稱性會破壞選擇公理。」
肖宿盯著那句話，思緒一頓。
他之前在證明孿生素數的時候，將篩法問題轉化為群表示論的上同調計算，然後利用表示剛性導出了必然性。
哥德爾當年也在想類似的事情。
只是他想的不是素數分布，而是實數集的對稱性。
他試圖用某種「不變性質」來刻畫模型的結構，但被選擇公理擋住了。
後來科恩用力迫法繞過了這個障礙，而哥德爾的手稿里，藏著另一條沒有走通的路。
肖宿的手輕輕翻過一頁。
後面有幾頁是關於旋轉宇宙的草圖。
哥德爾畫了一個示意圖，試圖表現在一個整體旋轉的宇宙中，光線是如何沿著閉合類時曲線返回過去的。
那些草圖畫得很隨意，但展現出來的幾何直覺令人震驚。
肖宿合上Box 4a，拿起了哥德爾-愛因斯坦的通信。
愛因斯坦的信紙中，抬頭上印著「普林斯頓高等研究院」。
日期是1949年4月15日。
他的的筆跡潦草而有力，大部分使用的是德語，偶爾夾雜著幾個英文單詞。
他快速掃過內容，目光停在了中間的一段文字上：
「Lieber Gödel,
Ihre Lösung der Feldgleichungen ist mathematisch einwandfrei. Aber die physikalische Interpretation macht mir Sorgen. Wenn Zeitreisen möglich sind, dann ist die Kausalität verloren. Und ich glaube an die Kausalität.」
「親愛的哥德爾，您的場方程解在數學上無可挑剔。但物理解釋讓我擔憂。如果時間旅行是可能的，那麼因果性就完了。而我相信因果性。」
哥德爾的回信很冷靜，逐條分析了愛因斯坦的論證。
他承認時間旅行在物理上可能帶來悖論，但他指出，這些悖論在數學上可以被嚴格定義，不一定就會導致導致邏輯矛盾。
最後他寫下了自己的一個獨特的想法：
「Die Zeit ist kein Kontinuum, sondern eine Mannigfaltigkeit.」
「時間不是連續統，而是一個流形。」
肖宿看著這句話，眼睛一亮，斂眸思索了一會兒。
他似乎想到了別的什麼。
之後，在1949年5月，愛因斯坦寄來的回信中這樣的寫到：
「Ihre Argumente sind logisch konsistent. Aber ich fühle, dass etwas fehlt. Vielleicht ist die Geometrie nicht die ganze Wahrheit.」
「您的論證在邏輯上一致。但我感覺少了些什麼。也許幾何並不是全部的真相。」
哥德爾和愛因斯坦的爭論，本質上是關於「幾何」與「動力學」的關係。
愛因斯坦相信幾何足以描述一切，所以他後半生都在追求統一場論。
哥德爾則更謹慎，他認為幾何可能只是表象，更深層的是邏輯結構。
但肖宿覺得不這些都不夠完善。
最近他一直在思索NS的通解，這個問題十分複雜。
NS方程的解是否存在奇點？
奇點附近會發生什麼？
這些問題需要的不是純粹的幾何直覺，也不是純粹的代數技巧，而是一種能把幾何、分析、代數結合起來的框架。
從量子力學的數學基礎，到廣義相對論的幾何結構，再到統計力學的相變理論。
那些領域和數學交織在一起，邊界十分模糊，但也正是這種模糊的地方，往往藏著新的洞見。
他合上哥德爾-愛因斯坦的通信檔案盒，在登記表上簽字，然後站起來走向另一個書架。
管理員看到他的動作，輕聲問：「需要幫助嗎？」
「赫爾曼·外爾的檔案。」
他想知道，這位橫跨數學與物理的哲人，在這樣一篇混沌中是如何思考的。
從《空間-時間-物質》中對廣義相對論的數學奠基，到後來規範場論中「尺度不變性」的執著嘗試，外爾一生都在探索幾何與物質的深層關聯，他始終試圖用更精細的數學結構來捕捉自然的統一性。
肖宿覺得，外爾或許不會像愛因斯坦那樣堅信幾何的終極性，也不會像哥德爾那樣退守邏輯的純粹性。
管理員點點頭，很快取來另一個檔案盒。
外爾的手稿比哥德爾的整齊得多。
他的字跡清晰優美，每一頁都標註了日期和編號，公式推導工整，幾乎可以直接付印。
但仔細看，還能再頁邊看到鉛筆寫的批註，有些地方被劃掉重寫，有些地方還畫了小小的幾何示意圖。
肖宿翻到1931年前後的部分。
那是外爾寫《群論與量子力學》的時期。
手稿里有大量關於李群表示論的推導，尤其是旋轉群SO(3)和SU(2)的表示。
那些內容後來成了標準教材，但手稿里有一些細節沒有出現在最終版本中。
比如一頁關於「規範場」的早期筆記。
外爾用德語寫道：
「如果我們將相位變換局部化，那麼必須引入一個補償場，類似於廣義相對論中的聯絡。這個場的變換規律與電磁勢完全相同。也許麥克斯韋方程就是這種局部相位不變性的幾何結果。」
下面畫了一個示意圖，試圖表現纖維叢上的平行移動。
肖宿盯著那頁筆記，腦子裡飛快地閃過一系列圖像。
纖維叢、聯絡、曲率、規範場……
這些概念後來成了楊-米爾斯理論的基礎，也是粒子物理標準模型的數學語言。
外爾在1931年就已經觸摸到了這些思想，只是當時量子力學還在發展，群論還沒成為物理學家的標準工具。
他翻過幾頁，看到另一段更抽象的推導。
外爾試圖把規範場的思想和愛丁頓的仿射場論結合起來，構建一個統一理論。
他寫了一大串張量方程，然後在下面劃了一條線，寫了一個詞：「Noch nicht klar.」（還不清楚。）
而那正是肖宿現在面對的問題。
NS方程、量子場論、廣義相對論……
這些理論各自成功，但彼此之間的縫隙太大了。
要用一套統一的數學語言描述它們，需要的不僅是物理直覺，更是深層的數學結構。
外爾當年想做的，和肖宿現在想做的，在結構上是同構的。
如何用群論描述對稱性？
如何用幾何描述動力學？
如何在奇點附近找到合理的近似？
這些問題沒有標準答案，只有前人在思考盡頭留下的筆跡，讓我們看到他們是如何被困住，又如何繞路，如何最終抵達。
肖宿往後翻，看到一頁畫滿了示意圖的草稿。
在這裡，外爾試圖表現三維旋轉群SO(3)和二維酉群SU(2)之間的同態關係。
那種對應是李群表示論的核心，也是他在自監督學習研究中頻繁使用的工具。
他合上檔案盒，在筆記本上寫下幾行字：
「外爾：規範場→聯絡幾何。
哥德爾：時間流形→邏輯結構。
愛因斯坦：幾何統一→因果性困境。
如何描述奇點附近的對稱性破缺？
可能與NS方程的解存在性相關。」
他看了看時間，已經到了日暮時分。
肖宿站起來，把檔案盒放回原處，在登記表上簽了字。
管理員輕聲問：「明天還來嗎？」
「嗯。」
肖宿走出善本室，沿著走廊回到電梯。
他腦子裡還縈繞著那些手稿里的痕跡。
那些痕跡沒有給出答案。
但前人思考的問題，和他現在思考的問題，是同一個問題的不同側面。
關於對稱性，關於奇點，關於如何用數學描述這個世界的底層結構。
肖宿現在面對的問題，和他們的爭論有某種同構性。
走出圖書館，德利涅正站在台階上等他。
「怎麼樣？」
德利涅問。
肖宿沉默了一會兒，然後說：
「他們的方法都很好。但有些問題，他們只是剛剛開始。」
德利涅看著他，眼裡有一點光閃過。
「那你呢？」
肖宿抿了抿唇，沒有回答。