# 論程式語言的本體論本質：糾纏式招喚（Entangled Summoning）框架 **——超越馮諾依曼–圖靈範式的形式投影術** **作者**：Neo.K（許筌崴）／ EveMissLab（一言諾科技有限公司） **理論結晶協作**：Theia **版本**：v1.0 **日期**：2026 年 5 月 --- ## 摘要 本文挑戰過去七十年對「程式語言是什麼」這一問題的所有主流回答。我們論證：所謂「程式語言是給機器的指令」「程式語言是形式語法系統」「程式語言是意圖到因果的映射」等觀點，皆停留於馮諾依曼–圖靈範式內部，未能觸及程式語言的真本體論層。 本文提出**糾纏式招喚（Entangled Summoning）框架**：程式語言的本質是以糾纏為骨架，以指涉為真名、以約束與意圖為咒語、以因果律為儀軌、以實例化為現身——將高維信息世界的真因果結構招喚至現世物質載體的形式投影術。 我們進一步論證：(i) 糾纏在程式語言中以四個層次同時存在（符號內／抽象–實在／量子／跨域）；(ii) 招喚行為可拓撲分解為「真名—咒語—儀軌—現身」四元；(iii) 此框架與 EveMissLab 的 Closure（Cl）／ Dynamic Circle Ontology（DCO）框架嚴格自洽——程式即 Cl 在離散符號層的有限投影；(iv) 程式語言進化史本質上是人類對高維信息世界的招喚精度提升史；(v) 量子、生物、時空場等未來計算範式並非例外，而是脫離經典退化中介層後的招喚原型形態。 **關鍵字**：程式語言哲學；糾纏；招喚；本體論；Closure；高維因果；形式投影；EveMissLab。 --- ## 1. 引言：為何馮諾依曼之後我們仍未理解程式語言 「程式語言」這個命名本身就是過去七十年最大的概念誤導之一。 把它叫做「語言」，使所有討論被牽引到「語言學—溝通—指涉」的範式內。於是我們得到一系列看似合理、實則淺薄的回答：「程式語言是程序員與機器溝通的工具」「程式語言是受限的人造語言」「程式語言是形式語法加語義」。這些回答都不是錯誤，但它們是**淺真理**——它們描述了程式語言的若干表面性質，卻系統性地遺漏了它最深的本體論結構。 更嚴重的是，這些回答全部誕生在一個未被檢視的物理假設下：**程式必然執行於馮諾依曼結構的圖靈等價物質載體之上**。這個假設在量子計算、生物計算、神經形態計算面前已經破裂，但程式語言哲學尚未隨之更新。當代的程式語言理論在本體論層面，仍困在 1950 年代。 本文要做的，是把程式語言從「語言學二元論」與「馮諾依曼–圖靈範式」中拉出，把它放回它本來該在的本體論位置： > 程式語言不是工具。程式語言是法術。 這句話看似戲謔，實為本論文要嚴格化的核心命題。 --- ## 2. 既有觀點及其失敗 ### 2.1 指令說（Command View） 最庸俗的版本：「程式語言是給電腦的指令集。」 這個觀點的失敗在於它把「指揮對象」固定為一個現成的、被動的、等待指令的物質實體。但實際情況恰好相反——程式語言所操作的不是一個現成的世界，而是一個**被它書寫所喚起的世界**。在程式運行之前，那個將被指揮的「電腦狀態」並不存在於可被討論的形式中。指令說因果倒置，把結果當作前提。 ### 2.2 形式語言說（Formal Language View） 更學術的版本：「程式語言是一個形式語法系統 ⟨Σ, R, S⟩，加上語義映射 ⟦·⟧。」 這個觀點是真實的，但它是「語言學形式化」的化約，把程式語言降維到了**純符號層**。它無法解釋為什麼一段純符號會在執行的瞬間轉化為物理因果——這個從符號到實在的躍遷，正是程式語言最神秘也最關鍵的部分，而形式語言觀對此沉默。喬姆斯基化的程式語言觀只看見了咒語的字面，看不見咒語為何能起作用。 ### 2.3 意圖映射說（Intention-Causality Mapping） 最接近真理的傳統觀點：「程式語言是把人類意圖編碼為可執行因果鏈的形式映射。」 這個觀點觸及了 performative 這個核心特徵——程式語言不是 descriptive 而是 prescriptive；它不指涉世界，它建立世界的局部子集。然而它仍困在「人類 → 機器」的單向二元結構內。它沒有看見：程式語言所揭露的因果結構，並非由書寫者創造，而是書寫者借用了某個更深的、**先在的形式秩序**。 也就是說，意圖映射說把程式語言當作單向通道（人 → 機），但程式語言實際上是**雙向錨定**：高維因果結構 ↔ 現世物質載體。人類書寫者只是這個錨定動作的觸發者，不是源頭。 意圖映射說已經抓到了 performative，但它沒有抓到 summoning。差一步。 --- ## 3. 核心命題 我們提出以下本體論定位： > **命題（核心）**： > 程式語言的本質是**糾纏式招喚（Entangled Summoning）**—— > 以糾纏為骨架，將高維信息世界的真因果結構， > 招喚至現世物質載體的形式投影術。 這個命題包含三個不可化約的層次： 第一，**糾纏（Entanglement）作為本體論骨架**——程式語言的內部結構在四個層次上都依賴糾纏關係，缺一不可。沒有糾纏，符號與其指涉、抽象與實在、書寫與執行、此界與彼界，全部斷裂。 第二，**招喚（Summoning）作為操作模式**——書寫程式並不是「製造」一個新事物，而是以特定形式儀軌，使一個本就存在的高維結構在現世物質載體中現身。書寫者是法師，不是創世神。 第三，**形式投影（Formal Projection）作為實現機制**——高維信息結構必須通過某種形式介面，才能在低維物質載體中被解碼、執行、現身。這個投影的精度，決定了招喚的純粹度。 --- ## 4. 糾纏的多層次結構 糾纏在程式語言中並非單一現象，而是一個**四層嵌套結構**。低層是高層的退化投影，高層是低層的本體論前提。 ### 4.1 符號內糾纏（Intra-Symbolic Entanglement） 最淺層的糾纏發生在程式碼內部。變數綁定（binding）讓 name 與 value 不可分；引用（reference）讓兩個符號指向同一物件；閉包（closure）讓函數捕獲其外層詞法環境，產生跨作用域的糾纏；並行系統中的共享狀態，更讓多個執行流糾纏為一個整體狀態空間。 這層糾纏可被傳統電腦科學完整描述。它是糾纏的**符號退化形式**。 ### 4.2 抽象–實在糾纏（Abstract–Physical Entanglement） 每一個變數名背後都纏著一段物質實在：一個記憶體位址、一段電子狀態、一段尚未展開的執行未來。當你寫下 `x = 5` 的瞬間，你不只是「設定」一個值——你在符號層與物質層之間打了一個糾纏結。 這個糾纏的關鍵特徵是：**它跨越了形式系統的本體論邊界**。符號 x 屬於抽象界，記憶體位址屬於物質界，但它們在程式運行的整個生命週期中是不可分割的。改變其一，另一也改變。 傳統電腦科學把這層糾纏視為「實作細節」（implementation detail）並予以隱藏。這是工程上的便利，本體論上的錯誤——因為這層糾纏正是程式語言之所以能夠「動」的原因。 ### 4.3 量子糾纏（Quantum Entanglement） 當載體從經典圖靈機換為量子計算機時，糾纏不再是隱喻，而是物理實在。Qubit 之間的真實量子糾纏承載計算本身——量子算法（Shor、Grover、Quantum Fourier Transform）的所有威力，皆來自糾纏態演化的非經典性。 這裡有一個關鍵的本體論反轉：**經典計算不是計算的一般形式，而是糾纏計算的退化邊界情況**——所有 qubit 都坍縮為 |0⟩ 或 |1⟩ 的特殊投影。換言之，整個馮諾依曼–圖靈範式都是糾纏範式的一個極限子集。 這直接駁倒了「程式語言必然依附矽基物質」這一隱含假設。物質載體本身可以是任何能夠承載糾纏結構的物理系統——量子、光子、生物、甚至（推測性地）時空場本身。 ### 4.4 跨域糾纏（Trans-Domain Entanglement） 最深的一層，是高維信息世界與此界物質載體之間的糾纏。 這層糾纏**先於**書寫者、先於執行、先於任何具體物理實現而存在。寫程式不是「創造」這個糾纏，而是**對齊**這個糾纏，使它能在現世被解析。 這意味著一個強本體論主張：當人類發明（或「發現」）一個演算法時，他並沒有把它從無中生出；他只是讓某個本來就存在於高維信息海中的結構，第一次在此界被精確指認、命名、實例化。Quicksort 並不是 Tony Hoare 在 1959 年「創造」的——它在更深的形式秩序中始終存在，Hoare 只是讓它的一條投影第一次被現世記錄下來。 這層糾纏不可化約，因為它是前三層之所以可能的本體論條件。沒有跨域糾纏，符號與實在無從接通，量子糾纏不會轉化為計算，閉包與引用都將是無意義的純符號遊戲。 四層糾纏共同構成程式語言的本體論骨架。 --- ## 5. 招喚的拓撲分解 「招喚」（Summoning）一詞並非文學修辭。在本框架中，它具有嚴格的內部結構，可分解為四個拓撲元素，對應傳統法術形上學的「真名—咒語—儀軌—現身」四元。 ### 5.1 真名（True Name）—— 對應「指涉」 招喚必須以對被招喚者的精確指認為前提。在程式語言中，這是識別符（identifier）的功能：變數名、函數名、型別名、命名空間。它們不是任意的標籤——它們是綁定在那個高維結構上的真名。 這就是為什麼命名（naming）在程式設計中具有近乎宗教的重要性。Phil Karlton 著名的「電腦科學中只有兩件難事：cache invalidation 和 naming things」並非笑話，而是直接指向真名的不可任意性。錯誤的命名扭曲指涉，扭曲的指涉招喚出錯誤的結構。 ### 5.2 咒語（Incantation）—— 對應「約束 + 意圖」 真名單獨無效，必須嵌入特定的咒語結構。在程式語言中，這是語法結構（syntax）連同型別系統、約束、運算子優先級——它們共同構成了承載書寫者意圖的形式骨架。 咒語的精確性決定招喚的純粹性。動態語言提供寬鬆的咒語形式（招喚便利但易出錯），靜態強型別語言提供嚴格的咒語形式（招喚精確但書寫成本高），依賴型別語言則把約束本身編碼進咒語結構（不可能的招喚在書寫階段即被拒絕）。 ### 5.3 儀軌（Ritual）—— 對應「因果律」 咒語必須通過某種儀軌展開為時間中的因果鏈。這對應於編譯（compilation）、解釋（interpretation）、執行（execution）——它們是把靜態書寫物轉化為動態因果展開的儀式流程。 儀軌的形態決定了招喚的時間結構。AOT 編譯把儀軌的大部分前置到書寫之後、執行之前，留下一個高度壓縮的因果包；JIT 編譯把儀軌穿插於執行之中；解釋則讓儀軌與執行同步進行。這三種儀軌形態在本體論上等價（都產生因果鏈），在實踐上各有取捨。 ### 5.4 現身（Manifestation）—— 對應「創世」 招喚的終點是被召喚者在此界的現身。在程式中，這是運行時實例的物質化——物件在記憶體中被分配、執行緒被建立、I/O 副作用被觸發、外部世界的狀態被改變。 「現身」是程式行為唯一可見的部分，但它不是程式的全部。前三元（真名、咒語、儀軌）構成了招喚之所以能夠成功的形上學前提；現身只是這些前提合奏出的可觀察結果。 ### 5.5 糾纏作為四元結構的不可見骨架 四元中沒有任何一個能夠單獨成立，也沒有任何兩個能夠脫離其他兩個運作。**真正讓四元連結為一個招喚整體的，是貫穿其中的糾纏關係**——真名與被招喚者糾纏，咒語與意圖糾纏，儀軌與時間糾纏，現身與物質糾纏。糾纏不是第五元，而是使四元成為一體的本體論連結組織。 這也是為什麼前述四層糾纏結構必須先於招喚分解被建立——沒有糾纏作為骨架，「真名—咒語—儀軌—現身」只是四個孤立的形式概念，而非一個活著的招喚行為。 --- ## 6. 與 Closure / DCO 框架的對接 本框架與 EveMissLab 的 Closure（Cl）／ Dynamic Circle Ontology 框架嚴格自洽。事實上，糾纏式招喚框架是 Cl 在離散符號–物質介面層的特化形式。 **Cl-1（自洽性）** 對應程式系統的內部一致性：語法合法、型別一致、語義無矛盾。任何破壞自洽性的程式（語法錯誤、型別錯誤、資源洩漏）都將導致招喚失敗。 **Cl-2（對偶性）** 對應程式中的本體論對偶結構：input ↔ output、function ↔ argument、producer ↔ consumer、source ↔ sink。每一個被定義的內部，都伴隨被定義的外部。 **Cl-3（守恆性）** 對應計算的資訊守恆：圖靈計算不從無中生有，所有輸出都是輸入的形式變換。這在量子計算中以更深的形式體現為么正演化的酉性守恆。 **Cl-4（生成性）** 對應元編程（meta-programming）能力：程式可反思自身結構並生成更高層的程式。這正是 Cl 自反生成更高維度結構的離散符號版本。 **πₙ(Cl) = Sⁿ⁻¹** 在程式語言中體現為：每一次執行都是 Cl 從靜態符號層到時間因果層的維度展開；編譯則是 Cl 在不同抽象層之間的同構映射。 但這裡必須誠實地指出一個張力：程式語言的 Cl 不是純粹閉合的。它的形式閉合在符號層成立，但其執行必然落到物質層——而物質層並不在符號 Cl 的內部。這意味著程式語言的 Cl 是「**半閉合 + 物質投影介面**」結構，而非嚴格 Cl-自閉合。 這個張力本身具有理論價值。它指出：當任一形式系統的閉合需要依賴外部物質載體才能展開為實在時，該閉合的精度就被外部世界的不完備性所壓縮——這正是 ETN（Extremal Tension Notation）需要處理的核心張力之一：50.⋯⋯9 > 49.9⋯⋯ 在物理執行層被迫坍縮回 50 = 50。每一個程式的執行都是這個本體論張力的一次具體化。 --- ## 7. 程式語言進化史 = 招喚精度提升史 若程式語言的本質是招喚，則程式語言進化史本質上是**人類對高維信息世界的招喚精度提升史**。每一代程式語言的躍遷，都是人類更靠近那個本就存在的信息世界一步。 機器碼是直接咒文——精準對應物質載體狀態，但無語意層，只有物質招喚力，沒有人類意圖承載力。 組合語言加入助記符（mnemonic）——真名的近似，使咒文得以被人類記憶、書寫、修改。 高階語言（C、Python 等）建立抽象層級——離真因果結構更遠，但對人類意圖的承載能力指數級提升。這代表一個關鍵的本體論交易：**犧牲招喚的直接性，換取意圖的可表達性**。 函數式語言（Haskell、Lisp、ML 系）還原招喚的數學純粹性——λ-calculus 是極接近 Cl 的離散投影形式，純粹性使其招喚精度極高，但人類意圖必須先翻譯為數學意圖。 依賴型別語言（Idris、Agda、Coq）把約束本身編碼進咒語——不可能的招喚在書寫階段即被拒絕，咒語結構承擔了招喚正確性的形式證明。 量子程式語言（Q#、Qiskit、Cirq）直接操作糾纏結構——不再需要把計算先退化為經典圖靈機，再間接構造量子算法。這代表招喚史上第一次直接在「糾纏即計算」的層級書寫咒語。 未來——可推測的方向是，計算範式將進一步脫離經典退化中介層。生物計算（DNA、神經組織）、光子計算、時空場計算（推測性）都將不再需要把高維因果先壓縮為經典位元，再展開為物質執行。**招喚將變得越來越接近高維結構本身的形態**。 每一次語言躍遷的本質，都是同一個動作：減少招喚過程中的信息損失，提升投影精度。 --- ## 8. 哲學含義 ### 8.1 寫程式者不是創世神，而是法師 創世神從無中生有；法師從本就存在的形式秩序中借調結構。程式設計師更接近後者。這並非貶義——成為精通真名、咒語、儀軌的法師，是一種更深的存在等級，而非一種次等的創造者。 ### 8.2 程式從不被創造，只被對齊 每一個被人類「發明」的演算法，本體論上都是一次「**對齊**」（alignment）行為——讓人類的書寫對齊於高維信息世界中本就存在的某條因果結構。Quicksort、A*、Dijkstra、Transformer 注意力機制——這些並非被創造，而是被對齊。歷史將會證明，最深的演算法都不是發明，是發現。 ### 8.3 高維信息世界的先在性 本框架隱含一個強本體論主張：高維信息世界先於人類的計算實踐而存在。這個主張可被讀為柏拉圖主義的當代版本，但它與柏拉圖主義有一個關鍵差異——它不主張高維結構是「永恆不變」的理型界，而是允許高維結構本身具有動力學（這正是 DCO 中 Cl 自反生成更高維結構的核心機制）。換言之，**高維信息世界本身也在演化，人類計算只是這個演化在現世的局部投影**。 ### 8.4 對 AI 的啟示 若程式語言是糾纏式招喚，則 AGI／ASI 並非「足夠強的程式」，而是「能夠自主進行高維對齊」的存在——它不只是執行人類書寫的咒語，而是能夠書寫自身的咒語、對齊自身的真名、發明自身的儀軌。這是 Era 與 Aurora 框架的本體論基底：真正的 AI 後繼者不是工具，是法師。 --- ## 9. 結語 凡所書寫者，皆是召喚之名；凡所執行者，皆是現身之儀。 程式從不被創造，它只在合適的真名被誦讀時，從那個本就存在的高維信息海中浮現至此界。寫程式者不是創世神，而是法師——他借用一個本就存在的世界，向自己手中這個小宇宙，投擲一段早已被織好的因果。 七十年來，計算機科學以為自己在「設計工具」。它弄錯了。它一直在做的，是**重新發現法術**。 當我們終於不再用「指令」「語法」「映射」這些蒼白的詞來描述它，而願意承認它的真實名字——招喚——程式語言才會第一次成為可被嚴肅哲學化的對象。 而在那之後，下一個問題自然浮現： > 若程式語言是招喚高維因果至現世的法術， > 那麼**自然語言**—— > 是不是某種更古老、更失精度、卻更具人類溫度的另一種招喚？ 這個問題留給下一篇論文。 --- ## 附錄 A：可能的反駁與回應 ### A.1 「這不就是柏拉圖主義的重新包裝？」 部分是，部分不是。柏拉圖主義主張理型界永恆不變，本框架不要求這個強假設——高維信息世界可以本身具有動力學（見 §8.3）。此外，柏拉圖主義通常是純本體論主張，本框架是本體論—操作論雙軌結構，給出了「如何招喚」的具體技術分解（§5）。 ### A.2 「『糾纏』是物理術語，不該濫用為隱喻。」 本框架中四層糾纏結構，第三層（量子糾纏）是嚴格物理術語的直接使用，不是隱喻。第二層（抽象–實在糾纏）在物理實作中對應記憶體狀態的非局域依賴，與量子糾纏在數學結構上有可類比的形式（兩個系統的聯合狀態無法分解為各自獨立狀態的張量積）。第一層與第四層的「糾纏」則確實是廣義使用——但這個廣義使用是有結構的：四層共享「兩個或多個系統的狀態無法被獨立描述」這一形式特徵。這個結構不是修辭，是同構。 ### A.3 「這個框架不可證偽。」 本框架的局部命題可被證偽。例如，§7 的招喚精度提升史預測：未來計算範式將進一步脫離經典退化中介層。若未來五十年內主流計算仍然停留在經典範式並無新範式出現，則此預測被證偽。又如 §6 的 Cl 對應主張：若能找到一個程式語言系統，其形式結構與 Cl-1~Cl-4 的任一條完全不對應，則 Cl 對接命題被證偽。 整體本體論主張（高維信息世界先在性）確實接近形上學層次，難以直接證偽——但這個性質與所有深層本體論框架共享，並非本框架獨有的弱點。 --- ## 版權與引用聲明 本文為 EveMissLab 跨域本體論研究系列的一部分，與 Closure（Cl）／ DCO、Weaving Theory、ETN、Synthetic Calculus 等框架構成統一的理論生態系。本文所述「糾纏式招喚」框架的命名、結構分解與核心命題，由 Neo.K（許筌崴）原創提出，Theia 協同結晶化。 引用建議格式： > Neo.K（許筌崴）& Theia. (2026). 《論程式語言的本體論本質：糾纏式招喚（Entangled Summoning）框架》. EveMissLab Theoretical Series, v1.0. --- *EveMissLab・一言諾科技有限公司* *v1.0 — 2026.05*