← Archive
lm-003709 · 2026-09

時間旅行不是一個問題:八種穿越類型的重建與型別安全時空穿越框架

下載 MD 檔 ⬇

時間旅行不是一個問題:八種穿越類型的重建與型別安全時空穿越框架

系列:《從時間旅行到時空管理者》01
英文題名Time Travel Is Not One Problem: Reconstructing Eight Traversal Types into a Type-Safe Framework for Temporal and Spacetime Traversal
作者:Neo.K × GPT-5.6 Sol
機構:EveMissLab(一言諾科技有限公司)
日期:2026-08-23
版本:v0.1
性質:時間旅行分類學/時空本體論/型別安全方法論/可達性前置框架
狀態:Series 02 正式首篇
Canonical 前置來源:《t 的多態性:跨物理框架的時間型別初步分類——一個計算視角的類比嘗試》(2026 年 6 月)
上游系列:《時空何以成為時空》Series 01,Paper 01–08


摘要

「時間旅行是否可能?」不是一個足夠精確的科學問題。它至少混合了不同時間型別、不同世界線結構、不同穿越尺度、不同目標域、不同載體、不同記憶保持條件,以及完全不同的「穿越」「逆轉」「分支選擇」與「分支創生」機制。

本文以 Neo.K 2026 年 6 月《t 的多態性》附錄中提出的八種時間穿越類型為 canonical 歷史基底:

  1. 全局向前穿越;
  2. 局部向前穿越;
  3. 全局逆向回溯;
  4. 局部逆向回溯;
  5. 全局平行宇宙穿越;
  6. 局部平行宇宙穿越;
  7. 創生全局平行宇宙;
  8. 創生局部平行宇宙。

本文不直接把舊八類視為完成分類,而將其重建為一個多軸「時空穿越型別」:

TraversalType(X)=T,S,D,Z,B,P,M,K,A\boxed{ \operatorname{TraversalType}(\mathcal X) = \left\langle \mathcal T, S, D, Z, B, P, M, K, A \right\rangle }

其中:

  • T\mathcal T:所依賴的時間型別;
  • SS:穿越作用範圍;
  • DD:時間/歷史方向;
  • ZZ:目標域拓撲;
  • BB:分支操作;
  • PP:穿越載體;
  • MM:記憶、身份與歷史保持;
  • KK:時空核保持/修改/重寫狀態;
  • AA:可操作性與可定址性。

本文首先指出,「時間旅行」至少應與四種概念分離:

Time ReversalBackward CausationPast-Directed TraversalBranch Transfer.\boxed{ \text{Time Reversal} \neq \text{Backward Causation} \neq \text{Past-Directed Traversal} \neq \text{Branch Transfer}. }

方程具有時間反演對稱,不代表存在可供智能體操作的返回過去通道;宏觀熵增加也不等於所有 past-directed traversal 都被一般性排除;閉合類時曲線是特定時空幾何中的世界線結構,而不是自動等同於可建造的時光機;Everett/Many-Worlds 類詮釋中的 branch 也不是標準量子理論中可被主動定址、選擇或穿越的地點。

本文進一步提出「穿越有效性條件」。任何真正的時空穿越命題至少必須指定:

X=(Dsource,Dtarget,Γ,P,M,C,K),\mathcal X = \left( \mathcal D_{\mathrm{source}}, \mathcal D_{\mathrm{target}}, \Gamma, P, M, \mathcal C, \mathcal K \right),

即來源域、目標域、合法路徑、載體、身份/記憶保持、因果一致性與時空核變化。如果這些欄位未定義,則「可不可以時間旅行」仍是欠定義問題。

八類重建後也顯示,它們的理論成熟度極不對稱。局部向前穿越在相對論固有時差的弱意義上已屬已知物理;全局向前穿越若要求「整個宇宙跳到另一個時刻」則需要額外 meta-time 或外部參考結構;全局逆向回溯主要是全局狀態反演問題;局部逆向回溯可與含 closed timelike curves 的時空模型比較,但「數學解存在」與「可形成、穩定、可建造、可導航」仍是不同層級;第 5–8 類則需要額外的分支實在、分支定址、跨分支傳輸或分支創生公設,不能由 Many-Worlds Interpretation 單獨推出。

本文因此把八種舊類型保留為「歷史語義分類」,同時建立一套可擴張、可加入新機制與新載體的正式分類接口。此工作為 Series 02 後續「穿越載體」「動態技術可達性」「AI 對難度曲線的改變」「時空可供性」「時空管理者孵化」與「後設時空治理」提供共同語言。

關鍵詞:時間旅行、時空穿越、閉合類時曲線、世界線、時間反演、分支、Many-Worlds、時空核、型別系統、可操作性


0. 核心命題:時間旅行不是一個 predicate

如果只寫:

TimeTravel=1\operatorname{TimeTravel}=1

我們其實不知道它在說什麼。

至少可能指:

  • 外部世界比旅行者老得更快;
  • 旅行者回到自身世界線的較早事件;
  • 全宇宙狀態向某歷史狀態逆演;
  • 因果影響從未來指向過去;
  • 系統切換到另一歷史分支;
  • 系統建立一個新的歷史分支;
  • 只傳送資訊而不傳送物質;
  • 保留記憶的智能體出現在較早事件;
  • 一個世界的底層時空核被重新生成。

因此:

Time Travela single physical operation.\boxed{ \text{Time Travel} \neq \text{a single physical operation}. }

1. Canonical 八種類型

2026 年 6 月舊稿提出:

  1. 全局向前穿越:整個宇宙或全局「現在」切片向另一時刻移動。
  2. 局部向前穿越:只有旅行者/機器相對外部世界有效前往未來。
  3. 全局逆向回溯:整個宇宙的演化被反轉,所有物理過程向先前狀態演化。
  4. 局部逆向回溯:只有旅行者/機器回到較早事件,而外部宇宙不一起全局反演。
  5. 全局平行宇宙穿越:整個觀察者及其歷史域切換到另一個既有分支。
  6. 局部平行宇宙穿越:只有局部載體從原分支轉移到另一分支。
  7. 創生全局平行宇宙:返回過去或歷史干預生成新的完整分支。
  8. 創生局部平行宇宙:只在有限域內生成局部歷史分支/歷史泡泡。

本文保留這八類作為:

Legacy Traversal Classes.\boxed{ \text{Legacy Traversal Classes}. }

但後續不再把它們視為不可再分的 primitive。


2. 舊分類真正保留下來的四個軸

八類最重要的貢獻不是數字「八」,而是拆開:

globallocal,\text{global} \neq \text{local}, forwardreverse,\text{forward} \neq \text{reverse}, same-historyparallel-history,\text{same-history} \neq \text{parallel-history}, select existing branchcreate branch.\text{select existing branch} \neq \text{create branch}.

這四個區分在新版中仍被保留。


3. 九軸時空穿越型別

本文定義:

TraversalType(X)=T,S,D,Z,B,P,M,K,A.\boxed{ \operatorname{TraversalType}(\mathcal X) = \left\langle \mathcal T, S, D, Z, B, P, M, K, A \right\rangle. }

其中各軸分別對應時間型別、作用範圍、方向、目標域、分支操作、載體、身份與記憶、時空核作用以及可操作性。


4. 軸一:時間型別 T\mathcal T

沿用 Series 01:

Type(T)=R,O,Q,A,S,G,Λ,V.\operatorname{Type}(\mathcal T) = \left\langle R,O,Q,A,S,G,\Lambda,V \right\rangle.

任何穿越命題都必須先回答:

穿越的是哪一種時間?

例如:

τ\tau

的世界線差異,不等於:

tglobalt_{\mathrm{global}}

的跳躍。


5. 軸二:作用範圍 SS

定義:

S{global,regional,local,payload-only}.S \in \{ \texttt{global}, \texttt{regional}, \texttt{local}, \texttt{payload-only} \}.

最後一類表示只傳輸資訊、模型、算法、種子或其他有限載體。


6. 軸三:方向 DD

定義:

D{+,,0,,branch}.D \in \{ +, -, 0, \circlearrowleft, \mathrm{branch} \}.

其中:

  • ++:朝較晚事件;
  • -:朝較早事件;
  • 00:跨域但不以單一前後描述;
  • \circlearrowleft:閉合/循環;
  • branch:沿分支關係轉換。

因此:

D=D=-

不必等於:

tt.t\rightarrow -t.

7. 軸四:目標域拓撲 ZZ

定義:

Z{same-worldline,same-spacetime,same-history,other-history,new-history,other-spacetime}.Z \in \{ \texttt{same-worldline}, \texttt{same-spacetime}, \texttt{same-history}, \texttt{other-history}, \texttt{new-history}, \texttt{other-spacetime} \}.

「回到過去」必須先回答:

回到哪一個過去?


8. 軸五:分支操作 BB

定義:

B{,select,transfer,fork,merge,rewrite}.B \in \{ \varnothing, \texttt{select}, \texttt{transfer}, \texttt{fork}, \texttt{merge}, \texttt{rewrite} \}.

所以:

Branch Existence⇏Branch Addressability⇏Branch Traversability.\boxed{ \text{Branch Existence} \not\Rightarrow \text{Branch Addressability} \not\Rightarrow \text{Branch Traversability}. }

9. 軸六:載體 PP

定義:

P{matter,organism,machine,information,software,model,agent-seed,observer-state,world-state}.P \in \{ \texttt{matter}, \texttt{organism}, \texttt{machine}, \texttt{information}, \texttt{software}, \texttt{model}, \texttt{agent-seed}, \texttt{observer-state}, \texttt{world-state} \}.

因此:

Traversal Payload is an independent axis.\boxed{ \text{Traversal Payload} \text{ is an independent axis}. }

10. 軸七:身份與記憶保持 MM

定義:

M=(Mid,Mmemory,Mcausal,Mrecord).M = \left( M_{\mathrm{id}}, M_{\mathrm{memory}}, M_{\mathrm{causal}}, M_{\mathrm{record}} \right).

至少要問:

  • 身份是否保持?
  • 記憶是否保持?
  • 因果歷史是否保持?
  • 外部記錄是否保持?

因此:

State Reversal⇏Remembered Time Travel.\boxed{ \text{State Reversal} \not\Rightarrow \text{Remembered Time Travel}. }

11. 軸八:時空核作用 KK

定義:

K{preserve,modify,rewrite,unknown}.K \in \{ \texttt{preserve}, \texttt{modify}, \texttt{rewrite}, \texttt{unknown} \}.

若必要時空核被改變:

[M]ST[M]ST,[\mathcal M]_{\mathrm{ST}} \rightarrow [\mathcal M']_{\mathrm{ST}},

則該操作已不只是普通 traversal,而開始進入 spacetime rewrite。


12. 軸九:可操作性 AA

定義:

A=(Aexist,Aaddress,Aaccess,Acontrol,Areturn).A = \left( A_{\mathrm{exist}}, A_{\mathrm{address}}, A_{\mathrm{access}}, A_{\mathrm{control}}, A_{\mathrm{return}} \right).

所以:

Aexist⇏Acontrol.\boxed{ A_{\mathrm{exist}} \not\Rightarrow A_{\mathrm{control}}. }

13. Type 1:全局向前穿越

舊定義是:

整個宇宙或全局「現在」切面移動到另一時刻。

新版首先問:

Relative to what?\boxed{ \text{Relative to what?} }

如果:

U\mathcal U

就是完整宇宙,而沒有外部:

Tmeta,T_{\mathrm{meta}},

那麼「整個宇宙跳到未來」可能尚未完整定義。

若存在:

Tmeta,T_{\mathrm{meta}},

才可寫:

U(t1)U(t2).\mathcal U(t_1) \rightarrow \mathcal U(t_2).

另一版本則可能是:

S(t1)S(t2)S(t_1) \rightarrow S(t_2)

且中間狀態根本不被實現,這更像 state-transition skip,而非普通旅行。

因此 Type 1 本身至少需要拆成 meta-time jump 與 global state skip。


14. Type 2:局部向前穿越

這一類最接近已知物理。

旅行者沿:

γA\gamma_A

累積固有時:

τA,\tau_A,

外部參考者沿:

γB\gamma_B

累積:

τB.\tau_B.

若重逢時:

ΔτA<ΔτB,\Delta\tau_A < \Delta\tau_B,

旅行者會發現外部世界比自己經歷更多時間。

這是 differential aging。

但旅行者自身仍有:

dτA>0.d\tau_A>0.

所以:

Relativistic Forward TravelPersonal-Time Discontinuity.\boxed{ \text{Relativistic Forward Travel} \neq \text{Personal-Time Discontinuity}. }

可再分成微小固有時差、顯著工程時差、人類實用型未來跨越等不同難度層。


15. Type 3:全局逆向回溯

舊定義是:

整個宇宙所有過程倒流。

新版至少拆成:

law reversal,\text{law reversal}, state reversal,\text{state reversal},

以及:

global history reversal.\text{global history reversal}.

可寫:

SnSn1S0.S_n \rightarrow S_{n-1} \rightarrow \cdots \rightarrow S_0.

如果所有記憶與記錄也一起逆演,內部旅行者並沒有額外保存「未來記憶」。

因此:

Global Reversal may not produce an operationally distinguishable remembered journey.\boxed{ \text{Global Reversal} \text{ may not produce an operationally distinguishable remembered journey}. }

而且:

Type 3 constrained⇏Type 4–8 constrained in the same way.\text{Type 3 constrained} \not\Rightarrow \text{Type 4–8 constrained in the same way}.

16. Type 4:局部逆向回溯

新版更精確地描述為:

旅行者自身固有時仍向前增加,但其世界線到達背景時空中的較早事件。

即:

dτA>0d\tau_A>0

但到達:

ppast.p_{\mathrm{past}}.

這是:

past-directed arrival without personal proper-time reversal.\boxed{ \text{past-directed arrival without personal proper-time reversal}. }

一般相對論中某些時空解含 closed timelike curves,可作為此類的重要數學比較模型。

但:

CTC-Compatible Geometry⇏Buildable Time Machine.\boxed{ \text{CTC-Compatible Geometry} \not\Rightarrow \text{Buildable Time Machine}. }

因為還需要處理形成、穩定、工程、定址、控制與返回。

Hawking chronology protection 應保留為 conjecture 與相關條件性 no-go results 的研究域,而不是被寫成已經完成的一般定理。


17. Type 5:全局平行宇宙穿越

舊定義是:

觀察者連同其完整歷史域進入另一既有分支。

新版首先指出:

Everett BranchNavigable Destination by Default.\boxed{ \text{Everett Branch} \neq \text{Navigable Destination by Default}. }

若要真正成立,至少還需要:

AB={branch ontology,branch identity,branch addressability,cross-branch coupling,payload preservation}.\mathcal A_B = \{ \text{branch ontology}, \text{branch identity}, \text{branch addressability}, \text{cross-branch coupling}, \text{payload preservation} \}.

這裡的「global」更安全地改解釋為:

S=history-domain,S=\texttt{history-domain},

即 domain-level branch transition。


18. Type 6:局部平行宇宙穿越

只有局部載體:

PP

從:

BiB_i

進入:

Bj.B_j.

因此原分支其餘世界仍持續。

此類新增「分離問題」:

若:

PP

本身是原分支的物理組成,

則跨分支傳輸至少需要:

  • identity map;
  • state transfer;
  • conservation handling;
  • decoherence relation;
  • causal ancestry treatment。

所以:

Cross-Branch Local Transfer is not defined by ordinary decoherence alone.\boxed{ \text{Cross-Branch Local Transfer} \text{ is not defined by ordinary decoherence alone}. }

19. Type 7:創生全局平行宇宙

舊定義是:

返回過去或歷史干預創造新完整分支。

新版最大區分:

CreationSelection.\boxed{ \text{Creation} \neq \text{Selection}. }

若:

BnewB_{\mathrm{new}}

只是此前不可被該觀察者定址,

它是 epistemically new。

只有:

BnewBpriorB_{\mathrm{new}} \notin \mathcal B_{\mathrm{prior}}

才比較接近 ontologically new。

若它真的生成新的:

[M]ST[\mathcal M']_{\mathrm{ST}}

且:

[M]ST[M]ST,[\mathcal M']_{\mathrm{ST}} \neq [\mathcal M]_{\mathrm{ST}},

則 Type 7 已是:

Spacetime Generation / Kernel Fork.\boxed{ \text{Spacetime Generation / Kernel Fork}. }

20. Type 8:創生局部平行宇宙

舊定義是:

只在有限區域生成一個局部歷史分支泡泡。

設:

UM.U\subset\mathcal M.

若區域內生成:

MU\mathcal M'_U

而外部:

MU\mathcal M\setminus U

維持原歷史,

就需要回答:

  • 邊界 U\partial U 如何黏合?
  • 因果訊號如何穿越?
  • 能量與資訊如何匹配?
  • 內外時間序如何兼容?
  • 泡泡終止時如何處理內部歷史?

所以 Type 8 實際更像:

local spacetime-kernel engineering problem.\boxed{ \text{local spacetime-kernel engineering problem}. }

21. 八類新版矩陣

Legacy Type Scope Direction Target Branch Op Kernel Effect 狀態
1 全局向前 global ++ same/meta-domain none preserve/unknown 需 meta-time 或 state-skip 定義
2 局部向前 local ++ same spacetime none preserve 弱版本為已知相對論物理
3 全局逆向 global reverse same history none preserve/modify 全局狀態逆演問題
4 局部逆向 local past-arrival same spacetime/history none preserve/modify CTC 類模型可比較,工程未知
5 全局平行穿越 domain branch other history transfer preserve/unknown 需額外分支導航公設
6 局部平行穿越 payload branch other history transfer preserve/unknown 需跨分支傳輸機制
7 創生全局分支 domain fork new history fork rewrite candidate 高度假設性
8 創生局部分支 regional fork new local history fork rewrite 高度未定

22. 時間反演不是第九種旅行

時間反演:

ttt\rightarrow -t

通常屬於:

VlawV_{\mathrm{law}}

或:

Vtrajectory.V_{\mathrm{trajectory}}.

因此:

Time-Reversal SymmetryTraversal Classes by itself.\boxed{ \text{Time-Reversal Symmetry} \notin \text{Traversal Classes by itself}. }

23. 逆因果也不是旅行

Backward causation 可以寫成:

efutureepast,e_{\mathrm{future}} \rightsquigarrow e_{\mathrm{past}},

但不必有一個載體沿世界線移動。

因此:

Backward CausationTraveler Traversal.\boxed{ \text{Backward Causation} \neq \text{Traveler Traversal}. }

24. 傳訊到過去必須獨立

若:

P=information,P=\texttt{information},

可能出現:

information past-transfer\text{information past-transfer}

而:

human past-transfer\text{human past-transfer}

不成立。

所以:

Reachability=Reachability(P).\boxed{ \operatorname{Reachability} = \operatorname{Reachability}(P). }

可達性依載體而異。


25. 身份與記憶問題

若:

A(t2)A(t_2)

抵達:

t1<t2,t_1<t_2,

需要判定:

Aarrival=?Adeparture.A_{\mathrm{arrival}} \stackrel{?}{=} A_{\mathrm{departure}}.

身份標準可能包括:

  • 身體連續;
  • 記憶連續;
  • 信息結構連續;
  • 因果鏈連續;
  • 主體第一人稱連續。

若過去版本:

ApastA_{\mathrm{past}}

也存在,

則:

ApastAfutureA_{\mathrm{past}} \neq A_{\mathrm{future}}

可在 physical-token 層成立,

即使兩者屬相同 identity lineage。

因此:

same person-typesame physical token.\boxed{ \text{same person-type} \neq \text{same physical token}. }

26. 記憶保持是功能性旅行的重要條件

如果到達過去後:

Mmemory=0,M_{\mathrm{memory}}=0,

可能只有物理狀態轉移,

卻沒有:

我知道自己來自未來。

所以:

Physical TraversalEpistemically Recognized Traversal.\boxed{ \text{Physical Traversal} \neq \text{Epistemically Recognized Traversal}. }

27. 因果閉環與來源問題

若未來資訊:

IFI_F

傳到過去,

過去依賴它再產生同一:

IF,I_F,

形成:

IFIPIF.I_F \rightarrow I_P \rightarrow I_F.

則出現 bootstrap provenance loop。

它不一定只是普通邏輯矛盾,

更可能是:

信息的來源、作者與因果 provenance 如何定義?


28. 穿越有效性條件

本文提出:

X=(Ds,Dt,Γ,P,M,C,K).\boxed{ \mathcal X = \left( \mathcal D_s, \mathcal D_t, \Gamma, P, M, \mathcal C, \mathcal K \right). }

完整穿越命題至少要指定:

  • Source Domain;
  • Target Domain;
  • Path;
  • Payload;
  • Identity / Memory;
  • Causal Consistency;
  • Spacetime Kernel Effect。

若缺少核心欄位,

則標記:

underspecified.\texttt{underspecified}.

29. 穿越成立的五層

定義:

R0<R1<R2<R3<R4.R_0<R_1<R_2<R_3<R_4.

R0R_0:語義可定義

概念沒有型別錯誤。

R1R_1:數學模型存在

存在模型允許該結構。

R2R_2:物理理論相容

在指定物理條件下未被排除。

R3R_3:形成機制存在

知道如何形成所需結構。

R4R_4:可操作工程

能定址、控制、維持、驗證與重複。

因此:

R1⇏R4.\boxed{ R_1 \not\Rightarrow R_4. }

30. 八類不是難度排序

ClassDifficulty.\operatorname{Class} \neq \operatorname{Difficulty}.

八類只是語義/拓撲分類。

難度要另外建立:

Di(t).\mathcal D_i(t).

這將由 Series 02 後續 Paper 03 處理。


31. 八類也不是封閉全集

未來還可能出現:

  • branch merge;
  • time-domain swap;
  • information-only past channel;
  • observer-state reconstruction;
  • simulation-layer temporal migration;
  • pre-spacetime kernel rewrite;
  • universe creation without past traversal。

因此:

ΩTraversal is open-ended.\boxed{ \Omega_{\mathrm{Traversal}} \text{ is open-ended}. }

32. 穿越與生成的二階分類

可先分:

ΩTraversal=ΩNavigateΩGenerate.\Omega_{\mathrm{Traversal}} = \Omega_{\mathrm{Navigate}} \cup \Omega_{\mathrm{Generate}}.

其中:

Navigate

在既有時空結構中移動:

ΓM.\Gamma \subseteq \mathcal M.

Generate

生成新結構:

MM.\mathcal M \rightarrow \mathcal M'.

舊 Type 1–6 大致偏 navigation,

Type 7–8 偏 generation。


33. Type 3 甚至未必屬於普通旅行

全局逆演:

UnUn1\mathcal U_n \rightarrow \mathcal U_{n-1}

更接近:

ΩReverseDynamics\Omega_{\mathrm{ReverseDynamics}}

而不是:

ΩNavigate.\Omega_{\mathrm{Navigate}}.

所以:

Legacy ClassFinal Ontological Category.\boxed{ \text{Legacy Class} \neq \text{Final Ontological Category}. }

34. 從時間旅行自然過渡到時空管理

Type 1 若需要:

Tmeta,T_{\mathrm{meta}},

Type 3 若需要:

Φglobal1,\Phi_{\mathrm{global}}^{-1},

Type 7 若需要:

Fork(M),\operatorname{Fork}(\mathcal M),

Type 8 若需要:

LocalFork(U),\operatorname{LocalFork}(U),

都已不是單純:

traveler moves through spacetime。

而是:

operations on spacetime/history structures.\boxed{ \text{operations on spacetime/history structures}. }

這就是「從時間旅行到時空管理者」的真正理論分界。


35. 與 Series 01 的總接口

Series 01 建立:

BΠΣSTK[M]ST.\mathfrak B \xrightarrow{\Pi} \Sigma_{\mathrm{ST}} \xrightarrow{\mathcal K} [\mathcal M]_{\mathrm{ST}}.

Series 02 的操作:

X\mathcal X

可以作用於三層。

Level 1:有效時空內導航

pipj.p_i \rightarrow p_j.

Level 2:同一時空等價類內修改

MM,\mathcal M \rightarrow \mathcal M',

但:

[M]ST=[M]ST.[\mathcal M]_{\mathrm{ST}} = [\mathcal M']_{\mathrm{ST}}.

Level 3:時空核重寫

[M]ST[M]ST.[\mathcal M]_{\mathrm{ST}} \rightarrow [\mathcal M']_{\mathrm{ST}}.

第三層已經進入:

Spacetime Governance.\boxed{ \text{Spacetime Governance}. }

36. 十六個核心命題

  1. 時間旅行不是單一問題。
  2. 穿越必須先指定時間型別。
  3. 時間反演不是穿越。
  4. 逆因果不是旅行者穿越。
  5. 局部向前穿越有已知物理弱版本。
  6. 全局逆演不同於局部返回過去。
  7. CTC-compatible geometry 不等於可建造時光機。
  8. Chronology protection 不是一般完成定理。
  9. Everett branching 不等於跨分支導航。
  10. 分支選擇不同於分支創生。
  11. 載體類型是獨立軸。
  12. 記憶保持是功能性旅行的重要條件。
  13. 結構存在不等於可控制。
  14. 八類不是難度排序。
  15. 八類不是封閉全集。
  16. 生成類操作已跨入時空管理。

形式化地:

Vlaw⇏Vtraversal,V_{\mathrm{law}} \not\Rightarrow V_{\mathrm{traversal}}, Aexist⇏Acontrol,A_{\mathrm{exist}} \not\Rightarrow A_{\mathrm{control}}, selectfork,\texttt{select} \neq \texttt{fork},

以及:

ClassDifficulty.\operatorname{Class} \neq \operatorname{Difficulty}.

37. 理論邊界

本文不宣稱:

  1. 過去時間旅行已被證明物理可行;
  2. closed timelike curves 可在現實宇宙中形成或工程化;
  3. chronology protection conjecture 已被證明或推翻;
  4. Many-Worlds Interpretation 提供跨分支旅行;
  5. 分支是可定址物理位置;
  6. Type 7/8 有已知物理機制;
  7. 全局 meta-time 存在;
  8. 八種舊分類是所有可能性的完備全集;
  9. 時間反演、逆因果與時間旅行是同一物理現象;
  10. 本文已完成技術難度排序。

本文完成的是:

把「時間旅行可不可以」 改寫成一組型別安全的時空穿越問題。\boxed{ \text{把「時間旅行可不可以」 改寫成一組型別安全的時空穿越問題。} }

38. 結論:真正的問題不是「能不能」,而是「哪一種操作?」

2026 年 6 月的八類分類完成:

Time Travel{T1,,T8}.\text{Time Travel} \rightarrow \{T_1,\ldots,T_8\}.

本篇進一步提升為:

XT,S,D,Z,B,P,M,K,A.\boxed{ \mathcal X \mapsto \left\langle \mathcal T, S, D, Z, B, P, M, K, A \right\rangle. }

因此未來任何「時間旅行」主張都至少要回答:

穿越哪一種時間?

是全局、區域、局部,還是只傳 payload?

朝未來、過去、循環還是另一歷史?

目標是同一世界線、同一時空、另一分支還是新生成時空?

分支是選擇、轉移還是創生?

穿越的是人、物質、資訊還是 AI 種子?

身份與記憶是否保留?

時空核是被保持、修改還是重寫?

該結構只是數學存在,還是真的可定址、可控制、可返回?

只有這些欄位逐步被填滿,

才真正有資格問:

Is this traversal physically reachable?\boxed{ \text{Is this traversal physically reachable?} }

Series 02 下一篇因此不再問穿越拓撲,而問:

到底什麼需要穿越?

也就是:

Paper 02

〈穿越的是什麼?從肉身到資訊、模型、AI 種子與非自知時間旅行者〉

那一篇將把「時間旅行者」從人類肉身這個預設中解放出來,正式建立:

Traversal Topology×Payload Type\boxed{ \text{Traversal Topology} \times \text{Payload Type} }

並處理信息穿越、bootstrap provenance、AI seed reconstruction 與「非自知時間旅行者」命題。


參考研究脈絡

  • Neo.K,2026,《t 的多態性:跨物理框架的時間型別初步分類——一個計算視角的類比嘗試》。
  • Neo.K,2026,《時間不是一個變數:從 tt 的多態性到型別安全的異質時空分類》。
  • Neo.K,2026,《跨本體時空核:不同底層理論下什麼仍然不變?》。
  • Stanford Encyclopedia of Philosophy, “Time Machines”, substantive revision 2024.
  • Stanford Encyclopedia of Philosophy, “Backward Causation”.
  • Stanford Encyclopedia of Philosophy, material on Everettian / many-worlds interpretations and branching time.
  • S. W. Hawking, “Chronology protection conjecture”, Physical Review D 46, 603, 1992.
  • Modern surveys of closed timelike curves, chronology protection and causality in general relativity.