--- title: "馮・諾依曼計算的開放演化：模擬普適性、能力吸納與物理—語義共構立場" english_title: "The Open Evolution of von Neumann Computing: Simulation Universality, Capability Assimilation, and Physical–Semantic Co-Construction" series: "物理實在—計算機理—程式語義共構論（Series C）" series_english: "Physical Reality, Computational Mechanisms, and Programming Semantics: A Co-Construction Framework" series_number: "06（在原先 C-01 至 C-05 五篇之後追加的正式補論）" paper_id: "EML-PMSC-C06" author: "Neo.K" research_collaboration: "Aletheia / GPT-6（原始研究核對、形式化、反模型、文獻對照與批判性協作）" institution: "EveMissLab／一言諾科技有限公司" version: "v1.0" date: "2026-10-28" timezone: "Asia/Taipei" language: "zh-TW" source_format: "UTF-8 Markdown" math_delimiters: " $...$ and $$...$$" document_type: "計算機統一分類／計算本體論／模擬普適性／異構吸納／物理—語義共構／原理保全與語義修補" research_status: "THEORETICAL_SYNTHESIS — 模型內推導與形式反例；非新硬體實驗或已完成之通用元計算機" repository_actions: "NONE" source_revision_policy: "只增補 Series C-06；不直接覆寫 Series B、舊論文或 C-01 至 C-05 原稿" source_lineage: - "VN_架構演化模擬普適性與共構立場_局部語義修補建議_v0.1_2026-10-27.md" - "Series B-01、B-02、B-06 及相關馮・諾依曼研究" - "Series C-01 至 C-05 正式原稿" - "Computational Spine Closure 01–03、PCMT、GIPE、元計算機研究" research_boundary: "不將狹義 VN 架構、經典可程式化生態及通用可組合性混為歷史同義；不宣稱無成本或任意物理精確模擬；不將新載體排為單線等級；不將抽象功能模擬等同物理身份、具身權限或意識。" --- # 馮・諾依曼計算的開放演化：模擬普適性、能力吸納與物理—語義共構立場 ## The Open Evolution of von Neumann Computing: Simulation Universality, Capability Assimilation, and Physical–Semantic Co-Construction **《物理實在—計算機理—程式語義共構論》Series C · 第六篇（C-06，追加正式補論）** **作者：Neo.K** **研究協作：Aletheia / GPT-6** **機構：EveMissLab／一言諾科技有限公司** **版本：v1.0 · 2026-10-28（Asia/Taipei）** **性質：研究立場校準、概念型別化、附條件模型命題、反模型、思維實驗、非破壞性原稿修補接口。** **日期：** 2026-10-28 --- ## 摘要 在當代物理計算與 AI 原生程式語言的討論中，「馮・諾依曼計算」時常被放在一條以其被其他計算機制取代為終點的敘事上。這種寫法在討論處理器與記憶體傳輸、特殊計算工作負載或專用物理元件時，可以表示某項局部瓶頸；但若將它擴張為對整個經典可程式化計算體系的普遍否定，便產生分類錯位。Neo.K 在 2026 年 10 月 27 日明確澄清，既有研究從未把馮紐曼計算機當成負面教材：重點恰是其以有限可定址符號為起點、透過模擬、反身程式、組合、資源延展及外部能力吸納，使有效計算空間持續開放的能力。今日以儲存程式傳統為基礎的計算生態，也已包含多核心、SIMD、GPU／NPU、異構記憶體、虛擬機、編譯器、服務網路與外部計算機，不能由 1940 年代的單一示意架構窮盡。 本文以 **Series C-06** 正式展開此前的〈馮・諾依曼架構演化、模擬普適性與共構立場：局部語義澄清與修補建議〉，並與 Series C-01 至 C-05、Series B 的十維計算機型別、0—無限底空間—1、24／72 計算範式、PCMT、GIPE 及元計算機研究銜接。本文提出一個**三層馮紐曼語義**：歷史硬體／儲存程式組織（VN-1）、由此延伸的經典可程式化異構生態（VN-2），以及被抽象出的最小符號定址與可組合轉移能力（VN-3）；三者存在歷史與結構關係，但不互為嚴格同義，也不排除其他計算範式具備相似性質。 本文保留 Series B-06 的四種普適性——表示、計算、模擬與物理實現——並補上一條**能力吸納軸**，但不將它錯當成第五個普適性定理。令 $\operatorname{Cap}(E;B,\Gamma)$ 表示計算生態 $E$ 在預算 $B$ 、物理與授權約束 $\Gamma$ 下實際可用且有見證的能力集合。則 $$ \Omega_{\mathrm{expand}}(E)=\bigcup_{B\in\mathbb N_{>0}}\operatorname{Cap}(E_B;B,\Gamma_B) $$ 可用來描述**逐次有限、整體不預設固定有限上界**的能力展開；它不表示任何一台有限機器在同一時刻實際擁有無窮記憶或物理全能。若模擬涉及某個具體物理機制，必須指定可有效編碼的描述、比較輸出、時間地平線、容許誤差、成本與測量條件。本文因此區分功能模擬、軌跡近似、分布模擬、物理原生實現、異構吸納與語義—物理共同修訂，不以單一「能不能模擬」覆蓋所有工程與本體論問題。 本文構造十一項附條件的模型命題、十二個反模型、七組思維實驗，以及一套可用於後續修補的原稿定位與驗證條件。可以模型內成立的結論包括：理想化通用計算不等於有限物理無限；模擬關係不蘊涵成本支配；單一基準不能建立所有計算機的歷史等級；保留舊路由的保守吸納可以擴大候選能力，但不保證整體效能單調提升；改變控制平面與語義契約有時比改變硬體更直接地擴大系統可用作用域；而物理原生性及表示可攜性本來就可以並存。本文也明確指出，圖靈—邱奇論題本身不是任意未知物理系統可被經典機器無損模擬的定理。 最終，本文主張 **Series C 的真正問題不是「馮紐曼何時被取代」，而是「可程式化的計算生態、專用物理載體與可修訂程式語義如何透過模擬、吸納、原生化和互相重構，持續擴大有條件可達、可驗證的計算關係」**。本論文為既有研究的正式補論及語義校準，不覆寫歷史原稿，不宣告新物理、新計算能力類別或已建成元計算機。 **關鍵詞：** 馮・諾依曼；儲存程式；0—無限底空間—1；模擬普適；圖靈可計算性；可組合計算；自反程式；能力吸納；異構計算；原生物理機理；物理—語義共構；計算機型別；24／72 計算範式；元計算機；適用域精準修補。 ## Abstract The evolution of classical stored-program computing should not be described as a linear progression toward its replacement by supposedly superior non-von-Neumann hardware. Neo.K's earlier work instead emphasizes the capacity of programmable, addressable, composable systems to simulate, integrate, and progressively incorporate computational mechanisms. This sixth paper of the Physical Reality–Computational Mechanisms–Programming Semantics Co-Construction series formalizes that position and expands a prior semantic-repair note into a standalone theoretical study. It distinguishes three indexed uses of “von Neumann”: the historical stored-program organization, its evolving classical heterogeneous ecosystem, and a more abstract compositional-addressing principle that is not exclusive to that architecture. Four kinds of universality—representation, computability, simulation, and physical realization—are separated from typed capability assimilation. A resource-indexed family of executable capacities models open-ended expansion without attributing physically infinite resources to a finite machine. Task- and observation-indexed simulation relations, cost-vector comparisons, and realization witnesses clarify the coexistence of emulation, native physical dynamics, heterogeneous routing, and co-evolving semantics. Conditional propositions, countermodels, thought experiments, and targeted textual revisions preserve the positive role of programmable classical computation while avoiding claims of universal physical simulation or hierarchy-wide superiority. The result is a formal and methodological supplement to Series C-01 through C-05, not an experimental demonstration of novel hardware or unrestricted computation. --- # 0. 問題、來源與研究裁決 ## 0.1 被修正的不是作者立場，而是可能的閱讀預設 本篇最早來自一段明確的澄清：**作者從未將馮紐曼計算機當成負面教材。** 相反，既有研究反覆肯定有限符號、組合、通用模擬及系統吸納之價值。作者指出，現代所稱的「馮紐曼計算機」早已經歷持續組合與擴充，不能靜態等同於起始的硬體形式。 這段陳述不是要否定新的物理計算機研究。它恰好要求兩件事同時成立： 1. 保留經典可程式化計算的強大模擬、組合與整合可能性； 2. 不把經典模擬的抽象普適性誇大成對所有物理機制的無損、高效或原生支配。 當新論文使用「傳統」「非傳統」「原生」「後馮紐曼」時，應說明此處究竟比較哪一個層次的功能、物理機制或成本，不應暗示一條可把全部計算機排成單一高低等級的歷史階梯。 ## 0.2 原稿來源與本篇獨立性 本篇直接展開前置文件： `VN_架構演化模擬普適性與共構立場_局部語義修補建議_v0.1_2026-10-27.md`。 前置文件已提出三層馮紐曼、四種普適性、吸納、非破壞性原稿修補及局部歧義定位。本篇不只重複其結論，而新增： - 帶可觀察域的模擬關係及其組合條件； - 資源索引的開放展開模型及保守吸納的單調性條件； - 可觀察精度、成本與世界提交權的多軸比較； - 明確的模型內命題、反例與不能推論清單； - 對「模擬」「原生」「互補」「被取代」的正式判定程序； - 可供 Series C 後續研究直接引用的修補語句及版本政策。 本篇屬 **C-06 正式補論**。C-05 寫作時原計畫的 C-01 至 C-05 五篇已完成；C-06 的追加並不使 C-05 在其成文當日的「五篇收束」敘述成為錯誤。日後的總索引可採「五篇主研究＋一篇基礎立場補論」，不必回頭任意修改前五篇。 ## 0.3 研究主張的四種證據狀態 為避免把概念、形式推演及硬體能力混在一起，本篇使用： | 記號 | 說明 | 可被允許的宣稱 | |---|---|---| | **D** | Definition：研究者提出的定義 | 模型中的用法，不代表自然界已確認 | | **M** | Model-internal：在明示假設下可檢查的形式結果 | 局部引理、推論或反模型，不推廣至未知系統 | | **H** | Hypothesis：有待試驗的開放猜想 | 提出驗證方法，不宣稱實測 | | **E** | Empirical／External：外部文獻或實驗佐證 | 僅在來源支持的適用域內敘述 | 凡談到現代硬體、編譯器與網路計算，引用可核實的工程文件；凡談到「機器 X」與本體極限，明示為思維實驗；凡涉及高強度「創造世界」「計算即存在」的命題，沿用 C-04 的身份、因果與世界權威界線。 # 1. 三種馮紐曼：架構、系譜、生態與抽象組合原則 ## 1.1 VN-1：歷史與狹義架構 VN-1 指以儲存程式、中央執行邏輯、記憶體與 I/O 組織為核心的狹義架構家族及其歷史模型。1945 年 EDVAC 報告相關的 stored-program 脈絡在電腦史中極為重要，但沒有理由將某一張早期框圖視為現代所有電腦系統的不可變規格。[E-01] VN-1 不等於： - 每個現代處理器都只有一條順序管線； - 硬體只能使用單一記憶體層級； - 不允許快取、並行、向量化、亂序執行； - CPU 之外不能有外部加速器； - 系統無法建立虛擬記憶體、網路服務與多機調度。 某些技術不直接改變狹義 ISA，卻能大幅改變系統的有效執行能力與資源邊界；另一些技術可能具有真正不同的微架構或物理機理。這些是**層次差異**，不是誰比較「正統」的問題。 ## 1.2 VN-2：可程式化經典計算的演化生態 VN-2 是本篇沿用 Series B 的**廣義歷史系譜稱法**：以可程式化通用經典計算為核心、經過多代軟硬體發展形成的異構生態。 可能包含： - 通用 CPU、向量指令與多核心／多執行緒； - GPU、NPU、FPGA、ASIC 與不同特化單元； - 編譯器、JIT、VM、容器、作業系統與 Runtime； - 記憶體層級、遠端儲存、共享記憶體與外部資料庫； - 網路計算、服務接口、機器學習模型與可委派智能代理； - 可經型別化接口使用的量子雲服務或其他物理計算裝置。 此列表表達**可被通用計算生態接入的能力域**，不是宣稱 GPU、FPGA 或 QPU 在硬體分類上都必然是 VN-1。尤其「在 CPU 控制之下被呼叫」不表示該設備的物理機制會被分類學上吸收成 CPU 的內部算子。 CUDA 等已部署的軟體生態，以 CPU host 與 GPU device 的協作和資料／任務轉移為明確設計前提；RISC-V 的基本指令集與擴展機制，也提供了可擴展 ISA 與多種微架構實現的正式例子。[E-04][E-05] 這些是現代**異構共存**的工程證據，而不是 VN-1 必然具有所有現代功能的證明。 ## 1.3 VN-3：最小可定址符號與可組合的狀態轉換 VN-3 是 Neo.K 的「0—無限底空間—1」脈絡下的更高階抽象： $$ \boxed{\text{finite addressable interface}+\text{composable transformations}+\text{expandable effective domain}.} $$ 它刻畫一組具代表性的計算能力： - 有效地編碼、命名或尋址可操作對象； - 在定義好的作用域內組合不同轉換； - 將程式、資料或機理規格化為可重複使用的物件； - 允許隨資源與歷史變化擴充可用能力； - 可以把其他計算系統視為經接口訪問的子能力。 但 VN-3 **不是** 1945 年原始硬體結構的學術標準名稱，也不專屬該硬體。某個光子、神經、量子或分散式系統也可能滿足若干相同抽象性質。本篇沿用 VN-3 是為了保全原先思想的**語義系譜**，不是為馮紐曼歷史人物建立另一種無來源的技術歸屬。 ## 1.4 三層之間不是嚴格集合包含 不能直接寫： $$ \mathrm{VN1}\subset\mathrm{VN2}\subset\mathrm{VN3} $$ 並把它當成計算機硬體分類定理。VN-1 是架構型別，VN-2 是由該傳統衍生的生態索引，VN-3 是操作性抽象。三者的**元素型別不同**，若要建立集合包含，須先定義共同的編碼、嵌入與等價關係。 較合適的關係是： $$ \mathrm{VN1}\xrightarrow{\text{historical development}}\mathrm{VN2}\xrightarrow{\text{abstraction}}\mathrm{VN3}. $$ 這裡的箭號不是形式上必然成立的單值函數，而是研究者聲明的系譜映射。 ## 1.5 舊式圖解不等於今日完整系統 假設一名讀者只畫： ```text CPU <--> Memory <--> I/O ``` 再說：「因為 CPU 和 memory 分離，所以整個當代經典運算體系永遠不能處理某種新語義。」這個推論缺少至少三個橋接：高階語義是否可經有效表示實現？是否已有平行或外部實現者？真正瓶頸是否出現在當前任務與成本條件？ 說現代計算機**比早期 VN 示意圖豐富得多**，不是否認部分 processor-memory data movement 的現實成本，也不是宣稱所有經典系統都已消除它。不同系統可以同時具有「仍受記憶體資料搬移限制」與「在更大編譯／執行／資源域內持續擴張」兩種性質。 # 2. 計算機的進化不必是取代史：四條可並存的變化 ## 2.1 局部優化與微架構演化 同一高階程式模型可由不同流水線、快取組織、平行單元或記憶體策略承載。它們未必改變可計算函數集合，卻可能顯著改變吞吐、延遲、功耗、可靠性與可部署性。 ## 2.2 軟體與語義層的可程式化擴張 高階語言、型別、編譯器、虛擬機、資料庫及持久 Runtime 使計算機可以**合法承載更多可表達的高階操作契約**。這不要求每種型別都有獨立硬體邏輯閘。例如四態語義可由一般位元表示、IR 與 Runtime 維護，而不必把計算機變成四態物理處理器。[I-04] ## 2.3 異構吸納與可定址能力延伸 系統可透過連接其他設備／服務增加能力候選：CPU 呼叫 GPU 核心、雲端服務操作量子設備、Agent 透過具授權的 API 查詢世界狀態。實際可用能力取決於遠端可用性、接口契約、誤差、網路、權限與整條執行鏈的正確性。 ## 2.4 原生物理計算與語義共同構造 當某類物理系統具有可準備、可控制、可觀察且可驗證的動力時，可以將某些計算原語直接映射至該動力。這條路不要求清除原有經典控制、驗證或模擬機制。專用原生物理後端與既有數位 Runtime 可能形成長期互補，而不只是新技術尚未成熟時的過渡階段。 ## 2.5 不建立「舊→新」的無條件排序 不同工作負載可能具有互斥偏好：精確可重播的交易日誌、頻繁小型控制分支、超大矩陣乘法、高頻物理信號、模擬量子態、量測具噪材料，各有不同的合適路線。故本篇研究的是**多軸能力變化與適用域**，不是歷史產品的單一等級排名。 # 3. 四種普適性與第五條能力吸納軸 ## 3.1 U1：表示普適（Representational Universality） 某種編碼可以以符號描述大量、甚至任意可**有效有限描述**的對象或關係；這不保證短描述、無失真映射或可實作性。例如有限字元表可生成可數無限多有限字串，卻不意味它能以有限字串一一精確編碼不可數的任意實數全體。 ## 3.2 U2：計算普適（Computational Universality） 形式系統若可模擬一部通用圖靈機，就在相應有效可計算函數類上具有通用性。這需要理想化資源可按需增長；不表示固定實體記憶容量足以完成任意任務，也不自動保證速度、能量或物理精度。 圖靈—邱奇論題關心有效方法與形式可計算性，不直接建立「任意物理系統都能被有限經典機器精確模擬」的結論。這一區別在計算哲學的權威論述中已有明確強調。[E-02] ## 3.3 U3：模擬普適（Simulation Universality） 在明確模型族、編碼、輸入、可觀察量、精度與時間地平線下，通用機器可以透過模擬器實現許多不同計算機理或世界模型的**觀察行為**。然而，「模型內觀察等價」「分布近似」「完整物理態身份同一」是三種不同強度。 因此 U3 必須帶作用域： $$ \mathrm U_3(A;\mathfrak F,Q,\varepsilon,T,\Gamma). $$ $\mathfrak F$ 是被覆蓋的計算模型家族， $Q$ 是觀測， $\varepsilon$ 是近似容差， $T$ 是比較地平線， $\Gamma$ 是可用資源、允許運作與物理假設。 ## 3.4 U4：物理實現普適（Physical Realization Universality） 這是**強得多**的性質：若主張單一載體可以在物理上、以指定精度與實際可用效率，原生實現所有相關物理機理，必須提供遠超 U2 或 U3 的實驗與理論證明。本篇不承認 U4 已由馮紐曼、量子、光子或任何特定新載體普遍達成。 ## 3.5 A：能力吸納（Capability Assimilation）不是 U5 的物理定理 定義一條獨立研究軸： $$ \mathsf A(E)=\text{可透過合法接口被發現、接入、組合與復用的計算能力範圍}. $$ $\mathsf A$ 不是宣稱系統原生模擬所有設備；更不是把遠端能力納入後就取得遠端的所有控制權。它表示透過**帶契約的關係擴張**形成有效可用計算域的程度。 例如一部傳統程式可向雲端量子服務提交合法電路，接收測量樣本：這屬異構計算服務吸納，不表示 CPU 已變成可直接保存量子糾纏態的 QPU。 ## 3.6 五軸不能合成一個「更高級」分數 | 軸 | 問題 | 一個典型誤推論 | |---|---|---| | U1 | 能否表示？ | 會編碼，所以可實現 | | U2 | 能否按形式規則通用計算？ | 圖靈完備，所以任何任務都高效 | | U3 | 能否在指定觀察域模擬？ | 模擬相符，所以物理態同一 | | U4 | 能否原生物理實現？ | 用物理直接演化，所以所有目標都可編程 | | A | 能否合法接入、組合與復用其他能力？ | 能調用 API，所以擁有外部權威 | 原有 Series B-06 的四種普適性依然保持為原本的四種；此處新加的 A 只是分析坐標，並未以改名方式偷偷重寫 Series B 的數量或內涵。 # 4. 0—無限底空間—1：逐次有限的開放能力家族 ## 4.1 0 與 1 在此不是宇宙只剩兩種物理狀態 Series B-06 將 0—無限底空間—1 作為離散接口與豐富內部狀態的關係模型。若觀察到兩種輸出：0 或 1，不能推出內部所有路徑、物理動力、資料結構或可擴展計算狀態也只能是兩種。 一個二值訊號可以選擇記憶體地址，地址可尋址模型、執行程序或跨設備服務；這說明有限界面的**指向和組合作用**，不是二值本身物理地攜帶了所有被指內容。 ## 4.2 定義 C06-D1：資源索引能力集合 令 $E_B$ 表示資源上界為 $B$ 時可建構的計算生態狀態， $\Gamma_B$ 包含物理、網路、精度、授權及期限等條件。定義： $$ \boxed{\operatorname{Cap}(E_B;B,\Gamma_B)=\{q\mid\exists\text{ 可行且帶驗證義務之路由 }\Pi_q\text{ 可滿足契約 }q\}.} $$ 此處「存在路由」可以作概念性可行性宣告，但若要升格為實測可用，必須存在與主張強度相符的執行、量測或形式證據。未驗證的後端不得默認加入「已證實能力」。 ## 4.3 定義 C06-D2：開放展開家族 $$ \boxed{\Omega_{\mathrm{expand}}=\bigcup_{B\in\mathbb N_{>0}}\operatorname{Cap}(E_B;B,\Gamma_B).} $$ 此構造具有以下不同解釋層級： 1. 對每個具體的 $B$，可用資源有限； 2. 隨 $B$ 增大，候選計算和輸出族可能增長； 3. 只有另有證據顯示對任何固定有限上界都仍可形成新合法輸出，才可宣稱其**開放性**； 4. 不得由聯集記號自動推出集合無限大，也不得由集合無限大推出任何一台 $E_B$ 具有無限物理資源。 這是本篇對「無限」最重要的約束：**聯集只是定義，無界性需要另證。** ## 4.4 一個可以證明開放性的玩具模型 令一部理想化通用儲存程式機器可以輸出任意有限長度二進位字串。對任意 $n\in\mathbb N$，定義不同的任務契約 $q_n$ 為「正確輸出長度為 $n$ 的字串 $0^n$ 」。若提供足夠執行步數與記憶，程式 $p_n$ 可完成 $q_n$。 由於 $\operatorname{Cap}$ 的元素在 C06-D1 被定義為**任務契約**，而非原始輸出字串，正確的型別化寫法為： $$ \forall n\in\mathbb N,\quad\exists B_n<\infty:\quad q_n\in\operatorname{Cap}(E_{B_n};B_n,\Gamma_{B_n}). $$ 因不同 $n$ 的契約規定相異的輸出長度， $q_n$ 彼此可區分，故能力聯集包含無限多個相異的**任務契約**；它們各自要求的輸出也有無界的長度。若要形式討論輸出集合，應另外定義 $\operatorname{Out}(E_B;B,\Gamma_B)$，不能把字串 $0^n$ 直接當成任務型別的元素。對任何固定的有限 $B$，也不能聲稱可以在當下實際儲存並輸出全部這些字串。 這證明一個**形式資源族的開放性**，不證明「現有物理世界內一台固定裝置已能執行每個任務」。 ## 4.5 自我修改與自身重構不等於任意自我超越 現代可程式系統可以修改程式、生成程式、替換模型、部署新模組，甚至規劃新的硬體組合。它能持續改善某些任務的成本與表達接口，也可能因錯誤變更、接口不兼容、權限限制而使有效能力倒退。 形式上可考慮： $$ E_t\xrightarrow{\mathrm{reconfigure}}E_{t+1}. $$ 但一般不能直接斷言： $$ \operatorname{Cap}(E_t)\subseteq\operatorname{Cap}(E_{t+1}). $$ 因為新版本可能刪除某種操作、產生錯誤或失去外部服務。要保證保守擴張，需附加**舊功能保留、權限保留、足夠資源與可用 fallback** 等條件。 ## 4.6 「更高維」是可能性與作用空間，不是必然多出物理維度 本系列前置思維實驗中的「較高維存在」，主要指某個存在者具有更廣的行動、認知、可組合與世界參與空間，而非強制宣稱多個額外時空維度。因此計算生態能力擴張的評估應使用多軸可能性與可達性，不宜用「物理緯度升級」替代工程證據。 # 5. 模擬關係必須帶模型、任務、觀察與成本索引 ## 5.1 定義 C06-D3：受限觀察模擬 令 $A$ 為實現模擬的計算系統， $B$ 為被模擬的目標模型。令 $D$ 為有效輸入域， $Q$ 為比較可觀察量的契約， $T$ 為比較時間地平線， $\varepsilon$ 為允許誤差， $\Gamma$ 為資源、精度及適用域約束。 若存在有效的輸入編碼 $e$ 、在 $A$ 上執行的程序 $p_A$ 、輸出解碼 $d$，使得對所有指定的 $x\in D$ 與 $0\le t\le T$： $$ \boxed{d_Q\left(d\big(\operatorname{Run}_A(p_A,e(x),t)\big),\operatorname{Obs}_Q\big(\Phi_B^t(x)\big)\right)\le\varepsilon,} $$ 則定義： $$ \operatorname{Sim}(A,B\mid D,Q,T,\varepsilon,\Gamma). $$ 這裡 $\Phi_B^t$ 是目標模型的指定轉移語義。上式是**確定性或可比較的指定觀察模型**版本；若 $B$ 是隨機／量子測量系統，應用概率分布的距離取代不適當的單次逐點狀態距離。 此定義既承認模擬能力的價值，也禁止將一次相符的展示擴張為全部模型、全部時間、全部可觀察量的一致性宣告。 ## 5.2 精確功能模擬 若對指定輸入 $x$，編碼及執行程序能返回與形式目標完全相同的輸出： $$ \forall x\in D,\quad d\big(\operatorname{Run}_A(p_A,e(x))\big)=f_B(x), $$ 則可稱對函數 $f_B$ 在域 $D$ 的**精確功能模擬**。例如純有限狀態自動機、可停止的有效離散演算法，其正確模擬不必依賴某一種特殊材料。 然而，相同函數輸出不保證執行時序、歷史、環境作用及中間狀態相同。若這些是任務語義的一部分，必須提高契約強度。 ## 5.3 軌跡模擬與有限地平線 對具有連續狀態的系統，研究者可能只要求在 $[0,T]$ 內對可觀察投影 $q(x(t))$ 的誤差不超過指定界，而不是精確重建全部微觀物理態。此時模擬是**任務指定解析度下的軌跡近似**。 即使有限地平線內表現良好，當 $T$ 延伸、初值不確定性增加、系統具有混沌敏感性或離開校準域時，原誤差界也可能失效。故不能把「某個 $T$ 內可逼近」寫成「全部未來歷史可精確一致」。 ## 5.4 分布模擬與量子測量 對隨機或量子測量任務，可要求模擬輸出分布 $\widehat P_A$ 與目標分布 $P_B$ 在總變差距離下足夠接近： $$ \boxed{\operatorname{TV}(\widehat P_A,P_B)\le\varepsilon.} $$ 對有限結果空間， $$ \operatorname{TV}(P,Q)=\frac12\sum_y|P(y)-Q(y)|. $$ 這不要求單次抽樣結果相同，也不證明模擬器內有與目標 QPU 相同的量子相干態。對帶有限樣本的檢驗，還需另述置信區間、測量次數及統計檢驗效力。 ## 5.5 物理同態、物理同一與模擬是不同主張 一個數位模擬器可以產生正確的太陽系軌道預測，但它不因此獲得被模擬行星的質量、重力場與天文位置；一個量子電路模擬器可以輸出正確的測量分布，不因此成為具有相同量子資源的物理設備。 應分別問： - **語義對應**：指定輸入與輸出是否符合契約？ - **機理對應**：轉移結構是否具有某種可驗證映射？ - **物理實現**：是否存在實際載體直接承擔所指機理？ - **存在身份**：是否與被描述或模擬的外部客體是同一物？ - **世界權威**：是否對某世界具有合法可提交作用權？ 本篇拒絕由其中任一弱主張直接推出剩餘全部強主張。 ## 5.6 模擬可組合，但中介橋不是免費的 假設 $A$ 模擬 $B$， $B$ 模擬 $C$，是否能推出 $A$ 模擬 $C$？ 若模型皆有**相容的輸出／輸入型別**，編碼與解碼映射可有效組合，且誤差傳播受到控制，則可能構造複合模擬。若目標距離具有三角不等式，且中介變換對距離的放大常數為 $L$，可在特定條件下取得示意上界： $$ \varepsilon_{A\leftarrow C}\le\varepsilon_{A\leftarrow B}+L\varepsilon_{B\leftarrow C}. $$ 但若 $B$ 的模擬輸出只保留某個摘要，而 $C$ 的後續演化需要被刪除的隱藏狀態，就無法合法組合。類似地，若輸入／輸出之間存在未授權的外部行動、單位轉換錯誤或量測時鐘不一致，模擬關係不可僅憑箭號接起來。 ## 5.7 模擬能力和決策能力不是同一種能力 即使某系統能夠計算多個候選世界的結果，也不表示它可以正確判斷應採用哪個世界、應相信哪個模型或應對外部現實提交哪個操作。 這是 C-05 元計算機與 C-04 世界身份／權威分離的必要原因：**可模擬的世界束，不等於已獲批准的世界束。** # 6. 可計算性、量子與連續物理的界線 ## 6.1 圖靈—邱奇論題不是物理萬能模擬定理 圖靈—邱奇論題的一般表述涉及「有效方法」是否可由圖靈可計算的程序表示。它不自動涵蓋任意未知物理定律、不受限制的連續實數神諭，或某些超出有效程序範疇的假設裝置。[E-02] 因此下式不是本篇承認的推論： $$ \boxed{\text{Turing-complete}\Longrightarrow\text{perfectly simulates every physically possible process}.} $$ 若要討論物理 Church–Turing 類命題，應另設物理假設、可逼近性、有限測量操作、有效狀態準備與精度的要求，而不能偷用 1936 年原始論題的已接受地位來替它證明。 ## 6.2 效率版論題與能力版論題也不同 即使 $A$ 和 $B$ 在形式上可計算相同的函數，亦不能推出存在低成本模擬： $$ \mathrm{SameComputableFunctions}(A,B)\centernot\Longrightarrow\mathrm{LowOverheadSimulation}(A,B). $$ 以量子模擬為例，對一般 $n$ -qubit 純態的樸素狀態向量表示，需記錄 $2^n$ 個複數振幅；這說明某種**一般直接表示方法的指數資源增長**，不是「已證明所有量子算法都不可能被經典電腦有效模擬」的普遍定理。某些特殊量子電路本來就有更高效的經典模擬方法；哪些任務具經證實、具條件或尚在探索中的計算優勢，需另以明確理論與實驗處理。 ## 6.3 連續狀態可以近似，不等於任意無限精確讀寫 物理世界中可能出現以連續變數表示的理論狀態；但可操作的感測器、量化介面及有限數位儲存只能在指定可觀察解析度下提供資訊。對某個特定目標 $Q$，有限精度可能足以得到精確的**任務判定**；對另一個要求分辨極細微差異的目標，原解析度可能不足。 因此，不應寫成「經典機器必然損失所有重要資訊」，也不能寫成「只要使用模擬器，就可任意無限精確恢復任何真實物理態」。 ## 6.4 未知物理自由度不應被先驗排除，也不應被先驗宣布可模擬 如果未來發現某種新物理機理 $B_\mathrm{new}$，首先要回答是否具備可研究的有效描述及測量方式。若可有效描述某個可觀察子域，就可嘗試在經典系統建立對該子域的形式或數值模擬；但**能建立部分模擬**不表示全域、全精度與原生實現已成立。 這裡保留開放上界，不對尚未知曉的物理自由度預先做肯定或否定的全稱判決。 ## 6.5 工程性的「模擬已完成」應帶有明示證據 最低證據包宜包含： ```yaml simulation_claim: target_model: "named version / formal specification" input_domain: "bounded and explicit" observable_contract: "typed outputs and invariants" simulation_kind: "functional | trajectory | distribution | hybrid" horizon: "specified or not-applicable" tolerance: "specified" assumptions: "listed" tests_and_proofs: "identifiers" evidence_status: "NOT_RUN | TESTED | FORMALLY_CHECKED | UNKNOWN | FAIL" cost_scope: "end-to-end; measurement and interface costs included" physical_identity: "NOT_CLAIMED" ``` 此 schema 是論文中提出的**記錄格式範例**，不是已建置的正式 API 或既有 Runtime 的權威規格。 # 7. 吸納的正式模型：把其他計算機變成可使用的能力，而非重新命名硬體 ## 7.1 定義 C06-D4：型別化能力接口 令系統 $E$ 的候選外部能力 $c$ 擁有接口契約： $$ \boxed{c=\langle\mathrm{id},\mathrm{Inputs},\mathrm{Outputs},\mathrm{Semantics},\mathrm{Version},\mathrm{Limits},\mathrm{Evidence},\mathrm{Authority}\rangle.} $$ 此契約至少聲明可接受的輸入型別、輸出的可觀察性、語義版本、量測／運算成本、已知限制、證據狀態及可用權限。這與 C-05 的 Mechanism Registry、Selection Record 和跨世界授權接口相容，而非新增獨立的元計算控制平面。 ## 7.2 定義 C06-D5：能力吸納轉移 若 $c$ 通過相容性、授權及可用性檢查，可形成： $$ E_t\xrightarrow{\operatorname{Attach}(c,\rho,\Gamma)}E_{t+1}. $$ $\rho$ 是適配、讀出及保真證據； $\Gamma$ 包含資源與治理界線。吸納成功的含義是：**指定作用在特定契約下變得可呼叫且可驗證**。它不是： $$ \mathrm{PhysicalIdentity}(E_t,c), $$ 也不是： $$ \mathrm{AllAuthorityTransferred}(c,E_t). $$ ## 7.3 吸納與內部執行可以互補 例如一個 CPU 端的通用程式可完成精確索引、設定任務和審計日誌，並將部分矩陣運算送往 GPU。當 GPU 不可用時，系統可以在可接受的時間與精度條件下改用 CPU 或其他後端；當任務適合 GPU 且資料傳輸成本可接受時，混合路線可能勝出。 這不是 CPU 被 GPU 淘汰，也不是 GPU 只是 CPU 的另一條指令。它們形成一條**帶明示資料與控制邊界的異構運算路線**。[E-04] ## 7.4 吸納的成本是端到端成本 令一條候選路由 $\Pi$ 的成本向量為： $$ \boxed{\mathbf C(\Pi)=(C_{\mathrm{prepare}},C_{\mathrm{compute}},C_{\mathrm{transfer}},C_{\mathrm{read}},C_{\mathrm{verify}},C_{\mathrm{risk}},C_{\mathrm{energy}},C_{\mathrm{maintenance}}).} $$ 若目的包含能耗或費用，必須先指定如何計量和聚合，不能把不同單位不經標準化便任意相加。安全、不可逆操作及合法權限應首先作**硬性可行性約束**，而不是全部拿來與性能做加權抵銷。 ## 7.5 定義 C06-D6：保守吸納 若 $E_t$ 新增能力 $c$ 後，舊語義、舊 API、舊資料和舊執行路由仍在同一指定環境／資源下保持可用，稱此為相對於契約族 $Q$ 的**保守吸納**。其直接推論是：對該契約族，新增後的候選可行路由集合至少包含舊的路由。 但是保守吸納只保證存在一條舊路線仍可選，不保證新預設路線更好，也不保證任意自動選路策略都會正確退回舊路線。 ## 7.6 「增加能力」與「增加成功率」應分開 假設系統有 CPU 實作並取得穩定結果，又接入一台新型加速器。它的可呼叫能力增加，但如果路由器過度相信尚未校準的加速器，實際成功率可能下降；若外部設備造成網路故障或資源競爭，舊功能也可能受影響。 因此： $$ \mathrm{CapabilityCandidates}\uparrow\centernot\Longrightarrow\mathrm{OperationalReliability}\uparrow. $$ 這是對「不斷的組合與吸納去改善自己」的精確支持：**組合提供改善的可能機制；改善是需要驗證的結果，並非名稱上自動成立的定理。** ## 7.7 可委派權限不等於無限控制權 對遠端計算、代理與真實設備尤其如此。可查詢某服務、可讀取設備狀態、可提出控制請求及可被授權實際修改設備，是不同的能力與權限等級。後者應由獨立的權威來源裁決，並以真正的設備讀回確認作用是否成功。 # 8. 「馮紐曼瓶頸」不等於「馮紐曼計算的全部價值上界」 ## 8.1 一個有意義但局部的工程瓶頸 傳統所稱 von Neumann bottleneck 通常指處理器與記憶體之間搬運指令與資料的頻寬／延遲限制。在高度依賴資料搬移的工作負載中，這個瓶頸可能十分重要。對記憶體內計算、近記憶體計算、快取優化或專用資料流硬體的研究，也往往從類似問題出發。 但不能由此推出： $$ \boxed{\text{Memory data-movement bottleneck}\Longrightarrow\text{lack of high-level semantic universality}.} $$ 能否表示某個高階型別與能否高效移動其資料，是兩個不同問題。 ## 8.2 反例：四態語義不要求四態電晶體 以四態推理中的 $\{U,N,Y,B\}$ 為例，若其語義與操作在抽象資料型別／Runtime 中已明確定義，便可由二值資料結構編碼實作。高階證據語義可能需要版本、來源與歷史等附加結構，但不代表二值硬體在原理上「禁止四態」；是否值得新建多值邏輯閘，是成本與物理設計的另一道問題。[I-04] ## 8.3 反例：物理訊號量化的失真不是匯流排道德缺陷 考慮投影： $$ \pi:\mathbb R^D\rightarrow\{0,1\}^m. $$ 在全域、固定有限 $m$ 下，一般不可能對不可數的輸入域保持單射。若存在 $x_1\ne x_2$ 且 $\pi(x_1)=\pi(x_2)$，又有任務觀察 $q(x_1)\ne q(x_2)$，則任何只讀取 $\pi(x)$ 的解碼器都無法同時準確還原這兩個任務結果。 這是**選定量化／有限編碼映射的資訊損失條件**，不是 VN-1 處理器—記憶體組織必然具有的抽象邏輯缺陷。對有限解析度即可完成的任務，該映射也可能完全足夠。 ## 8.4 原生物理後端也可能存在自己獨有的瓶頸 某個類比或光子系統雖然可藉物理動力直接完成子操作，卻可能遇到輸入準備、訊號擾動、裝置漂移、讀出頻寬、可校準性、通用控制或錯誤修復的限制。它可能在某些任務上節能，卻不適合全部任務。相反，經典數位實現可能更容易重播、編譯、除錯及保存精確歷史。 因此，任何瓶頸比較都應帶： $$ (T,\mathrm{Scale},\mathrm{Precision},\mathrm{Workload},\mathrm{Environment},\mathrm{Verification}). $$ ## 8.5 RISC-V、MLIR 和 CUDA 分別說明不同層次的演化 RISC-V 的模組式 ISA 與多實現途徑，展示**指令介面與微架構技術可以有條件分離**；MLIR 展示**高階運算表示可經不同層級轉換並面向異構後端**；CUDA 展示**實際可部署的 CPU–GPU 協作控制與計算模型**。[E-05][E-06][E-04] 這三種工程制度不是同一項技術，但共同說明：現代可程式化計算的發展，不應被敘述為「一個不可改造的歷史 CPU 架構與外部所有新事物互相敵對」。 # 9. 物理原生、語義原生、編譯原生與世界原生 ## 9.1 沿用 C-05 的四種原生性 | 類型 | 最低判準 | 不可直接推出 | |---|---|---| | **語義原生** | 操作是帶身份、型別與合法效果的一等語義物件 | 需要新物理硬體 | | **編譯原生** | 編譯／IR 能辨識該操作而非僅當作不透明文字 | 零編譯開銷或零執行成本 | | **物理原生** | 指定運算由載體動力直接承擔，且存在實現見證 | 所有任務必然最優 | | **世界原生** | 事件在指定世界合法歷史中具有被承認的角色 | 與外部物理事物相同 | 一台通用數位計算機可以非常**語義原生**地運作某個 AI 原生圖算子，但其底層仍由一般二值運算實現；另一種物理材料可以天然計算某類耦合方程，卻仍需要數位控制與編譯後端安排狀態、讀出及驗證。 ## 9.2 原生的意義取決於相對的操作契約 例如光的干涉是物理現象，但把兩束光干涉叫作「原生計算」仍需說明輸入、結果觀察和語義對應。反之，在 CPU 上用浮點數模擬干涉，其輸出也可以是該有限觀察任務的有效計算結果，並非「因為是模擬，所以沒有意義」。 ## 9.3 「原生比模擬優越」不是公理 令 $\mathbf C_A(T)$ 與 $\mathbf C_B(T)$ 表示相同任務、相同成功門檻下的成本向量。若在某個比較域中， $A$ 不差於 $B$ 的每一項成本，且至少一項更佳，才可稱 $A$ 在該域 Pareto 支配 $B$。若一種機制時間較快但精度或證據成本較差，兩者可能不可比較。 更不能由：「某原生裝置擁有更多內部物理自由度」推得「對任何應用程式都更具計算價值」。可有效準備、利用和讀出的自由度，才可能構成實際優勢。 ## 9.4 「模擬比原生低等」也不是公理 模擬可以帶來硬體無關的測試、低成本原型、可重播實驗、可移植的語義規格，以及跨平台一致性對照。在缺乏可信任的新硬體時，以經典實現建立基準與失敗證據，可能是最合理的研究路線。 因而 Series C 允許**模擬先行、原生並行、混合成熟、保持原方案**四種路線並存，而不以後者是否出現來決定前者的理論價值。 # 10. 馮紐曼系譜的正面演化，如何接回物理—語義共構？ ## 10.1 C-01：相同語義，多種承載 C-01 的實現見證要求：語義契約、編碼、物理或計算轉移、讀出、觀察比較、證據、成本都能被標示。這使經典模擬可成為**合法的一種實現路線**，與光子、量子、類比或其他原生機理在具條件的觀察域內比較，而不是由名稱定輸贏。[I-10] ## 10.2 C-02：物理實在化不能只憑計算功能命名 C-02 強調可準備性、可控制性、可觀察性和可定址性。經典模擬器可以在符號層表示一個新物理自由度，不因此擁有對該自由度的物理操控；物理後端即使確實具有該自由度，也需要獨立證明其可編程與可讀出性。[I-11] ## 10.3 C-03：新語義的資格相對於算子閉包 一個指令在限定的算子族內可能不可由既有原語構造，但當允許新函式庫、額外記憶或外部 API 時，該「不可還原」結論可能改變。這讓「現有計算機支援不足」成為**可檢驗的相對命題**，而不是絕對能力缺陷，也避免假設所有未完成語言都因舊硬體所致。[I-12] ## 10.4 C-04：模擬世界真實執行，不等於外部世界本體同一 計算世界中的合法狀態、歷史和事件可以真實地由物理載體執行；它們也可能透過具身接口產生真實物理結果。但其中每個階段都需保留世界身份、事件來源及外部權威，不能由一次計算或一句語言敘事將模擬結果升格成外部世界已發生的事件。[I-13] ## 10.5 C-05：元計算機可選擇與吸納，但必須會拒絕 C-05 的元計算機不等於「總是選新裝置的引擎」。它的合法輸出包括計畫、未知／暫緩、拒絕、僅限研究候選。C-06 進一步固定：在相同任務契約下，**保留通用經典實現**也是正式而合理的結果；選擇新原生物理路線需先通過證據與成本 Gate。[I-14] ## 10.6 共構是相互影響，不是本體混同 計算機制的改變可能促使新的程式語義出現；某種高階語義需求可能反過來影響硬體拓撲、編譯器、資料表示或物理控制設計。這是本篇所稱的共同構造： $$ \boxed{(\mathrm{Semantics}_t,\mathrm{Mechanism}_t,\mathrm{Carrier}_t)\xrightarrow{\text{evidence-bounded revision}}(\mathrm{Semantics}_{t+1},\mathrm{Mechanism}_{t+1},\mathrm{Carrier}_{t+1}).} $$ 但這不要求所有時刻必須同時變化，也不意味彼此同一；合法的共構也可能只修改軟體層，而不改變任何原子尺度的物理設備。 ## 10.7 「吸納」是開放計算本體的重要方向，不是單一公司產品策略 在這個框架下，一種計算生態的演化不只發生於裝置內部，也發生於新方法、新資料、編譯器、環境接口、可信任他者計算機和跨世界連結之間。這種開放性與 Meta-Computer、NOVA、PHOSPHOR、EML-ADDR 等不同研究項目可保持概念接口，但本篇不對任何倉庫作實際變更，也不把未驗證的實驗功能預先列入完成清單。 # 11. 十二項模型命題與附條件論證 本節的「命題」不是新物理定理，也不是對未知裝置的實證宣告。每項命題必須同時提供前提、局部證明或構造、反向不能推出的內容。純粹由定義得到的結論，不偽裝成深刻發現。 ## 命題 C06-P1（M）：理想化能力族可具有無固定有限上界 **前提。** 存在一個計算模型族 $E_B$，其可用輸出記憶與步數可隨有限 $B$ 增加；對每個自然數 $n$，存在某個有限資源 $B_n$，使系統可輸出長度恰為 $n$ 的字串。 **命題。** 此族的能力聯集包含無限多個相異的輸出任務契約，且它們要求的輸出長度無固定上界。 **論證。** 定義各任務 $q_n$ 為要求輸出字串 $0^n$。對不同 $n$，契約要求的輸出長度不同，因此 $q_n$ 相異。依前提，每個 $q_n$ 均可在某有限 $B_n$ 下完成，故皆位於能力聯集。自然數 $n$ 沒有固定最大元，故契約族無限。 $\square$ **不可推出。** 某一固定設備可以在同一時刻輸出所有字串；所有物理任務可被有效模擬；無限制能源和記憶已存在。 **意義。** 本命題支持「無界可組合展開」作為理想資源族的形式結構，不支持實體單機的物理無限。 ## 命題 C06-P2（M）：理想通用性不等於有限裝置的無限制能力 **前提。** 一部實體機器有有限容量 $m$ 、有限執行時間 $T$ 與有限輸出吞吐。其形式規格可表示一個在增加資源時具有通用性的抽象計算模型。 **命題。** 該抽象模型通用，不蘊涵這部固定裝置可在給定 $m,T$ 下執行任意長度輸出或任意成本的程序。 **構造。** 取一個需要輸出超過設備在期限 $T$ 內所能寫出字元數的任務。形式模型可在更長時間與更多空間內完成，但固定裝置無法在原期限內完成。 $\square$ **不可推出。** 因此通用計算沒有價值；增加記憶和外部資源永遠無法改善有效能力。 ## 命題 C06-P3（M）：可模擬性不蘊涵成本支配 **前提。** 模擬關係 $\operatorname{Sim}(A,B\mid D,Q,T,\varepsilon,\Gamma)$ 只保證指定觀察保真，未將任何成本優勢納入定義。 **命題。** 不能由模擬關係推出 $A$ 在時間、能量、可控制精度、讀出及維護成本上 Pareto 支配 $B$。 **理由。** 構造一個模擬器，其可得到正確結果但故意執行大量無關運算，成本可任意升高；或令物理後端 $B$ 在指定子操作上直接演化且讀出有效。反之亦可構造 $B$ 需要昂貴校準而 $A$ 較便宜。模擬規格未禁止這兩種情形。 $\square$ **不可推出。** 物理原生必然優越；數位模擬必然較慢。 ## 命題 C06-P4（M）：不同工作負載可以導致非全序的架構比較 **前提。** 有兩個工作負載 $T_1,T_2$ 與兩種合法後端 $A,B$，假設完整成本評估符合： $$ C_A(T_1)C_B(T_2). $$ **命題。** 以「對所有任務成本都不高於對手」定義的全域支配關係下， $A$ 和 $B$ 互不支配。 **證明。** $T_2$ 反駁 $A$ 對所有任務支配 $B$ ； $T_1$ 反駁 $B$ 對所有任務支配 $A$。 $\square$ **不可推出。** 所有架構在每個任務上都一樣；局部最佳路由不需要測試。 **意義。** 研究新硬體與經典可程式化生態時，應優先使用條件偏序而非歷史年代單一排名。 ## 命題 C06-P5（M）：保守吸納能保留既有可行候選集合 **前提。** $E'$ 由 $E$ 新增能力產生；對每個舊有合法路由 $\Pi$，在相同契約與資源要求下， $E'$ 都仍提供語義相容且具足夠資源的原路由或合法替代路由；舊授權未撤銷。 **命題。** 對這些契約， $E$ 中每個可行計算任務仍可在 $E'$ 中可行。 **論證。** 任一原可行任務都有一條符合前提的舊路由；由前提，在 $E'$ 中仍存在符合契約的對應路由，因此該任務仍可行。 $\square$ **不可推出。** 新增後實際被排程的路線必定更快；新增設備不增加故障率；整個系統在任何共享資源競爭下都保留原成本。 **失效條件。** 如果原路由被刪除、權限改變、資源被其他服務占用、接口失真或 fallback 無法觸發，便不能套用這個命題。 ## 命題 C06-P6（M）：候選能力增加，實際成功率仍可能下降 **前提。** 系統有可靠的舊路由 $r_0$，新增未校準的 $r_1$ ；路由策略可能選擇 $r_1$。 **命題。** 可呼叫路由數量增加，不保證在同一工作負載上的成功率不下降。 **構造。** 假設（僅供反例，不是測量）舊路由成功率為 $0.99$，新路由成功率為 $0.60$，而新策略以機率 $0.5$ 使用新路由。若選路和執行結果依給定模型可視為條件混合，整體成功率為： $$ 0.5\times0.99+0.5\times0.60=0.795<0.99. $$ 因此增加候選不保證改善。 $\square$ **不可推出。** 新設備一定不值得接入；路由失敗永遠不能藉驗證、校準或策略更新解決。 ## 命題 C06-P7（M）：資訊損失屬於觀察／編碼契約，不是硬體史名稱 **前提。** 編碼 $\pi:X\to Y$ 對兩個相關狀態 $x_1,x_2$ 不可區分： $\pi(x_1)=\pi(x_2)$，但任務所需輸出 $q(x_1)\ne q(x_2)$。 **命題。** 不存在只以 $\pi(x)$ 為輸入的決定性解碼器，能同時對兩個狀態精確恢復 $q$。 **證明。** 相同編碼必然使同一解碼函數輸出相同結果，但任務要求不同輸出，形成矛盾。 $\square$ **不可推出。** 所有數位化都不可行；信息損失由儲存程式架構而非所選 $\pi$ 自動造成；真實物理系統總可無限解析度讀出。 ## 命題 C06-P8（M）：模擬的可組合性依賴橋接型別與誤差條件 **前提。** $A$ 模擬 $B$ 且 $B$ 模擬 $C$ ；二者有可有效組合的輸入、輸出與時間映射，未遺失 $C$ 所需的中介狀態；比較度量滿足適當的誤差傳播上界。 **命題。** 在這些前提下可構造 $A$ 對 $C$ 的複合模擬，並以對應模型估計累積誤差。 **論證。** 將後段編碼接到前段解碼，利用轉移保真與距離控制條件給出複合界。但若存在不可恢復的中介狀態或非法接口，此構造不成立。 $\square$ **不可推出。** 所有標有「模擬」的箭號皆可無條件傳遞；跨世界操作可以省略授權與時間對齊。 ## 命題 C06-P9（M）：語義原生與通用物理後端可以同時成立 **前提。** 抽象原語 $o$ 在高階語義或 IR 中為一等操作，並存在通用數位後端上的正確有效實現程序 $p_o$。 **命題。** $o$ 可在**語義原生**的同時由通用硬體實現，而不要求專用物理操作單元。 **論證。** 語義原生是高階契約與 IR 的身份性質；硬體後端是否有對應單一指令是另一個型別問題。只要 $p_o$ 滿足契約，二者不矛盾。 $\square$ **不可推出。** 所有高階原語都能零成本降階；專用硬體沒有價值。 ## 命題 C06-P10（M）：模擬物理機制不蘊涵物理身份同一 **前提。** 系統 $A$ 在指定觀察域輸出與系統 $B$ 一致的軌跡或測量分布，二者卻可具有不同物理載體與因果資源。 **命題。** 由觀察相符不能推出 $A$ 與 $B$ 的物理態、具身能力或世界身份完全相同。 **理由。** 同一抽象函數可由不同載體承擔，而物理身份與外部作用具有額外屬性；某些觀察投影會遺漏這些差異。 $\square$ **不可推出。** 模擬世界沒有真實的計算存在；模擬對現實不產生任何因果或制度效果。 ## 命題 C06-P11（M）：跨版本功能相同不代表所有語義不變量被保留 **前提。** 新版系統保留舊版的某項輸入—輸出函數 $f$，但存在包含世界身份、歷史、授權或時間排序的其他合法觀察 $q$，且新版未提供保真證明。 **命題。** 只憑 $f$ 相同，不能推出兩版本在完整契約下等價。 **構造。** 新舊系統都返回數值 $42$，但新版把不同世界的 `world_id` 混淆，或刪除了不可逆操作的授權歷史。數值輸出相同而世界語義不同。 $\square$ **不可推出。** 任何版本改動都不合法；所有新版本必須逐字保留所有舊有內部狀態。 ## 命題 C06-P12（M）：異構吸納與元計算路由不自動增添新可計算函數 **前提。** 一個異構生態新增的全部機理，其外部合法觀察函數皆可由原有通用計算模型有效模擬；新增資源只改變實作、成本或接口，不加入未定義神諭。 **命題。** 該擴張可以增加有效工作負載覆蓋、速度或可部署性，而不必擴張該模型可計算函數的集合。 **論證。** 新函數既已按前提為原模型有效可計算，故其加入不強制擴張抽象函數類；但原模型在有限成本下未必原先能實用地完成，故資源及適用性仍可能顯著改善。 $\square$ **不可推出。** 未知物理不可能帶來計算理論需要新討論的現象；加速器永遠沒有實質增益。 ## 11.13 十二項命題的共同限制 以上均屬附條件的模型結果。它們**沒有**證明所有物理設備可由單一 VN-1 模擬，沒有建立某個物理新機理必然可製備，也沒有證明所有計算機最終必然收斂成同一種載體。這些命題的用途在於限定推論合法性：**支持經典計算開放演化的空間，同時阻止將此空間偷換成物理全能。** # 12. 十二個反模型：防止「普適」「新型」「原生」「取代」被過度使用 ## CM-01：固定容量的通用程式機 **構造。** 一台固定記憶容量設備執行可編譯通用語言，但任務要求超過其目前可用記憶的中間狀態。 **反駁。** 「語言具有通用性，所以實體裝置對所有問題當下可用。」 **保留。** 形式模型仍可在擴張資源族下討論無界可計算性。 ## CM-02：可模擬但速度較慢 **構造。** CPU 模擬大規模並行算子可得正確輸出，但在指定吞吐目標下成本高於另一種適配設備。 **反駁。** 「可模擬表示該模擬必然最優。」 **保留。** 經典系統仍可作規格權威、回退或測試參照。 ## CM-03：原生裝置校準成本過高 **構造。** 某物理動力直接完成核心子操作，但每次需高昂狀態準備與讀出成本。 **反駁。** 「物理原生必然較快或較省。」 **保留。** 不排除其於長批次、不同尺寸或其他任務上更有價值。 ## CM-04：有限二進位投影遺失任務差異 **構造。** 兩個連續態落在同一量化區間，但任務恰需區分兩者。 **反駁。** 「有限編碼對一切觀察無損。」 **保留。** 不代表任何有限編碼都無法滿足其他任務。 ## CM-05：不同物理後端，同一語義 **構造。** 同一四態代數由 CPU bitmask 與另一種合法後端分別實現，其高階驗證結果一致。 **反駁。** 「高階語義只能由對應數值的物理元件承載。」 **保留。** 原生多值裝置仍可能在特定成本面有優勢。 ## CM-06：新增外部服務，權限仍遭拒 **構造。** 主系統讀得外部設備 API 的規格，但缺少實際致動權限。 **反駁。** 「能尋址就等於具有完整操作權。」 **保留。** 許可權限受控時仍可形成合法且有用的部分計算能力。 ## CM-07：新加速器使預設選路變差 **構造。** 路由器因新裝置宣傳的理論峰值而改派小型工作負載，卻忽略傳輸與啟動成本。 **反駁。** 「吸納新能力必然提高系統運作效用。」 **保留。** 可以藉 profiling、保守 Gate 與 fallback 修復路由選擇。 ## CM-08：假量子「原生」宣稱 **構造。** 一台經典計算機以樸素狀態向量模擬某量子電路，輸出與該電路理論分布相符；研究者卻聲稱經典裝置因此物理地維持相同量子糾纏。 **反駁。** 「量子分布模擬＝相同量子物理載體。」 **保留。** 經典模擬仍可對量子算法檢查和設計提供高度價值。 ## CM-09：外部世界不接受模擬提交 **構造。** 模擬機器人已到達目標座標，但外部物理機器因障礙或授權拒絕而未移動。 **反駁。** 「模擬世界完成＝外部世界已完成。」 **保留。** 模擬可作為行動規劃、測試或安全評估依據。 ## CM-10：局部最快與全域最優不一致 **構造。** CPU/GPU 各自對不同節點有局部速度優勢，但跨設備轉換耗費更高，致使局部最優組合總成本高於單後端方案。 **反駁。** 「每一節點選最快後端，整體一定最快。」 **保留。** 混合計算仍可能在其他任務規模或傳輸結構下最佳。[I-14] ## CM-11：抽象可計算相同，資源實用性不同 **構造。** 兩個系統可計算相同函數族，但其記憶訪問、能源或量測成本在某任務差異巨大。 **反駁。** 「可計算能力等價，所以新計算機制沒有研究價值。」 **保留。** 普適性和任務成本本來就是不同座標。 ## CM-12：自我修改破壞舊語義 **構造。** 系統自動生成新 Runtime，原先帶世界身份的審計事件被縮成無來源數字，並且舊版本無法回退。 **反駁。** 「可自我改寫就必然往更高階演化。」 **保留。** 自我修改可成為強大改善手段，但需要版本橋、回歸測試、可拒絕與人工或獨立驗證 Gate。 # 13. 七組思維實驗：打開上下界，不把未驗證的願景寫成工程成果 ## TE-01：1945 年框圖與 2026 年計算生態 **設置。** 兩種描述同時用於研究。描述 A 只包含中央處理器、記憶體及 I/O；描述 B 包含多核、GPU、VM、編譯器、資料庫、外部加速器和遠端服務。 **問題。** 二者的系統型別是否相同？若不相同，哪個部分只是底層架構延續，哪個部分構成可定址能力域的新集合？ **檢查。** 使用 Series B 十維分類逐項記錄狀態、機理、接口與資源，不能讓「VN」一個詞替代整份表格。 **預期學術意義。** 說明歷史型別、系譜與當代系統不能混為同一個不可變標籤。 ## TE-02：同一相位語義的兩條實現路線 **設置。** 將同一有限規格的相位同步問題，交給一個經典數值解算器及一個假設可控的實體振盪器網路。 **必要條件。** 相同輸入域、相同觀察量、指定誤差和停止條件；計入編碼、設備準備、動態演化、讀出、再試驗及驗證成本。 **候選結果。** 數位版本在可重播性與控制方面較好；物理版本在某子操作的延遲或能量方面較好；或兩者均不能滿足規格。三者都屬合理研究結果，不能事前宣布原生勝利。 **狀態。** `THOUGHT_EXPERIMENT / NOT_RUN`。 ## TE-03：0—1 作為無界可展開接口 **設置。** 以固定有限輸入字母表，經一個可擴張程式環境生成任意長度有限字串，並增加可尋址的函式庫與外部資料。 **問題。** 「無限」是在字母值域、可能程序集合、可達資源族或真實物理狀態數量中的哪一層？ **必要對照。** 固定容量、固定期限的機器必須另列為子案例，不能拿理想模型聯集直接代入當前設備。 **可得結果。** 對抽象資源族能構造開放輸出；對特定實體設備需報告有限上界和可觀察輸出範圍。 ## TE-04：只接入一台 QPU，主系統是否已「變成量子計算機」？ **設置。** CPU 程序可呼叫一個遠端 QPU 接口並取得測量結果，另有一個純經典量子電路模擬後端。 **研究問題。** 兩條路線何者具量子物理資源、何者只是行為模擬？CPU 主系統究竟吸納了什麼能力？如何核查真正提交到 QPU、量測回傳、失敗重試及成本？ **判準。** 以執行者身份、物理設備證據、具條件的觀察契約及端到端路由計費分別裁決，不宣稱 CPU 取得量子微觀身份。 ## TE-05：新程式語義是創新還是接口重排？ **設置。** 提出一種舊版指令集不具備的高階圖算子。對照三條方案：由既有經典原語組合、由外部服務執行、由新的可程式化物理後端直接實現。 **研究問題。** 在哪一個已明確指定的運算閉包、資源、誤差與觀察規格下，它才構成相對新原語？ **否證條件。** 若已有組合能在相同語義、相同資源作用域實現，不能只憑新名字宣稱新計算類別；若新後端的物理自由度不可準備／讀出，也不能只憑模型圖宣稱原生完成。 **附註。** 這是與 C-03 理論的思維連接，不是 ADEL 重啟授權。 ## TE-06：具身的多世界元計算機 **設置。** 同一個計算控制域維持世界 $W_1$ （模擬）、 $W_2$ （持久社會系統）與外部物理設備 $P$。某 Agent 提出從 $W_1$ 實驗結果直接改變 $P$。 **研究問題。** 哪條橋具備操作權限？跨域事件如何保留時間、來源與身份？模擬值若與感測器讀回矛盾，誰有世界權威？ **必要規則。** `simulation_pass` 不等於 `physical_commit_pass`。若沒有外部授權、可逆策略及量測讀回，應標記 `PROPOSED_ONLY` 或 `REJECTED_BY_AUTHORITY`。 ## TE-07：更極端的機器 X **設置。** 假設未來存在一種能主動選擇、重構其部分物理計算拓撲、內生程式語義及觀察通道的系統，並可參與多個具有自身歷史的計算世界。 **開放問題。** 這種系統是否能使某些當代架構不可原生實現的語義變成可控制的計算原語？是否會發現無法用既有符號分類完整描述的新物理自由度？ **下界。** 即使在這個想像中，仍必須交代所謂「發生計算」的狀態差異、可控制條件、可觀測結果與因果責任。 **上界。** 不預先規定終極可達的世界數、存在參與形式或計算機理集合，但**不將開放上界當成已證實的物理存在**。 **邊界。** 此實驗不是對宇宙具有任意修改權的實體宣告，也不是計算複雜度不可判定性已被解除的證據。 # 14. 十二項可檢查的研究 Gate：把比較限制在真實主張的作用域 本節是**後續研究測試規格提案**，沒有聲稱已執行任何所列實機、跨模型或量子實驗。每個 Gate 有明確輸入、合格條件與失敗語義。`NOT_RUN` 不等於 `PASS`；`UNKNOWN` 不等於 `FAIL`；已有軟體自測不等於外部新載體的物理實證。 | Gate | 研究主張 | 最低可檢查要求 | 不通過時的合法結果 | |---|---|---|---| | **G01 VN typing** | 馮紐曼分類無混用 | VN-1／VN-2／VN-3 語義與作用域明示 | `TYPE_AMBIGUOUS` | | **G02 Universality** | 普適性主張明確 | U1／U2／U3／U4 分型，附假設 | `SCOPE_UNSPECIFIED` | | **G03 Resource bound** | 「無限」敘述可理解 | 指明固定機器或開放資源族 | `UNBOUNDED_CLAIM_UNSUPPORTED` | | **G04 Simulation** | 有效模擬成立 | 輸入域、地平線、觀察、誤差、實現證據 | `SIMULATION_NOT_ESTABLISHED` | | **G05 Physical identity** | 模擬不偷換物理同一 | 物理載體、實現機理及身份分開 | `PHYSICAL_IDENTITY_UNSUPPORTED` | | **G06 Native support** | 原生性聲稱有型別 | 語義／編譯／物理／世界原生明示 | `NATIVITY_AMBIGUOUS` | | **G07 Capability attach** | 外部能力被合法吸納 | 版本、輸入輸出型別、可用權限、回傳證據 | `ATTACH_NOT_VERIFIED` | | **G08 Full cost** | 比較具共同基準 | 核心計算、搬移、準備、驗證、維護成本明確 | `COST_INCOMPARABLE` | | **G09 Conservative fallback** | 舊能力未被靜默丟棄 | 舊路由仍可選，回歸與 fallback 證據 | `NONCONSERVATIVE_CHANGE` | | **G10 Semantic bridge** | 語義變更可追溯 | 新舊版本及重要不變量明示 | `SEMANTIC_BRIDGE_MISSING` | | **G11 World authority** | 世界作用合法 | proposal、授權、提交及外部讀回分離 | `WORLD_COMMIT_UNVERIFIED` | | **G12 Evidence closure** | 結果可審查 | 來源、實驗版本、失敗、尚未知記錄完整 | `EVIDENCE_INCOMPLETE` | ## 14.1 Gate 是針對聲明，而非所有系統皆須一次取得滿分 一篇純抽象模擬研究可以不操作外部世界，因此 `G11` 為 `NOT_APPLICABLE`；一個已知數位後端可能只需驗證軟體語義，而不必證明不存在的光子元件已被量測。門檻應隨主張強度設定，避免將「沒有做不需要的測試」當成失敗。 反過來，若論文主張「某材料已經原生承載新的運算語義」，就不能以普通軟體測試取代物理校準與量測 Gate。 ## 14.2 一份非執行的研究紀錄 schema ```yaml series_c06_claim: claim_id: "C06-sample-001" status: "HYPOTHESIS" # MODEL_INTERNAL | TESTED | UNKNOWN | NOT_RUN | FAIL terminology: vn_scope: "VN-2" universality: "U3" assimilation: "typed_external_capability" task: id: "example-phase-dynamics" input_domain: "bounded" observable_contract: "defined in a separate versioned spec" horizon: "finite" tolerance: "explicit" realization: reference_backend: "classical-simulator" candidate_backend: "hypothetical-physical-device" physical_witness: "NOT_RUN" semantic_bridge: "PROPOSED" cost: core_compute: "UNMEASURED" input_output: "UNMEASURED" calibration: "UNMEASURED" evidence: "UNMEASURED" governance: external_world_actuation: false authorization: "NOT_APPLICABLE" commit_status: "NONE" audit: source_revision: "versioned" failures_retained: true overall_result: "RESEARCH_ONLY" ``` 此紀錄的意義是防止 `RESEARCH_ONLY` 被改名為已實現。它不意味任何真實硬體驗收已發生，也不要求現有專案立即採納此格式。 # 15. 局部語義修補正式規格：哪裡應留、哪裡應改 本篇有意將「前置修補建議」提升為**可以獨立引用的論文內規格**，但不將舊論文全部評為錯誤。修補首先要回答：原作者的意圖是否已由原稿正確承載？有無純粹由詞語、比較尺度與來源不足造成的誤讀？ ## 15.1 Series B-01：母分類主張原則上保留 **原稿：**〈計算機不是一種機器：載體、狀態空間與算子的統一型別系統〉，第 25–28 節。[I-01] **已充分建立的內容：** - 三種 VN 用法的區分； - 通用可描述性不等於原生最優性； - 計算機可透過可定址接口包含／調用其他計算機的能力； - 分類不是單棵互斥種類樹。 **建議可選附註：** > 本篇 VN-2 是對現代通用可程式化計算生態的廣義歷史系譜稱法，不表示所有經由 CPU 調度的 GPU、QPU、外部設備都在狹義硬體型別上屬於 VN-1。VN-3 則為抽象的組合與定址原理，可由不同物理和計算架構實現。 **修補性質：** `CLARIFICATION_ONLY`。不需改動十維母型別及既有形式符號。 ## 15.2 Series B-06：保留 0—無限底空間—1 的開放研究方向 **原稿：**〈0—無限底空間—1：離散基底、連續極限與可組合計算宇宙〉，第 23–29、53–58 節。[I-03] **已正確保留的內容：** - 二進位是接口，不等於所有內部狀態都只有二值； - 通用可表示、可計算、可模擬與物理實現普適分開； - 可模擬性不代表對其他載體的原生優勢； - 連續、離散、混合與不同機理可以並存。 **建議可選附註：** > 本文之「無限」首先表示隨資源、定址範圍與歷史可繼續展開的理論能力家族；該聯集若要被證成無界，仍需提供明確的建構而非僅憑符號。它既不表示固定設備當下擁有無窮記憶，也不宣稱可對任意未知物理機制進行無損、高效且原生的模擬。 **修補性質：** `BOUNDARY_ADDITION`。原有四種普適性不必重編號。 ## 15.3 〈四態不必取代馮・諾依曼架構〉：保留為直接反證來源 **原稿：**〈四態不必取代馮・諾依曼架構：從抽象資料型別到軟體推理層〉。[I-04] 該稿已明確指出，儲存程式架構不限制高階語義只能是二值命題，四態可由現有 ISA、IR、Runtime、CPU、GPU 等不同層承載。它同時承認後續物理原生實現可能有獨特的價值。 **修補性質：** `KEEP_AS_EVIDENCE_OF_PRIOR_POSITION`。不需創造與原稿相反的「修正立場」。 ## 15.4 〈相位計算機理論〉：補上分類不是先進性排名 **原稿：**〈相位計算機理論 v0.1：相位本體、馮諾依曼模擬、非馮諾依曼原生與元機理選擇〉，第 4.2–4.4 節。[I-05] **可能誤讀：** 「模擬型」與「原生型」易被看成前者較低等、後者必然較先進。 **可直接補入的澄清：** > 本分類只標示特定相位語義與計算物理載體之間的實現關係。馮紐曼模擬型、非馮紐曼原生型及混合型並非普遍價值排名；應根據任務、精度、資料搬移、可校準性、驗證和端到端成本選擇。 **修補性質：** `LOCAL_SEMANTIC_SCOPE`。不改變五大母類的既有研究用途。 ## 15.5 〈從平帶到深度〉：修補三種可能的強度錯位 **原稿：**〈從平帶到深度：圖靈機理論的補完、馮諾依曼架構的演化方向、與計算的本體論地基〉。[I-06] **第一種錯位：把研究框架內的透明度視作全域實測物理等級。** 若 $\varepsilon_{\mathrm{opacity}}$ 是某理論提出的「抽象介質遮蔽程度」，便應附帶觀察契約、資源與任務。不能未經量測便把 TM、VN、CXL、量子與理想本體 $T$ 排成普遍嚴格全序。建議將類似： $$ \varepsilon_{\mathrm{TM}}>\varepsilon_{\mathrm{VN}}>\varepsilon_{\mathrm{CXL}}>\varepsilon_{\mathrm{QPU}}>0 $$ 的總排序，降級為：**某指定理論框架及觀察指標下的候選對照圖**，而非全工作負載、全測量條件都成立的物理定理。 **第二種錯位：把固定轉移表的圖靈機當成不能有效模擬自修改程式。** 在標準定義中，給定單一圖靈機時其轉移規則是固定的；但一部通用圖靈機可以將「被模擬程式的描述」當作資料，再有效模擬修改該描述後的執行。故比較時應區分： - 某模型是否**把自修改作為原生系統機制**； - 某通用模型是否**能夠有效表示和模擬**自修改行為。 前者不含並不意味後者做不到，也不因此推翻標準可計算性結果。 **第三種錯位：將多核心、CXL 與量子描述為單一「消除限制」歷史序列。** 多核心提高同時執行能力，CXL 等互連技術可以改善部分記憶體共享與設備協作，量子系統在特定任務中引入不同狀態與算子；它們的能力與工程限制不共享同一個可自然排序的純量座標。適宜使用**向量化比較與適用域**，保留原稿想研究的「透明性」思想實驗，降低過強歷史比較的確定性。 **建議可直接補入的段落：** > 本文之深度與透明度光譜屬於可供比較的理論性座標，並不是跨所有工作負載已經量測完成的單一先進性排序。圖靈機原生語法與通用圖靈機的可模擬能力應分開；馮紐曼架構在儲存程式與工程自反性上的貢獻，是對特定計算組織的擴充，不是對可計算函數類別的超越定理。多核心、記憶體互連、量子及異構計算可以在不同條件下互補，不必依歷史年代形成普遍的等級階梯。 **修補性質：** `REPLACE_OVERSTRONG_CLAIMS_WITH_INDEXED_HYPOTHESES`。保留原稿形上學極限作為未證實研究方向。 ## 15.6 〈從光子晶格到差—合—化物理計算機〉：改正「馮紐曼降維」的指涉 **原稿：**〈從光子晶格到差—合—化物理計算機：一種網路耦合、自循環與混合架構的可證偽研究綱領〉，第 9 節。[I-07] **原有標題：**「馮・諾依曼降維是可行的，但可能浪費能力」。 **建議標題：**「高維物理狀態的有限精度數位投影：可模擬性、資訊損失與原生機理的任務權衡」。 **具體理由：** 若採用特定 $\pi:\mathbb R^D\to\{0,1\}^m$，在未附側資訊與固定有限 $m$ 的情況下，可能將可辨識的不同連續態投影成相同符號；這是一個**量化與選定觀察解析度的效果**，不應直接叫作某歷史匯流排架構的錯誤。 **可直接補入的段落：** > 在本文的光子晶格候選中，以固定有限精度數位表示或投影高維狀態，可能使某些可區分的物理自由度無法由解碼器完整重建；但資訊損失的充分條件來自指定量化／投影映射與待保留的觀察任務，並非儲存程式計算架構本身。若任務只需觀察該投影能保留的差異，數位方案可能足夠且易於驗證。真正應比較的是原生物理動力、通用模擬及混合接口在相同契約下的成本與可驗證性。 **修補性質：** `TERMINOLOGY_CORRECTION`。原稿的混合數位控制與物理動力設計應保留。 ## 15.7 對所有 Series C 新寫作的統一附註 在任何會讓讀者誤認為「只有打敗或取代馮紐曼才算進步」的段落，可加入： > 本研究不把馮・諾依曼架構視為負面教材，也不將現代通用可程式化計算生態簡化為 1940 年代的固定硬體框圖。有限符號、可定址性、儲存程式與可組合變換構成開放計算的重要基礎；它們可以透過程式、記憶體、異構加速器、服務、遠端設備與持續修訂的語義，逐步擴大有效可用計算域。這種擴張不要求全部計算機制都屬狹義馮紐曼硬體，也不蘊涵一台有限設備擁有真正無限資源、可零成本精確模擬任意物理世界，或在所有任務上原生最優。研究關心的是可證明的模擬、吸納、混合和共同演化，而不是單線替代。 這段聲明可以作為 C-06 正式論文中被引用的**統一語義政策**，不要求原有每篇論文都整份重寫。 # 16. 與外部學術與現有技術的對照：本篇並非宣稱首次提出異構計算 ## 16.1 電腦史：儲存程式不是某一公司的技術品項 Computer History Museum 的歷史資料回顧 1945 年 EDVAC 報告與儲存程式架構的傳播。[E-01] 本篇只以此確認歷史來源；它不把「馮紐曼」當成單一個人獨占所有早期計算機技術貢獻的判斷。 ## 16.2 計算哲學：有效計算與物理模擬普適需分開 *Stanford Encyclopedia of Philosophy* 對 Church–Turing thesis 的整理特別指出，原始論題與後來各種「物理版」命題不是同一件事。[E-02] 本篇的 U2／U3／U4 分離，與這項既有學術區分保持一致；本篇並未證明一條新的物理 Church–Turing 論題。 ## 16.3 物理計算：表示關係與實作見證已有學術先例 Horsman、Stepney、Wagner 與 Kendon（2014）提出以物理與抽象計算的表示關係來研究「物理系統何時正在計算」；Horsman（2015）進一步處理異構與混合物理計算。[E-03][E-07] 因此 C-01／C-02 與本篇採用的「編碼—轉移—讀出—觀察」研究方向有明確學術鄰近脈絡。 本篇不能宣稱第一次提出「物理計算需建立抽象與實在的映射」。較有辨識度的地方在於**重新對齊使用者自己的 VN 三層分類、0—1 開放展開、元計算路由、帶版本語義與多世界權威**，而不是搶占外部研究的發明權。 ## 16.4 CUDA：異構計算是現實，不是未來想像 NVIDIA 的 CUDA Programming Guide 將 CPU／GPU 的 host/device 協作列為異構計算的基本模型。[E-04] 這足以作為「經典可程式化生態可以合法協調其他特化計算單元」的工程例子，卻不代表通用 CPU 必然可原生執行 GPU 的每一種物理微架構機理。 ## 16.5 RISC-V：ISA、實現技術與擴展可以分開 RISC-V 官方 ISA 文件區分精簡基礎 ISA、標準或自定義擴展，以及微架構實現途徑。[E-05] 它說明一種程式可見的指令接口不必綁死成單一實體結構。本篇藉此強化「高階語義／ISA／微架構／實際載體不應被壓成一個概念」的主張。 ## 16.6 MLIR：高階表示與多後端共存早已是成熟研究 Lattner 等人的 MLIR 工作處理跨表示層與異構硬體的編譯基礎設施。[E-06] 它提醒我們，從高階語義降低到多種機器並非新的獨家發現。 Series C 可進一步研究的，是當高階語義及世界契約本身**允許修訂**，甚至參與新的物理載體共同設計時，應如何保存版本橋、測量與權威證據。這是一個延伸研究問題，而不是已被本篇證明優於 MLIR 的成果。 ## 16.7 競爭路線不等於否定路線 外部研究可以持續改良專用物理算子，也可以持續優化通用 CPU、編譯器、記憶體與混合 Runtime。任何一條路的成果，都可能改變另一條路的最佳適用域，甚至讓兩條路有新的共同構造。對此，最穩定的研究語言應是： $$ \boxed{\text{Representational Reach}\times\text{Mechanism Fit}\times\text{Physical Realizability}\times\text{Resource Bound}\times\text{Evidence}.} $$ 此處 $\times$ 只是分析維度的示意乘積，而非已校準的單一效能方程。 # 17. 自我批判與未解問題 ## 17.1 三層 VN 是研究用的語義分類，不是通行國際命名 VN-1／2／3 與「0—無限底空間—1」是 Neo.K 原有研究中的分類與概念接口。讀者不應被誤導，以為這些標記已在主流計算機教材中形成標準共識。若要把它們帶入跨學術研究，需要提供對照標準術語的表格和明確的實例界線。 ## 17.2 「吸納」的優勢仍缺少廣泛實證 可設計一條帶型別的 `Attach` 接口，不代表它一定降低延遲、提高可靠性或降低維護成本。若要宣稱吸納對某類工作負載有普遍改善，至少需多後端基準、失效測試、切換成本、重現性及不同尺度的比較。 ## 17.3 無界資源族有時只是一個數學理想化 理想化的可擴張資源索引並非現實文明可以任意獲取無窮資源的保證。有限宇宙、熱力學、能源、製造、通信延遲、測量與資訊容量，都可能對物理系統形成有效限制。當前研究沒有證明宇宙是否允許任意無界的物理計算資源。 ## 17.4 比較框架可能過度依賴既有可觀察量 若某新物理系統包含目前無法穩定測量或命名的狀態差異，僅依現有任務 $Q$ 評估，可能看不見它真正具有的獨特能力。另一方面，若完全放棄可觀察和可否證條件，就無法確認它是否是一部計算機。如何在開放物理可能性與有限觀察契約之間維持研究張力，是 Series C 尚未解決的問題。 ## 17.5 通用可模擬性與非有效物理過程之間仍有哲學邊界 物理法則是否都具有某種有效可逼近描述，不是圖靈—邱奇論題自動回答的問題。對尚未知曉的宇宙本體做全稱肯定，超出本篇證據。相反，不能因現有數值模型無法有效表示某現象，就宣稱已發現超圖靈物理計算機。 ## 17.6 「更高維的存在可能性」不是架構績效數字 多世界參與、可生成程式語義、反身調用計算機制，可能讓一種存在方式擁有新的可展開可能性；這是有研究價值的極限參照。但如果它尚無有效任務、比較域及測量，就應保留為本體論思維實驗，不能宣稱已經比某種現有計算機高出固定等級。 ## 17.7 經典與新型計算機制仍可能互相改變 未來若能夠直接操控材料拓撲作為程式輸入，可能出現新的物理原語；經典編譯器也可能以新方式表示、組合、驗證這些原語。這種共同設計可能讓舊分類某些軸需要更新；但修訂應由新證據和新反例驅動，而非因想像出新的計算機名稱便增加母型別維度。 ## 17.8 不應由形式模型導出組織權力 可調用一台遠端設備，不表示已取得改造設備的全部權力；可以模擬他者的行為，不表示可無條件控制他者；具有多世界 Runtime，不表示可以任意取消其他世界的歷史和主體。這些從 C-04／C-05 延伸而來的治理限制，不是形式演算可替現實當事者簽署的許可證。 # 18. Series C 六篇的正式研究位置 | 篇次 | 主要問題 | 理論貢獻 | 不能宣稱的事項 | |---|---|---|---| | C-01 | 如何在不同載體實現同一語義？ | 跨載體見證、共構分級及版本橋 | 已建成所有載體的通用編譯器 | | C-02 | 物理自由度如何成為有效原語？ | 編碼、準備、算子、測量及讀出資格 | 複雜物理動力必然可編程 | | C-03 | 定義、反定義與算子如何合法修訂？ | 相對閉包、新奇判準、版本與反例 | ADEL 新原語已經驗證成功 | | C-04 | 計算世界與物理世界如何共同演化？ | 世界身份、歷史、具身與權威橋 | 模擬世界就是外部物理世界 | | C-05 | 誰選路、組合、拒絕及驗證？ | 帶證據的元計算選擇與世界級 Gate | 已建成萬能元計算機 | | **C-06** | **馮紐曼與新計算機制是否必須是替代關係？** | **模擬普適分層、資源族、能力吸納、非破壞性語義修補** | **固定有限機器已具備無限物理模擬能力** | ## 18.1 六篇不是從低等到高等的階梯 六篇的差異是**研究對象與責任面**，不是一本書每往後翻一章，世界的計算機就升高一個物理階級。C-06 反而回到最初的分類學和可程式化傳統，檢查整個研究的語義前提是否被正確保留。 ## 18.2 Series B 與 24／72 範式的地位不變 Series B 仍處理十維計算機型別；24／72 描述觀察語境中的局部計算事件；PCMT、GIPE 與 Runtime 處理機理、認識角色、資源、驗證及路由。C-06 的四種普適性及吸納軸是**橫跨這些層的分析註記**，不把其變成第十一項母型別，也不把它乘進 72 格而自行宣稱出現更多既成物理範式。 ## 18.3 本篇與既有元計算機研究的真正分工 原先〈元計算機：ASI 如何選擇、組合與切換計算機理〉建立了一種選擇與重構的控制問題；C-05 又將它接入世界權威、語義版本及實現證據。C-06 回過頭確保**經典可程式化生態本身可以是持續演化的吸納主體**，而不必假設存在一台在所有任務上最優、具有新物理或唯一終極形式的設備。 ## 18.4 研究下界與上界共存 下界是每一項實現必須回應的契約、成本、控制、觀察、證據與授權條件；上界是未來是否可以出現更多可原生表達的物理自由度、不同世界參與方式及計算機理共同演化。二者不是互相妥協，而是同一研究能同時保持誠實與開放的必要結構。 # 19. 結論：開放計算不是不斷淘汰，而是持續改變「哪些計算可被共同實現」 如果只使用 1940 年代的硬體框圖描述今日可程式化計算，將忽略編譯器、虛擬化、並行、加速器、分散式服務與多種物理後端所形成的複合能力。若以此靜態形象作為「舊計算機」，再把所有不同物理機理寫成「新計算機」，研究容易誤入一條單向替代的假序列。 然而另一個極端同樣需要拒絕：不能因為經典計算具有強大的符號模擬與通用組合能力，就把任意未知物理機制宣告為已能無損、高效、零成本模擬；也不能把一族可隨資源增加的理想化計算模型，誤當成某一有限時空中的實體裝置擁有無窮能力。 本篇對兩者提出共同的研究立場： $$ \boxed{\text{Open-ended programmable computation}\not\equiv\text{a frozen 1945 hardware diagram},} $$ $$ \boxed{\text{Simulation universality}\not\equiv\text{unrestricted physical realization},} $$ 且： $$ \boxed{\text{Simulation}\,+\,\text{Assimilation}\,+\,\text{Native Realization}\,+\,\text{Semantic Co-Construction}\,+\,\text{Verification}} $$ 應被理解為可並存、可比較、可重組的研究方向，而非按先進等級順序排隊的歷史標籤。此處加號是並列與可組合可能性的符號，不表示已證明有單一封閉加法或全部機理可無條件互相接合。 對馮・諾依曼傳統，最值得保留的不是任何一條匯流排的永久優越性，而是它所開啟的通用可程式化、可定址、可反身、可模擬與可組合能力；這些能力可以與未來物理原生計算相互作用、吸納與共同演化。對新型計算機制，最值得保留的則是：它們可能真正提供既有載體無法**原生**承擔、或難以在可接受成本下承擔的操作關係，而無須先證明經典可程式化計算已失去意義。 因此，Series C-06 的正式總命題是： > **馮・諾依曼計算的開放演化，不是從舊機器朝新機器被動退場，而是通用可程式化計算生態，在有限實際資源與持續擴展的理論能力域之間，透過模擬、吸納、異構協作與物理—語義共構，不斷重塑可被表達、可被實現、可被驗證的計算關係。** 這是一條研究立場與可反駁的分類／實現框架，不是關於宇宙終極計算本體的已證定理。它也使 C-06 成為 Series C 前五篇之後，一篇必要但不要求推倒重寫既有研究的正式補論。 --- # 20. 文獻、原稿血統與研究證據帳本 以下來源分為 EveMissLab 舊研究（I）和外部學術／官方技術資料（E）。原稿中的理論主張、本文新提出的定義與外部學術事實不應因同列一份文獻表而相互冒充。文件連結只作來源追溯，不表示外部作者已獨立驗證 C-06 模型。 ## A. EveMissLab／Neo.K 原始研究（I） - **[I-01]** Neo.K × GPT-5.6 Sol，〈計算機不是一種機器：載體、狀態空間與算子的統一型別系統〉，Series B-01，2026-09-17。重點：VN-1／VN-2／VN-3、十維母型別及可組合計算。 - **[I-02]** Neo.K × GPT-5.6 Sol，〈載體不是機理：電子、光子、量子、生物與相位計算的正交分類〉，Series B-02，2026-09-17。重點：四大正交坐標、原生與模擬及混合計算。 - **[I-03]** Neo.K × GPT-5.6 Sol，〈0—無限底空間—1：離散基底、連續極限與可組合計算宇宙〉，Series B-06，2026-09-17。重點：可定址、組合及四種普適性。 - **[I-04]** Neo.K，〈四態不必取代馮・諾依曼架構：從抽象資料型別到軟體推理層〉，2026。重點：既有數位硬體可承載高階四態語義，原生硬體另有比較條件。 - **[I-05]** Neo.K × GPT-5.6 Thinking，〈相位計算機理論 v0.1：相位本體、馮諾依曼模擬、非馮諾依曼原生與元機理選擇〉，2026-07-25。重點：五類實現與元機理選擇。 - **[I-06]** Neo.K，〈從平帶到深度：圖靈機理論的補完、馮諾依曼架構的演化方向、與計算的本體論地基〉，2026。重點：深度／透明性候選框架及需區分的強主張。 - **[I-07]** Neo.K，〈從光子晶格到差—合—化物理計算機：一種網路耦合、自循環與混合架構的可證偽研究綱領〉，2026。重點：原生物理動力、數位控制及固定精度投影歧義。 - **[I-08]** Neo.K × GPT-6，〈馮・諾依曼架構演化、模擬普適性與計算共構立場：局部語義澄清與修補建議〉，2026-10-27，原稿 `VN_架構演化模擬普適性與共構立場_局部語義修補建議_v0.1_2026-10-27.md`。本篇直接前置研究文件；未上傳回原有雲端舊稿。 - **[I-09]** Neo.K × GPT-5.6 Sol，〈從七十二格到全域計算 Runtime：PCMT、GIPE、路由與異構計算閉合〉，Computational Spine Closure-03，2026-09-17。重點：Series B × 72 × PCMT／GIPE／Runtime 的責任分層。 - **[I-10]** Neo.K × Aletheia／GPT-6，〈從統一計算機型別到物理—語義共構：跨載體實現、可組合模擬與語義保真的共同設計基礎〉，Series C-01，2026-10-27。`SeriesC_01_從統一計算機型別到物理語義共構_v1.0_2026-10-27.md`。 - **[I-11]** Neo.K × Aletheia／GPT-6，〈程式語義的物理實在化：自由度、狀態、算子、測量與實現見證〉，Series C-02，2026-10-27。`SeriesC_02_程式語義的物理實在化_自由度狀態算子與測量_v1.0_2026-10-27.md`。 - **[I-12]** Neo.K × Aletheia／GPT-6，〈定義、反定義與約束生成：可修訂算子域中的語義形成〉，Series C-03，2026-10-28。`SeriesC_03_定義反定義與約束生成_可修訂算子域中的語義形成_v1.0_2026-10-28.md`。 - **[I-13]** Neo.K × Aletheia／GPT-6，〈物理—數位世界共演化：計算存在、世界生成、具身作用與跨世界實現見證〉，Series C-04，2026-10-28。`SeriesC_04_物理數位世界共演化_計算存在世界生成與具身作用_v1.0_2026-10-28.md`。 - **[I-14]** Neo.K × Aletheia／GPT-6，〈元計算機與原生程式語義共設計：可驗證跨載體計算架構、機理路由與世界級證據閉合〉，Series C-05，2026-10-28。`SeriesC_05_元計算機與原生程式語義共設計_可驗證跨載體計算架構_v1.0_2026-10-28.md`。 - **[I-15]** Neo.K，〈元計算機：ASI 如何選擇、組合與切換計算機理〉，2026-09-22。重點：Task Signature、機理登錄、Compatibility Graph、Router 及可重構計算。 - **[I-16]** Neo.K × Aletheia，〈從 24／72 計算範式到 Runtime 路由：AI 如何選擇、組合與切換計算形態〉，2026-08-10。重點：Paradigm 不是 Backend、端到端路由及候選／提交分離。 ## B. 外部學術與官方技術來源（E） - **[E-01]** Computer History Museum, *Timeline of Computer History: Computers*, 1945 年 John von Neumann／EDVAC 段落（網頁於 2026-10-28 核對）。。用於儲存程式架構歷史定位，不直接支持 VN-3 命名。 - **[E-02]** Jack Copeland et al., *The Church–Turing Thesis*, *Stanford Encyclopedia of Philosophy*，2023 年修訂版（網頁於 2026-10-28 核對）。。用於有效可計算性論題和較強物理模擬假說的區別。 - **[E-03]** Horsman, C., Stepney, S., Wagner, R. C., & Kendon, V. (2014). “When does a physical system compute?” *Proceedings of the Royal Society A*, 470, 20140182. DOI: 10.1098/rspa.2014.0182。。用於物理計算與抽象表示關係的學術前例。 - **[E-04]** NVIDIA, *CUDA Programming Guide*, “Heterogeneous Systems”／host-device 模型（官方文件於 2026-10-28 核對）。。用於現代 CPU／GPU 異構協作的實務參照。 - **[E-05]** RISC-V International, *RISC-V Instruction Set Manual*, Unprivileged ISA Introduction（官方文件於 2026-10-28 核對）。。用於基礎 ISA、可選擴展與微架構實現的分離。 - **[E-06]** Lattner, C., Amini, M., Bondhugula, U., et al. (2021). “MLIR: Scaling Compiler Infrastructure for Domain Specific Computation.” *CGO 2021*. 。用於異構編譯、中介表示與可擴展共設計的既有成果。 - **[E-07]** Horsman, D. C. (2015). “Abstraction/Representation Theory for heterotic physical computing.” *Philosophical Transactions of the Royal Society A*, 373, 20140224. DOI: 10.1098/rsta.2014.0224。。用於混合與異質物理計算的表示理論對照。 ## C. 版本與未執行聲明 - 本篇為 **Series C-06 v1.0 正式 Markdown 研究原稿**；此前 C-01～C-05 的原始文件仍維持其成文時的版本與篇次。 - 本篇模型內的命題、反模型與思維實驗並非已執行的硬體性能測試。 - 未對 Google Drive 既有論文、GitHub 倉庫、物理實驗設備或 ADEL 封存狀態進行任何寫入、解封或部署。 - 若將本篇內容轉用至歷史原稿，應在各原稿所屬版本上建立對應的**局部修訂紀錄**，保留原文、修改原因及差異，不以大規模覆寫抹除研究歷程。 --- **Series C-06 · End of manuscript** **主要結論：模擬、吸納、原生與共構可以是共同進化的多條路，而非以馮紐曼架構作為必須被否定的起點。**