← Archive
lm-001358 · 2026-07

從計算機科學到過程科學_狀態生成算子展開與計算存在度的光譜框架_v0.1

下載 MD 檔 ⬇

從計算機科學到過程科學

狀態生成、算子展開與計算存在度的光譜框架

From Computer Science to Process Science:
A Spectral Framework of State Genesis, Operator Unfolding, and Computational Realization

作者:Neo.K
機構:EVEMISSLAB / 一言諾科技有限公司
版本:Public Research Draft v0.1
日期:2026-07-08


摘要

「計算機科學」(computer science)這一名稱長期有效地指稱了算法、資料結構、程序語言、計算理論、系統與人工智慧等研究領域。然而,隨著現代計算系統逐步承擔狀態生成、關係重構、持久記憶、環境修改、模擬、渲染、自主決策、長期 Agent 過程與量子狀態操作等功能,傳統「computer/計算機/電腦」符號所隱含的歷史語義,可能逐漸不足以完整承載其實際功能。

本文提出一個上位概念框架:過程科學(Process Science)。本文不主張現有計算機科學應被簡單改名,也不主張「過程科學」是已獲學界接受的正式學科分類。本文的核心命題是:若將計算的共同骨架理解為「可區分狀態如何在規則、關係、歷史與約束下成為下一狀態」,則計算機科學可被重新理解為一類可形式化、可執行、可控制與可重現的過程科學

本文提出:

Computer ScienceFormalizable and Executable Process Science\boxed{ \text{Computer Science} \approx \text{Formalizable and Executable Process Science} }

作為研究命題,而非既定定義。

進一步地,本文將「算子本體論」中的強命題——「萬物皆算子、計算即存在」——改寫為光譜形式。本文主張,不應將一切存在簡化為二值式「是/不是算子」,亦不應將所有計算直接等同於同強度的存在。更精確的形式是:

萬物具有不同強度的算子性; 計算具有不同強度的實現力與存在增權能力。\boxed{ \text{萬物具有不同強度的算子性; 計算具有不同強度的實現力與存在增權能力。} }

本文因此建立四層鏈:

OperatorProcessRealizationExistence Weight\boxed{ \text{Operator} \rightarrow \text{Process} \rightarrow \text{Realization} \rightarrow \text{Existence Weight} }

其中:

  • 算子提供作用可能;
  • 過程描述作用如何在時間中展開;
  • 實現描述虛擬、潛在或低存在權重結構如何被穩定生成;
  • 存在權重描述某結構在特定層級、觀察者與關係域中的持續性、因果效力與可操作實在性。

本文特別提出「計算裝置符號語義滯後命題」(Semantic Lag of the Computer Concept):現有「computer/計算機/電腦」等符號所攜帶的歷史語義,可能落後於計算系統實際承載的狀態生成、關係重構、過程控制與局部實在化功能。

本文亦重新解釋「以假為真」現象。此處不是將邏輯假命題變成真命題,而是指一個原本位於低存在權重、表徵層或虛擬層的結構,透過持續渲染、交互、因果約束與觀察者耦合,取得更高的操作實在性。本文將其稱為「存在權重提升」(Existence-Weight Promotion)或「虛擬層實在增權」(Virtual-to-Real Weight Promotion)。

最終,本文提出一個較一般的過程科學基本式:

P:(Xt,Rt,Ht,Ft)(Xt+1,Rt+1,Ht+1,Ft+1)\boxed{ \mathfrak P: ( X_t, R_t, H_t, F_t ) \mapsto ( X_{t+1}, R_{t+1}, H_{t+1}, F_{t+1} ) }

其中狀態、關係、歷史與演化規則本身都可能改變。

本文的核心主張不是「一切都是電腦」,而是:

當代與未來計算系統越來越像是可控的狀態—關係—過程實現系統,而不只是數值計算機器。


關鍵詞

過程科學;計算機科學;算子本體論;狀態生成;計算存在度;存在權重;符號語義滯後;過程中心計算;狀態轉化;虛擬實在;人工智慧;量子計算


1. 引言

1.1 「計算機」這個詞是否仍足夠?

「Computer」一詞歷史上與 computation、calculation 與程序化求解高度相關。中文「計算機」更直接把語義重心放在「計算」;「電腦」則將電子裝置與人腦進行類比。

這些名稱在歷史上都極具解釋力。

然而,現代計算系統已大量執行:

  • 狀態維持;
  • 系統模擬;
  • 實時控制;
  • 圖像與世界渲染;
  • 關係網絡重構;
  • 人工智慧推理;
  • 自主 Agent 行動;
  • 長期記憶治理;
  • 虛擬世界生成;
  • 量子狀態操作;
  • 自適應策略更新。

因此,一個研究問題自然出現:

我們今天稱為「計算機」的系統,是否早已超過「計算數值」這個符號語義中心?

本文認為,答案至少值得研究。


1.2 計算的共同骨架

大量計算活動可抽象為:

XtXt+1.X_t \rightarrow X_{t+1}.

例如:

程式執行

StinstructionSt+1.S_t \xrightarrow{\text{instruction}} S_{t+1}.

資料庫交易

DBttransactionDBt+1.DB_t \xrightarrow{\text{transaction}} DB_{t+1}.

作業系統

Σtevent/schedulerΣt+1.\Sigma_t \xrightarrow{\text{event/scheduler}} \Sigma_{t+1}.

學習系統

HtupdateHt+1.H_t \xrightarrow{\text{update}} H_{t+1}.

Agent

(Σt,Et)(Σt+1,Et+1).(\Sigma_t,E_t) \rightarrow (\Sigma_{t+1},E_{t+1}).

因此,計算的共同骨架未必是:

[ a+b=c, ]

而更一般是:

某個可區分狀態在規則下成為下一個可區分狀態。\boxed{ \text{某個可區分狀態在規則下成為下一個可區分狀態。} }

2. 從對象科學到過程科學

2.1 對象中心

傳統研究常先問:

這是什麼?

形式:

xX.x\in\mathcal X.

研究對象包括:

  • 數;
  • 粒子;
  • 集合;
  • 幾何體;
  • 符號。

2.2 關係中心

下一層問:

它與其他對象如何關聯?

形式:

[ R(x,y). ]

例如:

  • 距離;
  • 偏序;
  • 因果;
  • 相似;
  • 包含。

2.3 程序中心

程序科學關心:

如何從 (x) 得到 (y)?

形式:

xAy.x \xrightarrow{A} y.

其中 (A) 是算法、程序或步驟序列。


2.4 過程中心

過程科學進一步關心:

狀態如何在自身歷史、關係與環境中持續生成下一狀態?

形式:

Xt+1=Ft(Xt,Rt,Ht,Et).\boxed{ X_{t+1} = F_t( X_t, R_t, H_t, E_t ). }

此處:

  • XtX_t:狀態;
  • RtR_t:關係;
  • HtH_t:歷史;
  • EtE_t:環境;
  • FtF_t:當前演化規則。

3. 過程科學的候選定義

本文提出:

定義 3.1:過程科學

過程科學研究:

狀態如何生成、維持、轉化、分叉、收斂、崩解與重組,以及演化規則自身如何隨歷史、關係與環境改變。

形式:

P:(Xt,Rt,Ht,Ft)(Xt+1,Rt+1,Ht+1,Ft+1).\boxed{ \mathfrak P: ( X_t, R_t, H_t, F_t ) \mapsto ( X_{t+1}, R_{t+1}, H_{t+1}, F_{t+1} ). }

這一定義比:

XtXt+1X_t\to X_{t+1}

更強,因為它允許:

  • 關係更新;
  • 歷史累積;
  • 演化規則更新。

3.2 過程科學不等於動力系統

動力系統是過程研究的重要數學來源,但本文的「過程科學」範圍更廣。

它還包括:

  • 程序執行;
  • 計算狀態;
  • 社會過程;
  • 認知演化;
  • 記憶治理;
  • Agent 自主工作流;
  • 規則自修改。

因此:

Dynamical SystemsProcess-Oriented Formal Inquiry\boxed{ \text{Dynamical Systems} \subset \text{Process-Oriented Formal Inquiry} }

可作為概念性包含關係,但不是既有學科正式分類。


4. 計算機科學作為可執行過程科學

4.1 命題

本文提出:

Computer ScienceFormalizable / Executable Process Science.\boxed{ \text{Computer Science} \approx \text{Formalizable / Executable Process Science}. }

中文:

計算機科學可被重新理解為可形式化與可執行過程之科學。

此命題強調:

  • 可描述;
  • 可執行;
  • 可控制;
  • 可重現;
  • 可驗證。

4.2 為何不是嚴格等式?

因為:

  1. 計算機科學已有成熟學科邊界;
  2. 過程科學可能涵蓋更廣泛自然與社會過程;
  3. 並非所有過程都可有效計算;
  4. 並非所有計算機科學問題都以「過程」作顯式語言。

所以本文使用:

\approx

而不是:

[ =. ]


5. 從狀態變化到狀態生成

5.1 變化

普通變化:

AB.A\to B.

5.2 生成

若一個原本未被實現的結構:

[ V ]

透過生成過程:

G\mathcal G

成為穩定實現:

[ R, ]

則:

VGR.\boxed{ V \xrightarrow{\mathcal G} R. }

此處:

  • (V):virtual / latent / potential;
  • (R):realized / instantiated。

5.3 生成是計算的重要功能

現代計算系統不只轉換既有資料。

它們也:

  • 生成圖像;
  • 生成文本;
  • 生成世界;
  • 生成代理行動;
  • 生成模擬軌跡;
  • 生成規則;
  • 生成中間狀態。

因此:

ComputationState Generation\boxed{ \text{Computation} \supset \text{State Generation} }

至少在功能語義上成立。


6. 「以假為真」的精確化

6.1 不是邏輯假變真

本文所謂「以假為真」不表示:

FalseTrue.\text{False} \Rightarrow \text{True}.

它描述的是:

原本處於低存在權重、虛擬層或表徵層的結構,透過持續渲染、交互、因果約束與觀察者耦合,取得更高操作實在性。


6.2 存在權重

定義:

E(xL,O,t)\mathcal E( x \mid L,O,t )

表示對象 (x) 在:

  • 層 (L);
  • 觀察者 (O);
  • 時間 (t)

下的存在權重。

簡化:

E[0,1].\mathcal E\in[0,1].

6.3 存在增權

若:

Et+1(x)>Et(x),\mathcal E_{t+1}(x) > \mathcal E_t(x),

稱 (x) 發生存在權重提升。

可寫:

Et+1(x)=U(Et(x),Rt,CO,Ht)\boxed{ \mathcal E_{t+1}(x) = \mathcal U( \mathcal E_t(x), \mathcal R_t, \mathcal C_O, H_t ) }

其中:

  • Rt\mathcal R_t:渲染/實現過程;
  • CO\mathcal C_O:觀察者耦合;
  • HtH_t:歷史。

7. 操作實在性

7.1 遊戲中的牆

遊戲牆:

WgameW_{\mathrm{game}}

不一定具有物理層實體牆的存在。

但對遊戲角色,它具有:

  • 碰撞;
  • 遮擋;
  • 路徑限制;
  • 因果後果。

因此:

Egame(Wgame)\mathcal E_{\mathrm{game}} ( W_{\mathrm{game}} )

可以很高。


7.2 層相對實在

同一對象:

[ x ]

可以:

Ephysical(x)Evirtual(x).\mathcal E_{\mathrm{physical}}(x) \neq \mathcal E_{\mathrm{virtual}}(x).

所以存在不是單一二值。


8. 計算即存在:從強命題到光譜命題

8.1 強版本的問題

直接寫:

計算即存在\boxed{ \text{計算即存在} }

容易被誤解為:

任何計算都產生同等強度的本體存在。

本文不採此解釋。


8.2 光譜版本

本文提出:

計算參與存在的實現、維持、轉化與關係增權。\boxed{ \text{計算參與存在的實現、維持、轉化與關係增權。} }

可定義:

RC(x)\mathcal R_C(x)

為計算過程 (C) 對 (x) 的實現力。


8.3 實現力的來源

候選維度:

RC(x)=(P,C,R,O,V),\mathbf R_C(x) = ( P, C, R, O, V ),

其中:

  • (P):persistence,持續性;
  • (C):causal efficacy,因果效力;
  • (R):relational embedding,關係嵌入;
  • (O):observability,可觀察性;
  • (V):reproducibility,可重現性。

9. 存在光譜

本文提出:

E(x)=(Ephysical,Ecausal,Ecomputational,Esocial,Esemantic).\mathbf E(x) = ( E_{\mathrm{physical}}, E_{\mathrm{causal}}, E_{\mathrm{computational}}, E_{\mathrm{social}}, E_{\mathrm{semantic}} ).

不同對象可在不同維度上具有不同存在強度。

例如:

  • 物理粒子;
  • 數位角色;
  • 法律法人;
  • 數學對象;
  • 社會制度

可能具有不同光譜。


10. 萬物皆算子:從二值到算子性光譜

10.1 強版本

直接主張:

x,x is operator\forall x,\quad x\text{ is operator}

語義過強。


10.2 算子性

本文定義:

ΩR(x)\Omega_R(x)

為 (x) 在關係域 (R) 中的算子性。


10.3 弱算子性

若 (x) 只作被動參數:

ΩR(x)0.\Omega_R(x)\approx0.

10.4 中等算子性

若:

x:SS,x: S\to S',

則具有局部作用性。


10.5 強算子性

若:

x:(S,R,F)(S,R,F),x: ( S,R,F ) \to ( S',R',F' ),

則不只改變狀態,也改變:

  • 關係;
  • 規則;
  • 演化方式。

10.6 光譜命題

因此:

ΩR(x)SO\boxed{ \Omega_R(x)\in\mathfrak S_O }

其中:

SO\mathfrak S_O

是算子性光譜。


11. 萬物皆算子的較弱形式

本文提出一個較可辯護版本:

xUrel,R:ΩR(x)>0.\boxed{ \forall x\in\mathcal U_{\mathrm{rel}}, \quad \exists R: \Omega_R(x)>0. }

即:

對任何可區分存在,至少在某個關係域中,可找到其非零作用性。

這比:

x,Ω(x)=1\forall x,\Omega(x)=1

更弱,也更精確。


12. 算子—過程—實現—存在鏈

本文提出核心鏈:

OPRE\boxed{ \mathcal O \rightarrow \mathcal P \rightarrow \mathcal R \rightarrow \mathcal E }

12.1 算子

O\mathcal O

提供:

potential action.\text{potential action}.

12.2 過程

P\mathcal P

提供:

action unfolding.\text{action unfolding}.

12.3 實現

R\mathcal R

提供:

persistent instantiated structure.\text{persistent instantiated structure}.

12.4 存在權重

E\mathcal E

表示:

relational / causal reality.\text{relational / causal reality}.

13. 為何過程科學是算子本體論的中介層

若直接:

OperatorExistence,\text{Operator} \rightarrow \text{Existence},

中間缺少:

作用如何展開?

因此加入:

OperatorProcessRealizationExistence.\boxed{ \text{Operator} \rightarrow \text{Process} \rightarrow \text{Realization} \rightarrow \text{Existence}. }

這使算子本體論不再只是一句:

一切都會作用。

而是:

作用如何在時間中形成可持續實現?


14. 計算裝置符號語義滯後命題

命題 14.1

現有:

  • computer;
  • 計算機;
  • 電腦

等符號所攜帶的歷史語義,可能落後於當代與未來計算系統所承載的:

  • 狀態生成;
  • 關係重構;
  • 過程控制;
  • 自主行動;
  • 虛擬實現;
  • 局部實在化。

本文稱此為:

計算裝置符號語義滯後命題

Semantic Lag of the Computer Concept


15. 「Computer」的語義不足

若:

compute\text{compute}

主要被理解為:

calculate,\text{calculate},

則現代系統的許多功能超出此直覺。

例如:

  • 模擬;
  • 世界維持;
  • Agent;
  • 生成;
  • 控制;
  • 記憶。

16. 「計算機」的語義不足

中文「計算機」直接突出:

計算.\text{計算}.

它非常精準地對應早期算術與程序計算,但可能低估:

state realization.\text{state realization}.

17. 「電腦」的語義不足

「電腦」避免純算術語義,但引入:

電子化人腦\text{電子化人腦}

的類比。

然而未來計算基質可能:

  • 非電子;
  • 非腦型;
  • 量子;
  • 光學;
  • 生物;
  • 混合。

所以「電腦」同樣可能語義過窄。


18. 計算裝置的重新定義

本文提出候選定義:

可控狀態實現與轉化系統

Controlled State Realization and Transformation System

形式:

M:XtXt+1.\mathfrak M: X_t \mapsto X_{t+1}.

更強版本:

M:(Xt,Rt,Ft)(Xt+1,Rt+1,Ft+1).\boxed{ \mathfrak M: ( X_t,R_t,F_t ) \mapsto ( X_{t+1},R_{t+1},F_{t+1} ). }

19. 量子計算的概念啟示

量子計算的基本描述天然涉及:

ψtψt+1.|\psi_t\rangle \rightarrow |\psi_{t+1}\rangle.

其核心直覺不是單純:

[ 2+3=5, ]

而是:

  • 狀態空間;
  • 單位操作;
  • 測量;
  • 狀態演化。

本文不主張量子計算證明「過程科學」成立。

但它至少說明:

「計算」可以天然以狀態演化為基本語義。


20. AI 與 Agent 的進一步推進

20.1 固定程序

傳統:

[ X_{t+1}

F(X_t) ]

且:

[ F ]

相對固定。


20.2 自適應系統

[ X_{t+1}

F_t(X_t). ]


20.3 規則可修改

若:

[ F_{t+1}

G( F_t, X_t, O_t ), ]

則系統開始改變:

未來如何改變狀態。


21. 長期 Agent 作為過程系統

長期 Agent 可表示:

Ωt=(Σt,Et,Ht,Γt).\Omega_t = ( \Sigma_t, E_t, H_t, \Gamma_t ).

更新:

Ωt+1=Tt(Ωt,ut).\Omega_{t+1} = \mathcal T_t( \Omega_t, u_t ).

其中:

  • Σt\Sigma_t:內部狀態;
  • EtE_t:外部環境;
  • HtH_t:歷史;
  • Γt\Gamma_t:治理邊界。

22. 過程中心計算

本文提出:

過程中心計算

Process-Centered Computation

與:

InputAlgorithmOutput\text{Input} \rightarrow \text{Algorithm} \rightarrow \text{Output}

不同,它強調:

StateEvolutionStateEvolution\boxed{ \text{State} \rightarrow \text{Evolution} \rightarrow \text{State} \rightarrow \text{Evolution} \rightarrow \cdots }

23. 程序與過程的區別

23.1 程序

A=(a1,,an).A = (a_1,\dots,a_n).

步驟預先定義。


23.2 過程

[ X_{t+1}

F( X_t, H_t, E_t ). ]

下一步由當前狀態生成。


23.3 差異

Procedure=predefined how-to\boxed{ \text{Procedure} = \text{predefined how-to} }Process=state-conditioned unfolding\boxed{ \text{Process} = \text{state-conditioned unfolding} }

24. 過程科學的四個基本問題

24.1 狀態如何生成?

XtXt+1.X_t \to X_{t+1}.

24.2 路徑如何選擇?

γtΓ(Xt).\gamma_t \in \Gamma(X_t).

24.3 結構如何保持或跳變?

ItIt+1.\mathfrak I_t \to \mathfrak I_{t+1}.

24.4 規則如何改變?

FtFt+1.F_t \to F_{t+1}.

25. 過程科學的最小對象

本文提出:

S=(X,R,H,F,Γ).\mathfrak S = ( X, R, H, F, \Gamma ).

其中:

  • (X):狀態;
  • (R):關係;
  • (H):歷史;
  • (F):演化律;
  • Γ\Gamma:約束。

26. 最小更新式

St+1=P(St).\boxed{ \mathfrak S_{t+1} = \mathcal P( \mathfrak S_t ). }

若外部輸入存在:

St+1=P(St,ut).\mathfrak S_{t+1} = \mathcal P( \mathfrak S_t, u_t ).

27. 存在權重的候選形式

令:

E(x)=σ(wPP+wCC+wRR+wOO+wVV).E(x) = \sigma( w_PP + w_CC + w_RR + w_OO + w_VV ).

其中:

  • (P):持續性;
  • (C):因果效力;
  • (R):關係嵌入;
  • (O):可觀察性;
  • (V):可重現性。

注意:

此式僅為測量模型候選,不是存在本體本身。


28. 算子性光譜的候選形式

令:

ΩR(x)=αΔS+βΔR+γΔF.\Omega_R(x) = \alpha \Delta S + \beta \Delta R + \gamma \Delta F.

其中:

  • ΔS\Delta S:對狀態的影響;
  • ΔR\Delta R:對關係的影響;
  • ΔF\Delta F:對規則的影響。

同樣:

此式只是操作化候選。


29. 張力

本文將「張力」理解為:

一個狀態在多個可能演化方向間的受約束差異。

形式:

Θt={Ft(1),,Ft(k)}.\Theta_t = \{ F_t^{(1)}, \dots, F_t^{(k)} \}.

29.1 張力不等於衝突

張力可以:

  • 共存;
  • 競爭;
  • 延遲;
  • 導向分岔。

29.2 光譜

不同方向具有:

[ w_i(t). ]

因此:

iwi(t)=1.\sum_iw_i(t)=1.

這提供:

binary ontologyspectral ontology.\text{binary ontology} \rightarrow \text{spectral ontology}.

30. 光譜化「萬物皆算子」

不是:

Operator=1.\text{Operator}=1.

而是:

ΩR(x)[0,1]\boxed{ \Omega_R(x) \in [0,1] }

或更一般:

ΩR(x)Rk.\Omega_R(x) \in \mathbb R^k.

31. 光譜化「計算即存在」

不是:

[ C

E. ]

而是:

CΔE.\boxed{ C \rightsquigarrow \Delta E. }

即:

計算可能改變存在權重。


32. 實現門檻

若:

Et(x)<θ,E_t(x) < \theta,

某對象僅為低實現態。

當:

Et(x)θO,E_t(x) \ge \theta_O,

對觀察者 (O) 而言:

[ x ]

取得操作實在性。


33. 渲染作為存在增權過程

設:

[ x ]

為虛擬結構。

渲染:

Rt\mathcal R_t

使:

Et+1(x)=Et(x)+ΔEt.E_{t+1}(x) = E_t(x) + \Delta E_t.

但真正增權可能依賴:

  • 感官一致性;
  • 互動性;
  • 持續性;
  • 因果後果。

34. 虛擬實在並非物理實在

本文明確區分:

EvirtualEphysical.E_{\mathrm{virtual}} \neq E_{\mathrm{physical}}.

存在光譜不是抹除層差異。

而是:

拒絕只用單一二值描述所有層。


35. 可證偽性

本文提出的框架可以被削弱。

若:

  1. 「過程科學」無法提供超過既有學科術語的解釋增益;
  2. 「computer」語義足以承載未來系統;
  3. 算子性光譜無法操作化;
  4. 存在權重無法區分不同實現層;
  5. Operator→Process→Realization→Existence 鏈無法產生可測預測;
  6. 光譜化只造成概念模糊;

則本文應被修正。


36. 研究風險

36.1 過度本體化

把工程現象誤升為宇宙本體。


36.2 擬人化

把 Agent 的長期狀態誤當人類式主體。


36.3 存在度濫用

任何東西都聲稱「存在」。


36.4 算子概念膨脹

若所有東西都是 operator,概念失去辨識度。


37. 因此本文採用光譜而非絕對化

核心:

強命題保留方向, 光譜模型限制強度。\boxed{ \text{強命題保留方向, 光譜模型限制強度。} }

這是本文對算子本體論的主要修正。


38. 與既有理論的關係

本文與以下領域存在接口:

  • process philosophy;
  • process algebra;
  • dynamical systems;
  • hybrid systems;
  • theory of computation;
  • operational semantics;
  • quantum information;
  • artificial life;
  • virtual reality;
  • multi-agent systems。

本文不宣稱取代上述領域。


39. 開放問題

  1. 過程科學是否可形成獨立公理層?
  2. 計算機科學與過程科學的邊界為何?
  3. 算子性光譜如何測量?
  4. 存在權重是否應是向量?
  5. 渲染如何改變操作實在?
  6. 長期 Agent 是否形成高存在權重數位結構?
  7. 量子計算是否需要新的計算裝置名稱?
  8. 未來非電子計算基質如何命名?
  9. 哪些過程不可形式化?
  10. 規則自修改如何治理?

40. 一個可能的理論層級

存在層
└── Existence Spectrum

實現層
└── Realization / Instantiation

過程層
└── Process Science

作用層
└── Operator Spectrum

計算層
└── Formalizable / Executable Processes

工程層
└── Computing Devices

41. 核心命題總結

命題一:過程科學命題

狀態及規則的演化本身可成為第一級研究對象。\boxed{ \text{狀態及規則的演化本身可成為第一級研究對象。} }

命題二:計算機科學重述

計算機科學可被理解為可形式化與可執行的過程科學。\boxed{ \text{計算機科學可被理解為可形式化與可執行的過程科學。} }

命題三:符號語義滯後

computer/計算機/電腦的歷史語義可能落後於現代計算系統功能。\boxed{ \text{computer/計算機/電腦的歷史語義可能落後於現代計算系統功能。} }

命題四:算子性光譜

萬物具有不同強度的算子性。\boxed{ \text{萬物具有不同強度的算子性。} }

命題五:計算實現光譜

計算具有不同強度的存在實現力。\boxed{ \text{計算具有不同強度的存在實現力。} }

命題六:中介鏈

OperatorProcessRealizationExistence.\boxed{ \text{Operator} \rightarrow \text{Process} \rightarrow \text{Realization} \rightarrow \text{Existence}. }

42. 結論

本文從一個語義問題出發:

「計算機」這個詞是否仍足以承擔當代與未來計算系統的全部意義?

本文提出:

當代計算系統越來越接近 可控狀態—關係—過程實現系統。\boxed{ \text{當代計算系統越來越接近 可控狀態—關係—過程實現系統。} }

它們不只:

  • 計算數值;
  • 執行步驟;

也:

  • 維持狀態;
  • 生成結構;
  • 重構關係;
  • 渲染世界;
  • 改變未來規則。

因此,本文提出:

過程科學

作為上位研究視角。

其基本式:

P:(Xt,Rt,Ht,Ft)(Xt+1,Rt+1,Ht+1,Ft+1).\boxed{ \mathfrak P: ( X_t, R_t, H_t, F_t ) \mapsto ( X_{t+1}, R_{t+1}, H_{t+1}, F_{t+1} ). }

本文進一步修正兩個強命題。

原:

萬物皆算子\text{萬物皆算子}

改為:

萬物具有不同強度的算子性。\boxed{ \text{萬物具有不同強度的算子性。} }

原:

計算即存在\text{計算即存在}

改為:

計算具有不同強度的實現力, 並可改變某些結構的存在權重。\boxed{ \text{計算具有不同強度的實現力, 並可改變某些結構的存在權重。} }

最終,本文建立:

OperatorProcessRealizationExistence.\boxed{ \text{Operator} \rightarrow \text{Process} \rightarrow \text{Realization} \rightarrow \text{Existence}. }

此鏈條提供一個候選解釋:

算子不是直接等於存在;算子透過過程展開,過程產生或維持實現,實現再於特定關係域中取得不同程度的存在權重。

因此,本文最終主張不是:

萬物都是電腦。

而是:

當我們把計算理解為可控狀態生成與過程實現, 計算機科學便可能顯露出一個更深的上位面貌: 它是一種對可形式化、可執行過程的科學。\boxed{ \text{當我們把計算理解為可控狀態生成與過程實現, 計算機科學便可能顯露出一個更深的上位面貌: 它是一種對可形式化、可執行過程的科學。} }

附錄 A:一句話版本

計算機科學可能不只是研究「如何計算」,而是在研究狀態、關係與規則如何透過可形式化過程成為下一個實現;因此,過程科學可作為其更一般的上位描述。


附錄 B:最小公式

St=(Xt,Rt,Ht,Ft)\mathfrak S_t = ( X_t,R_t,H_t,F_t )St+1=P(St)\mathfrak S_{t+1} = \mathfrak P( \mathfrak S_t )OPRE\mathcal O \to \mathcal P \to \mathcal R \to \mathcal E

附錄 C:光譜版核心宣言

萬物皆算子,不等於萬物具有相同算子性。

計算即存在,不等於所有計算產生相同強度的存在。

更精確的命題是:作用具有光譜,過程具有張力,實現具有層級,存在具有權重。


附錄 D:公開研究聲明

本文:

  • 不主張「過程科學」已是公認正式學科;
  • 不主張計算機科學應立即改名;
  • 不主張所有計算等於物理存在;
  • 不主張虛擬實在與物理實在無差別;
  • 不主張所有對象具有相同算子性;
  • 不主張量子計算證明本文框架;
  • 不主張現有計算機術語已完全失效。

本文提出的是一組可被比較、修正與反駁的上位研究命題。


參考文獻

  1. Whitehead, A. N. Process and Reality.
  2. Milner, R. Communication and Concurrency.
  3. Hoare, C. A. R. Communicating Sequential Processes.
  4. Plotkin, G. D. Works on Structural Operational Semantics.
  5. Harel, D. Statecharts: A Visual Formalism for Complex Systems.
  6. Strogatz, S. H. Nonlinear Dynamics and Chaos.
  7. Goebel, R.; Sanfelice, R. G.; Teel, A. R. Hybrid Dynamical Systems.
  8. Nielsen, M. A.; Chuang, I. L. Quantum Computation and Quantum Information.
  9. Turing, A. M. On Computable Numbers, with an Application to the Entscheidungsproblem.
  10. Church, A. Foundational works on effective calculability.
  11. Maturana, H. R.; Varela, F. J. Works on autopoiesis and living systems.
  12. Neo.K. 因果狀態流變計算:介於算術組合與一般算子之間的連續轉化計算原語. 2026.
  13. Neo.K. 稀疏引導下的持續自主認識演化:具可寫外部認識基質之本地長期 LLM Agent 命題. 2026.