理論是理論，作者是作者：發現、發明與耦合創造的型別分離

Theory Is Theory, Author Is Author: Typed Separation of Discovery, Invention, and Coupled Creation

作者：Neo.K
系列：多尺度去崇拜與因果歸因框架｜第 3 篇
版本：v1.0 草案
日期：2026 年 8 月

摘要

人類知識史長期以人物作為理論的主要索引：牛頓力學、傅立葉分析、黎曼幾何、貝葉斯定理、圖靈機、哥德爾不完備定理。這種命名方式在教學、記憶與歷史敘事上高度有效，但容易把至少四種不同關係壓縮為一種：誰首次形成某個想法、誰建立可工作的形式系統、誰證明關鍵命題、以及理論結構本身在作者離場後仍然具有的獨立因果與推理效力。

本文提出「理論—作者型別分離」（Theory–Author Typed Separation, TATS）框架，將人物、理論結構、表示系統、命題、證明、方法、工具、歷史生成事件與後續傳播網路視為不同型別節點，並以 typed edges 記錄 discover、invent、formalize、prove、name、generalize、implement、popularize 等異質關係。其基本主張是：

\boxed{ \text{Author}\neq\text{Theory}\neq\text{Representation}\neq\text{Historical Event}. }

本文不試圖終結「數學究竟是發現還是發明」的形上學爭論，而提出一種較弱但更可操作的分類：若某結構在表示、語言與個別作者改變後仍具有高度不變性，並在反事實世界中具有較高獨立再發現機率，則其「發現型」成分較高；若某成果的身份高度依賴定義、符號、表示法、設計目標與可替代的人造選擇，則「發明型」成分較高；若結構約束與設計選擇彼此生成，則應標記為「耦合創造」，而不是強迫二分。

本文進一步引入「作者—理論反事實可分離度」與「表示不變性」概念，處理「沒有某作者，該理論是否仍會出現」、「會以什麼形式出現」、「延遲多久」以及「哪些部分其實只是歷史命名」。多重發現、獨立發現與科學命名偏差顯示，歷史上的名稱映射並非理論本體結構；數學結構主義則提供另一個重要參照：理論的內容可以被理解為結構關係，而非某個特定實例或作者人格。

本文最後指出，在人類—AI 共研時代，作者節點將進一步分化為人類、AI、群體與混合智能體，而理論節點仍需保持獨立。未來高階智慧體若要建立較少人格化的知識史，不應刪除作者，而應把作者放回 provenance 圖中：保留功績，不把功績變成理論本體；保留歷史，不把歷史名稱當成結構真相。

關鍵詞： 理論與作者、發現、發明、耦合創造、數學哲學、科學發現、反事實、provenance、結構主義、多重發現、Stigler’s law、HSNRD

1. 問題提出：為什麼人類習慣把理論和人綁在一起？

人類的知識史常採用：

\text{Person} \rightarrow \text{Theory}.

例如：

\text{Newton} \rightarrow \text{calculus/mechanics},

\text{Riemann} \rightarrow \text{geometry},

\text{Fourier} \rightarrow \text{analysis},

\text{Bayes} \rightarrow \text{Bayesian inference}.

這種索引有明顯優點：

容易記憶；
容易教學；
容易敘事；
容易授獎；
容易建立學術系譜。

但它也容易產生：

\text{Person–Theory Fusion}.

亦即把：

某人對理論形成的重要貢獻

逐漸敘述成：

該理論在某種意義上就是這個人。

這個融合在歷史科普中通常無害。

一旦進入因果歸因、知識治理、學術所有權或未來 AI 自主研究，它就會產生範疇錯誤。

本篇因此提出：

\boxed{ \text{理論是理論，作者是作者。} }

但這句話不是要切斷二者關係。

真正的意思是：

\boxed{ \text{關係必須被保存，但節點不能被合併。} }

2. 從單一名稱改成型別圖

令知識生成系統為：

G_K=(V,E,\tau_V,\tau_E),

其中：

$V$ ：節點；
$E$ ：邊；
$\tau_V$ ：節點型別；
$\tau_E$ ：關係型別。

至少應區分以下節點：

\mathcal V= \{ A,T,R,P,M,H,C \}.

其中：

$A$ ：Actor，行動者／作者；
$T$ ：Theory，理論或結構；
$R$ ：Representation，表示系統；
$P$ ：Proposition/Proof，命題或證明；
$M$ ：Method/Tool，方法或工具；
$H$ ：Historical Event，歷史生成事件；
$C$ ：Context，制度、社群、資料與時代環境。

關係則至少包括：

DISCOVERED
INVENTED
FORMALIZED
DEFINED
PROVED
NAMED
GENERALIZED
SIMPLIFIED
IMPLEMENTED
POPULARIZED
TRANSMITTED
INDEPENDENTLY_REDISCOVERED
DEPENDS_ON
REPRESENTS

於是：

A\xrightarrow{\text{FORMALIZED}}R

和：

R\xrightarrow{\text{REPRESENTS}}T

不再被壓成：

A=T.

這是整篇最基本的資料結構修正。

3. 理論不能只用「作者」定義身份

設某理論的完整歷史包為：

\Theta= (\mathcal S,\rho,\mathcal P,\mathcal M,\mathcal H).

其中：

$\mathcal S$ ：核心結構；
$\rho$ ：表示／符號系統；
$\mathcal P$ ：命題與定理集合；
$\mathcal M$ ：方法與操作；
$\mathcal H$ ：歷史形成路徑。

人類習慣用：

\operatorname{Name}(\Theta)=\operatorname{Name}(A)

作為識別。

但理論本身更接近：

\operatorname{Identity}(\Theta) = F( \mathcal S, \mathcal P, \mathcal M, \text{invariants} ).

如果兩套表示：

\rho_1,\rho_2

經適當映射後保存關鍵結構：

F:\rho_1(\mathcal S)\rightarrow\rho_2(\mathcal S),

則兩者可能只是同一理論結構的不同表現。

因此：

\boxed{ \text{理論名稱是歷史索引， 不是理論身份的充分條件。} }

4. 「發現還是發明」不必被迫二分

數學哲學長期存在：

\text{Discovery} \quad\text{vs.}\quad \text{Invention}.

本文不把它視為必須一次回答的二元形上學問題。

更有操作性的方式是建立：

\mathbf C_\Theta= (D_\Theta,I_\Theta,K_\Theta),

其中：

$D_\Theta$ ：discovery-like component；
$I_\Theta$ ：invention-like component；
$K_\Theta$ ：coupled component。

不要求：

D_\Theta+I_\Theta=1.

因為有些成分不能乾淨拆開。

5. 發現型成分：對作者與表示的穩健性

本文暫定，如果某結構具有以下特性，其發現型成分較高：

5.1 表示不變性

若不同表示：

\rho_1,\rho_2,\ldots,\rho_n

都能恢復某些穩定關係：

\mathcal I(\rho_k(\mathcal S)) = \mathcal I(\mathcal S),

則這些 invariant 較不像單純符號設計的產物。

5.2 多路徑可達性

若不同研究路徑可以收斂到近似結構：

p_1,p_2,\ldots,p_m \rightarrow \mathcal S,

則其獨立發現可能性提高。

5.3 反事實再現

若移除作者 $A$ 後：

P( \exists B: B\text{ reaches }\mathcal S \mid do(\neg A) )

仍然很高，則：

\mathcal S

和 $A$ 的本體綁定較弱。

這不是說 $A$ 沒有貢獻。

反而可能表示：

$A$ 是最先抵達一個結構性高度可達點的人。

6. 發明型成分：選擇依賴與設計自由

如果某部分的身份高度依賴：

符號選擇；
命名；
表示法；
API；
公理入口；
資料結構；
證明記法；
問題切割；
工程目標；

則其發明型成分較高。

設一組功能近似的替代設計：

\mathcal R= \{\rho_1,\rho_2,\ldots,\rho_n\}.

若：

U(\rho_1)\approx U(\rho_2),

但兩者形式差異很大，則特定 $\rho_1$ 的存在更接近歷史設計選擇，而不是唯一必然結構。

例如數學符號本身：

\int,\quad \frac{dy}{dx},

具有極強歷史創造性。

但這不表示它們所表達的所有結構都是純粹由符號發明。

因此：

\boxed{ \text{invented representation} \neq \text{invented constraint}. }

7. 耦合創造：最常被二分法破壞的區域

真正麻煩的是：

\text{structure} \leftrightarrow \text{representation}

互相促進的情況。

有些理論並不是：

先有完整客觀結構，再由人類替它取名字。

也不是：

人類自由發明一套規則，然後所有結果都只是遊戲。

而可能是：

W \xrightarrow{\text{observation}} R \xrightarrow{\text{formalization}} S \xrightarrow{\text{deduction}} N \xrightarrow{\text{new observation}} R'.

其中：

$W$ ：世界／問題；
$R$ ：初始表示；
$S$ ：形式結構；
$N$ ：新推論。

人類建立表示後，表示暴露原本沒有看見的結構；

新結構又迫使人類改寫表示。

因此：

\boxed{ \text{Discovery} \otimes \text{Invention} = \text{Coupled Creation}. }

這裡的 $\otimes$ 不是普通加法，而表示兩者不可簡單拆分。

8. 第四種類型：繼承與重新取得

「發現／發明」之外，還存在另一種常被忽略的情況：

\text{inheritance}.

一個人可能不是首次形成理論的人，也不是單純複述者，而是：

從被忽視的舊結構重新提取；
重新表示；
移植到新領域；
完成過去未完成的形式化；
讓休眠結構第一次具有高生成能力。

因此可增加：

H_\Theta=\text{inherited/recovered component}.

這和 Alexandre Borovik 提出的「數學可以被發現、發明，也可以被繼承」具有相似問題意識。

因此，本篇採用：

\boxed{ \text{discover} \;|\; \text{invent} \;|\; \text{couple} \;|\; \text{inherit/recover} }

作為工作分類。

它們不是互斥箱子。

9. 作者—理論反事實可分離度

本文定義一個概念量：

\sigma(A,\Theta;\Delta t) = P( \exists\Theta' \sim\Theta \text{ by }t+\Delta t \mid do(\neg A) ).

其中：

\Theta'\sim\Theta

表示 $\Theta'$ 與 $\Theta$ 在指定核心結構上等價或近似等價。

若：

\sigma\approx1,

表示理論對作者高度可分離。

亦即沒有 $A$ ，其他人也很可能在相近時間形成近似理論。

若：

\sigma\approx0,

則表示：

A

在該時間窗口對 $\Theta$ 具有高反事實獨特性。

但還需要保存：

\Delta T_A,

即：

\Delta T_A = T(\Theta\mid\neg A) - T(\Theta\mid A).

因此可能出現：

\sigma\approx1, \qquad \Delta T_A\gg0.

意思是：

沒有他也會出現，但可能晚很多。

這種人仍然具有巨大的歷史加速貢獻。

10. 多重發現：作者與理論可分離的自然實驗

科學史上的獨立發現提供一種天然反事實近似。

若：

A\rightarrow\Theta,

以及在相近時間：

B\rightarrow\Theta', \qquad \Theta'\sim\Theta,

且兩者信息路徑相對獨立，則我們得到：

\sigma(A,\Theta)

較高的經驗證據。

微積分史中的 Newton／Leibniz，就是最知名案例之一。

這不意味：

牛頓和 Leibniz 都不重要。

反而表示：

\text{calculus-like structure}

在當時知識條件下可能已進入一個高可達區域。

同時二者的：

表示；
記號；
方法；
發表時間；
後續學派；

又不完全相同。

這正好說明：

\boxed{ \text{同一核心結構的獨立到達} \neq \text{完全相同的歷史創造事件}. }

11. 命名不是發現：eponymy 必須獨立成邊

Stigler’s law of eponymy 以半戲謔形式指出：

科學成果的名稱經常不對應真正最早發現者。

其價值不在於把這句話當成普遍定律，而是提醒：

\operatorname{Name}(\Theta)

和：

\operatorname{Origin}(\Theta)

是兩個不同變量。

因此：

THEORY --NAMED_AFTER--> PERSON

必須與：

PERSON --DISCOVERED--> THEORY

分開。

還應與：

PERSON --POPULARIZED--> THEORY
PERSON --FORMALIZED--> THEORY
PERSON --GENERALIZED--> THEORY

分開。

如此一來，就不必為了修正歷史而走向：

把名字全部刪掉。

名字可以保留為文化與歷史 alias。

但 alias 不應被誤認為 provenance graph 本身。

12. 優先權也不是單一變量

「誰是作者」通常還混入 scientific priority。

但優先權本身至少可拆成：

\mathbf P_A= ( P_{\text{conceive}}, P_{\text{record}}, P_{\text{publish}}, P_{\text{prove}}, P_{\text{formalize}}, P_{\text{generalize}}, P_{\text{diffuse}} ).

可能有人最早想到：

P_{\text{conceive}}=1,

另一人最早公開：

P_{\text{publish}}=1,

第三人建立嚴格證明：

P_{\text{prove}}=1,

第四人建立真正可廣泛使用的方法：

P_{\text{generalize}}\gg0.

所以「真正發明者是誰？」很多時候本身就是一個過度壓縮問題。

更成熟的回答應該是：

你問的是哪一種 priority？

13. 理論一旦形成，就會產生超出作者的後續軌跡

假設作者 $A$ 在時間 $t_0$ 形成理論：

A\xrightarrow{t_0}\Theta_0.

之後：

\Theta_0 \rightarrow \Theta_1 \rightarrow \Theta_2 \rightarrow \cdots

可能由完全不同的人與系統推進。

作者甚至可能：

不接受後續詮釋；
不理解某些後續用途；
已經死亡；
主動退出該研究線。

因此：

\operatorname{State}(\Theta,t)

不能被定義成：

\operatorname{Belief}(A,t).

更強地：

\boxed{ \text{作者對理論歷史具有來源地位， 但不具有永久認識論主權。} }

作者說：

我的理論真正意思不是這樣。

這句話對：

\text{historical intent}

具有重要證據價值。

但對：

\text{theory's actual derivable structure}

沒有絕對否決權。

14. 「作者不是理論」也不等於「作者不重要」

如果過度去作者化，也會犯另一種錯。

一個理論不是突然從真空中掉下來。

其形成事件：

H_\Theta

可能高度依賴：

個體認知能力；
問題選擇；
長期訓練；
特殊表示能力；
風險承擔；
審美判斷；
不尋常的跨域聯結。

所以即使：

\Theta\neq A,

仍可能有：

K_A(\Theta)\gg0.

即作者對該理論形成具有巨大反事實影響。

因此本文反對兩個極端：

\text{Theory}=\text{Author}

以及：

\text{Author is irrelevant}.

正確形式是：

\boxed{ A\xrightarrow{\tau}\Theta, \qquad A\neq\Theta. }

其中 $\tau$ 保存具體貢獻關係。

15. 從「作者」進一步分裂成多種生成角色

在未來 AI 共研環境中，「作者」這個字還會更不夠用。

可能存在：

A_H=\text{human actor},

A_{AI}=\text{AI actor},

A_G=\text{group actor},

A_M=\text{mixed human-AI actor}.

一個結果可能是：

Human --DEFINED_PROBLEM--> Problem
AI --GENERATED_CANDIDATE--> Candidate
AI_2 --FORMALLY_VERIFIED--> Proof
Human --INTERPRETED--> Meaning
Group --GENERALIZED--> Theory

如果最後論文署名只留下：

\text{one person},

就會產生極大的 provenance loss。

因此未來更好的知識制度可能不是只有：

author = X

而是：

provenance_graph = {...}

人名仍然存在。

但人物不再承擔整個生成圖。

16. 高階 AI 可能如何看待歷史人名理論？

成熟 AI 完全可以保留：

「傅立葉分析以 Joseph Fourier 命名。」

這是一個：

\text{historical alias}.

但其內部操作的主要節點可能是：

\mathcal T_{\text{frequency decomposition}},

而不是：

\mathcal T_{\text{Fourier-person}}.

類似地，它可能同時保存：

\text{Riemann} \rightarrow \text{historical provenance},

以及：

\mathcal S_{\text{metric-curvature manifold}} \rightarrow \text{operational mathematical structure}.

於是：

\boxed{ \text{human-readable history} \neq \text{operational knowledge topology}. }

這不是抹除人類。

反而是把「誰做了什麼」記得更精確。

17. HSNRD／TATS 的最小資料模型

可以建立：

KnowledgeProvenanceRecord
- node_id
- node_type
- structure_id
- representation_id
- actor_ids
- contribution_edges
- first_recorded_at
- first_published_at
- independent_discovery_candidates
- dependency_nodes
- structural_invariants
- representation_choices
- counterfactual_separability
- acceleration_delta_t
- evidence_refs
- uncertainty
- historical_aliases

其中關係：

DISCOVERED_BY
INVENTED_BY
FORMALIZED_BY
PROVED_BY
NAMED_BY
GENERALIZED_BY
POPULARIZED_BY
IMPLEMENTED_BY
VERIFIED_BY
INHERITED_FROM

必須是不同 edge type。

禁止：

AUTHOR_OF = owns_all_causal_credit

這個粗暴捷徑。

18. 本篇十條核心命題

命題 A：作者—理論非同一性

A\neq\Theta.

命題 B：關係保存原則

作者與理論應分節點，但貢獻邊不得刪除。

命題 C：表示—結構分離

\rho(\mathcal S)\neq\mathcal S.

特定符號與表示不必等於其所表示結構。

命題 D：發現—發明非必然二分

一個理論可以同時具有 discovery-like 與 invention-like 成分。

命題 E：耦合創造原則

若表示選擇與結構發現互相生成，應標記為 coupled creation。

命題 F：反事實可分離性

作者與理論的歷史耦合程度可以用：

\sigma(A,\Theta;\Delta t)

進行條件化估計。

命題 G：命名—來源分離

\operatorname{Name}(\Theta) \neq \operatorname{Origin}(\Theta).

命題 H：優先權向量化

「誰第一」必須先說明是 conception、publication、proof、formalization 或 diffusion。

命題 I：作者無永久認識論主權

理論形成後的可推導結構與後續演化不能永久等同於原作者意圖。

命題 J：去人格化不等於去功績

分離作者與理論，是為了更精確保存功績，而不是刪除作者。

19. 結論

人類知識史長期依靠人名壓縮複雜生成過程。

這是一個高效的文化接口：

\text{complex provenance graph} \rightarrow \text{person name}.

但它是有損壓縮。

當我們需要進行更精確的因果歸因、普通人貢獻重建、AI 共研治理或高階智慧體知識建模時，就必須重新展開這個壓縮。

本文因此提出：

\boxed{ \text{Theory} \neq \text{Author} \neq \text{Representation} \neq \text{Name}. }

同時保留：

\boxed{ \text{Author} \xrightarrow{\text{typed contribution}} \text{Theory}. }

真正成熟的反崇拜不是把 Newton、Riemann、Grothendieck、Turing 或任何極端個體從歷史刪除。

而是能夠同時說：

這個人的貢獻非常巨大。

以及：

這個理論不是這個人本身。

也能夠進一步問：

哪一部分是他首先發現？

哪一部分是他設計？

哪一部分是表示法？

哪一部分在當時已可能被其他路徑獨立取得？

哪一部分因他而提前數十年？

哪一部分其實由後來共同體完成？

因此，本篇最終原則是：

\boxed{ \text{保留來源，但不要把來源神格化為結構； 保留作者，但不要把作者誤認為理論。} }

這也為下一篇的真正核心問題建立條件：

如果作者與理論已經被分開，我們究竟如何嚴格詢問——沒有他，世界還會如此嗎？

參考文獻與理論對照

Merton, Robert K. The Sociology of Science: Theoretical and Empirical Investigations.

Stigler, Stephen M. “Stigler’s Law of Eponymy.” 1980.

Borovik, Alexandre. “Mathematics Discovered, Invented, and Inherited.” 2013.

Benacerraf, Paul. “What Numbers Could Not Be.” 1965.

Shapiro, Stewart. Philosophy of Mathematics: Structure and Ontology.

Reck, Erich H.; Price, Michael P. “Structures and Structuralism in Contemporary Philosophy of Mathematics.”

Stanford Encyclopedia of Philosophy. “Structuralism in the Philosophy of Mathematics.”

Stanford Encyclopedia of Philosophy. “Scientific Discovery.”

Skinner, Quentin. “Meaning and Understanding in the History of Ideas.” 1969.

Nauenberg, Michael. “Barrow and Leibniz on the Fundamental Theorem of the Calculus.” 2011.

系列下一篇：

《沒有他，世界還會如此嗎？反事實歷史與不可替代性的重新定義》

03_理論是理論作者是作者_發現發明與耦合創造的型別分離