未執行的無限是否已經完成？數字生成、極限算子與程序本體論
摘要
當人們爭論 0.999 … 0.999\ldots 0.999 … 1 1 1 0.999 … 0.999\ldots 0.999 … 1 1 1
本文提出一套程序本體論分型。首先，數字本身不會自動演化；只有在指定狀態空間、初始狀態、演化算子與索引參數後，才能談狀態轉移。其次，數學序列 a : N → X a:\mathbb N\to X a : N → X
Lim : ( a n ) n ∈ N ↦ L \operatorname{Lim}:(a_n)_{n\in\mathbb N}\mapsto L Lim : ( a n ) n ∈ N ↦ L 作用於整個序列的漸近結構，不是序列內部的下一個後繼步驟。由此，對
a n = 1 − 10 − n a_n=1-10^{-n} a n = 1 − 1 0 − n 可以同時成立：每一有限項都小於 1 1 1 1 1 1 1 1 1 1 1 1
本文進一步區分操作語義、指稱語義、物理執行語義與觀測語義，提出「生成—執行—完成三分律」「索引—時間非同一命題」「極限外部算子命題」及「未執行無限三難」。本文並將此框架連接到過程科學與算子本體論：過程、軌跡、結果與不動點必須作為不同型別保存；計算可以顯化結果，但數學指稱不等於物理執行痕跡。本文的目的不是裁決柏拉圖主義、形式主義、構造主義或直覺主義何者為最終本體論，而是建立一個能使不同立場在同一型別框架下被準確比較的中立接口。
關鍵詞： 程序本體論、未執行的無限、潛無限、完成無限、極限算子、數字生成、操作語義、指稱語義、過程科學、算子本體論
一、問題不只是「算不算得出來」
若只問標準實數中的數值，則：
0.999 … = 1 0.999\ldots=1 0.999 … = 1 已有完整答案。令：
a n = 0. 99 … 9 ⏟ n 個 9 = 1 − 10 − n , a_n=0.\underbrace{99\ldots9}_{n\text{ 個 }9}
=1-10^{-n}, a n = 0. n 個 9 99 … 9 = 1 − 1 0 − n , 則：
lim n → ∞ a n = 1. \lim_{n\to\infty}a_n=1. n → ∞ lim a n = 1. 但公共爭議中的真正疑問往往不是這個極限計算，而是：
省略號是否代表一個正在執行的程序？
如果沒有任何主體或機器執行，後面的數位是否已經生成？
永遠不能在有限時間內完成的程序，是否可以有完成輸出？
極限值是程序最後產生的狀態，還是外部數學算子指定的值？
抽象數學對象的完成性，是否等於物理過程的完成性？
這些問題屬於程序、時間、指稱與存在方式，而不只是算術。
因此，本文先建立基本分離：
可生成性 ≠ 實際執行 , \text{可生成性}
\neq
\text{實際執行}, 可生成性 = 實際執行 , 實際執行 ≠ 完成輸出 , \text{實際執行}
\neq
\text{完成輸出}, 實際執行 = 完成輸出 , 完成輸出 ≠ 抽象指稱 , \text{完成輸出}
\neq
\text{抽象指稱}, 完成輸出 = 抽象指稱 , 抽象指稱 ≠ 物理存在 . \text{抽象指稱}
\neq
\text{物理存在}. 抽象指稱 = 物理存在 . 只有完成這些分型，才能回答「未執行的無限是否已經完成」。
二、數字本身不會自動演化
2.1 數與狀態轉移不是同一型別
一個數 x x x
x ∈ R x\in\mathbb R x ∈ R 並不包含：
x ⟶ y . x\longrightarrow y. x ⟶ y . 若要談演化，至少需要四元組：
P = ( X , x 0 , T , J ) , \mathcal P=(X,x_0,T,J), P = ( X , x 0 , T , J ) , 其中：
X X X x 0 ∈ X x_0\in X x 0 ∈ X T : X → X T:X\to X T : X → X J J J N \mathbb N N
離散演化才可寫成：
x n + 1 = T ( x n ) . x_{n+1}=T(x_n). x n + 1 = T ( x n ) . 因此，「數字在我們不計算時會不會自己往後生成」包含一個先行錯置：不是數字自己生成，而是某個已指定的算子定義了一條可能軌跡。
2.2 規則存在不等於規則正在執行
給定：
T ( x ) = x + 9 10 , T(x)=\frac{x+9}{10}, T ( x ) = 10 x + 9 , 與初始值：
x 1 = 0.9 , x_1=0.9, x 1 = 0.9 , 我們可以定義：
x n + 1 = T ( x n ) . x_{n+1}=T(x_n). x n + 1 = T ( x n ) . 這足以確定：
x 2 = 0.99 , x_2=0.99, x 2 = 0.99 , x 3 = 0.999. x_3=0.999. x 3 = 0.999. 但公式存在並不表示宇宙中的某台機器正在逐位寫出 9 9 9
Rule ( T ) \operatorname{Rule}(T) Rule ( T ) 與：
Run ( T , M , t ) , \operatorname{Run}(T,M,t), Run ( T , M , t ) , 其中 M M M t t t
三、序列在標準數學中是靜態函數
3.1 序列的外延定義
在標準數學中，序列通常定義為函數：
a : N → X . a:\mathbb N\to X. a : N → X . 它將每一個自然數索引 n n n a n a_n a n a 1 a_1 a 1 a 2 a_2 a 2 a 3 a_3 a 3
因此：
序列具有順序 \centernot ⇒ 序列正在時間中運行 . \text{序列具有順序}
\centernot\Rightarrow
\text{序列正在時間中運行}. 序列具有順序 \centernot ⇒ 序列正在時間中運行 . 順序是定義域 N \mathbb N N
3.2 數學軌跡與執行痕跡
令抽象軌跡為：
τ m a t h = ( a 1 , a 2 , a 3 , … ) . \tau_{\mathrm{math}}=(a_1,a_2,a_3,\ldots). τ math = ( a 1 , a 2 , a 3 , … ) . 令某台機器在時間 t t t
τ e x e c ( t ) = ( a 1 , a 2 , … , a N ( t ) ) , \tau_{\mathrm{exec}}(t)
=(a_1,a_2,\ldots,a_{N(t)}), τ exec ( t ) = ( a 1 , a 2 , … , a N ( t ) ) , 其中 N ( t ) N(t) N ( t ) t t t
只要機器在有限時間內只能完成有限步，就有：
N ( t ) < ∞ N(t)<\infty N ( t ) < ∞ 對所有有限 t t t
τ e x e c ( t ) ≠ τ m a t h . \tau_{\mathrm{exec}}(t)
\neq
\tau_{\mathrm{math}}. τ exec ( t ) = τ math . 抽象序列可以被定義為無限對象，實際痕跡卻始終有限。這不是矛盾，而是兩者型別不同。
四、索引不是物理時間
4.1 自然數索引只表達位置
在：
a n = 1 − 10 − n a_n=1-10^{-n} a n = 1 − 1 0 − n 中， n n n
θ : R ≥ 0 → N , \theta:\mathbb R_{\geq0}\to\mathbb N, θ : R ≥ 0 → N , 否則不能把 n n n
因此：
n → ∞ n\to\infty n → ∞ 是數學極限中的索引行為，不等於某個物理時間真的抵達：
t = ∞ . t=\infty. t = ∞. 4.2 「永遠繼續」的兩種語義
第一種是數學量化語義：
∀ n ∈ N , \forall n\in\mathbb N, ∀ n ∈ N , 總有下一個自然數 n + 1 n+1 n + 1
第二種是物理執行語義：對每個有限時間 t t t
二者可以相關，卻不能直接等同。物理系統可能停止、故障、缺乏能量或受有限宇宙資源限制；抽象自然數後繼規則則不因機器停止而失效。
本文將此整理為：
索引—時間非同一命題： 數學索引的無界性不蘊涵任何特定物理執行具有無限持續時間或已完成無限步驟。
形式上：
Unbounded ( J ) \centernot ⇒ CompletedSteps ( M , t ) = ∞ . \operatorname{Unbounded}(J)
\centernot\Rightarrow
\operatorname{CompletedSteps}(M,t)=\infty. Unbounded ( J ) \centernot ⇒ CompletedSteps ( M , t ) = ∞. 五、操作語義與指稱語義
計算機科學中的操作語義與指稱語義提供了有用的比較工具。
5.1 操作語義
操作語義描述一個表達式如何依規則逐步轉移：
s 0 → s 1 → s 2 → ⋯ . s_0\to s_1\to s_2\to\cdots. s 0 → s 1 → s 2 → ⋯ . 若把 0.999 … 0.999\ldots 0.999 …
0.9 → 0.99 → 0.999 → ⋯ . 0.9
\to
0.99
\to
0.999
\to
\cdots. 0.9 → 0.99 → 0.999 → ⋯ . 此語義關注中間狀態與執行規則。
5.2 指稱語義
指稱語義則將一個表達式映射到抽象數學對象：
⟦ e ⟧ ∈ D . \llbracket e\rrbracket\in D. [ [ e ] ] ∈ D . 對標準無限小數：
⟦ 0.999 … ⟧ R = 1. \llbracket0.999\ldots\rrbracket_{\mathbb R}=1. [ [ 0.999 … ] ] R = 1. 此語義不要求先物理執行每個中間步驟；它直接說明整個表達式所指稱的值。
5.3 兩種語義不必互相否定
對同一規則，可以同時研究：
Op ( R ) = 逐步生成軌跡 \operatorname{Op}(R)=\text{逐步生成軌跡} Op ( R ) = 逐步生成軌跡 與：
Den ( R ) = 規則的抽象指稱或極限值 . \operatorname{Den}(R)=\text{規則的抽象指稱或極限值}. Den ( R ) = 規則的抽象指稱或極限值 . 在良好設計的語義理論中，常希望二者具有某種一致性。但一致性不表示二者是同一型別：
Op ( R ) ≠ Den ( R ) . \operatorname{Op}(R)
\neq
\operatorname{Den}(R). Op ( R ) = Den ( R ) . 就本案例而言：
Op ( R ) = ( 0.9 , 0.99 , 0.999 , … ) , \operatorname{Op}(R)
=(0.9,0.99,0.999,\ldots), Op ( R ) = ( 0.9 , 0.99 , 0.999 , … ) , 而：
Den ( R ) = 1. \operatorname{Den}(R)=1. Den ( R ) = 1. 把前者問成「何時在有限步驟等於 1 1 1 1 1 1
六、極限不是序列的下一步
6.1 內部後繼與外部算子
序列內部的演化由：
a n + 1 = T ( a n ) a_{n+1}=T(a_n) a n + 1 = T ( a n ) 給出。對 a n = 1 − 10 − n a_n=1-10^{-n} a n = 1 − 1 0 − n
T ( x ) = x + 9 10 . T(x)=\frac{x+9}{10}. T ( x ) = 10 x + 9 . 每一次作用都只產生另一個有限截斷：
T ( a n ) = a n + 1 < 1. T(a_n)=a_{n+1}<1. T ( a n ) = a n + 1 < 1. 但極限算子是：
Lim : ( a n ) n ∈ N ↦ L . \operatorname{Lim}:(a_n)_{n\in\mathbb N}\mapsto L. Lim : ( a n ) n ∈ N ↦ L . 它的輸入是整個序列，而不是單一項 a n a_n a n
Lim ( a ) ≠ T ( a n ) \operatorname{Lim}(a)
\neq
T(a_n) Lim ( a ) = T ( a n ) 對任何固定有限 n n n
6.2 沒有 a ∞ a_{\infty} a ∞
標準實分析不把 ∞ \infty ∞
a ∞ = 1. a_{\infty}=1. a ∞ = 1. 它只證明：
∀ ε > 0 , ∃ N ∈ N , n ≥ N ⇒ ∣ a n − 1 ∣ < ε . \forall\varepsilon>0,
\quad
\exists N\in\mathbb N,
\quad
n\geq N
\Rightarrow
|a_n-1|<\varepsilon. ∀ ε > 0 , ∃ N ∈ N , n ≥ N ⇒ ∣ a n − 1∣ < ε . 極限描述全部尾端的統一行為，不是補上一個「無限之後的項」。
本文稱此為：
極限外部算子命題： 在標準序列理論中，極限是作用於完整序列的高階判定算子，不是原序列內部的有限後繼操作。
七、 0.999 … 0.999\ldots 0.999 …
令：
a n = 1 − 10 − n . a_n=1-10^{-n}. a n = 1 − 1 0 − n . 以下四個命題可以同時成立。
7.1 有限階段命題
∀ n ∈ N , a n < 1. \forall n\in\mathbb N,
\quad
a_n<1. ∀ n ∈ N , a n < 1. 7.2 有限執行命題
若任何有限時間只能執行有限步，則：
∀ t < ∞ , a N ( t ) < 1. \forall t<\infty,
\quad
a_{N(t)}<1. ∀ t < ∞ , a N ( t ) < 1. 7.3 極限命題
lim n → ∞ a n = 1. \lim_{n\to\infty}a_n=1. n → ∞ lim a n = 1. 7.4 標準指稱命題
若通常無限十進位以有限截斷極限求值，則：
⟦ 0.999 … ⟧ R = 1. \llbracket0.999\ldots\rrbracket_{\mathbb R}=1. [ [ 0.999 … ] ] R = 1. 因此：
沒有任何有限步抵達 1 \text{沒有任何有限步抵達 }1 沒有任何有限步抵達 1 與：
該無限展開表示 1 \text{該無限展開表示 }1 該無限展開表示 1 並不矛盾。前者談操作軌跡；後者談指稱值。
八、 0.9 , 0.99 , … 0.9,0.99,\ldots 0.9 , 0.99 , … 1 , 2 , 3 , … 1,2,3,\ldots 1 , 2 , 3 , …
省略號容易造成錯覺，彷彿所有無限序列都只是「一直往後」。但不同生成算子具有不同動力學。
8.1 自然數後繼序列
令：
b n = n , b_n=n, b n = n , 其生成算子是：
S ( x ) = x + 1. S(x)=x+1. S ( x ) = x + 1. 相鄰差固定：
b n + 1 − b n = 1. b_{n+1}-b_n=1. b n + 1 − b n = 1. 該序列在 R \mathbb R R
lim n → ∞ b n \lim_{n\to\infty}b_n n → ∞ lim b n 不存在；若使用擴充實數，才記作：
b n → + ∞ . b_n\to+\infty. b n → + ∞. 8.2 十進位收縮序列
令：
a n = 1 − 10 − n , a_n=1-10^{-n}, a n = 1 − 1 0 − n , 其生成算子是：
T ( x ) = x + 9 10 . T(x)=\frac{x+9}{10}. T ( x ) = 10 x + 9 . 與不動點 1 1 1
1 − T ( x ) = 1 − x 10 . 1-T(x)=\frac{1-x}{10}. 1 − T ( x ) = 10 1 − x . 所以每次迭代把距離縮小為原來的十分之一。其唯一不動點由：
T ( x ) = x T(x)=x T ( x ) = x 解得：
x = 1. x=1. x = 1. 兩種生成可比較如下：
性質
1 , 2 , 3 , … 1,2,3,\ldots 1 , 2 , 3 , … 0.9 , 0.99 , 0.999 , … 0.9,0.99,0.999,\ldots 0.9 , 0.99 , 0.999 , …
算子
S ( x ) = x + 1 S(x)=x+1 S ( x ) = x + 1 T ( x ) = x + 9 10 T(x)=\frac{x+9}{10} T ( x ) = 10 x + 9
相鄰變化
固定增加 1 1 1
增量逐步縮小
有界性
無界
以上界 1 1 1
不動點
無有限不動點
唯一不動點 1 1 1
實數極限
無
1 1 1
有限步是否抵達極限
不適用
否
因此，不能因為兩者都使用「 … \ldots …
九、潛無限與完成無限
9.1 潛無限
潛無限把無限理解為：對任意有限階段，總可以再進一步，但不存在一個經由有限步驟已完成的無限終點。
可寫成：
∀ n ∈ N , ∃ n + 1. \forall n\in\mathbb N,
\quad
\exists n+1. ∀ n ∈ N , ∃ n + 1. 在此視角下，生成程序始終只實現有限前綴：
τ n = ( a 1 , … , a n ) . \tau_n=(a_1,\ldots,a_n). τ n = ( a 1 , … , a n ) . 9.2 完成無限
完成無限把：
N , \mathbb N, N , ( a n ) n ∈ N , (a_n)_{n\in\mathbb N}, ( a n ) n ∈ N , 或其他無限總體作為可量化的抽象對象。標準集合論與多數現代分析通常允許這種處理。
9.3 數學完成不等於物理完成
即使接受完成無限，也不必主張宇宙中曾有一台機器完成無限次運算。應分別記為：
Complete m a t h ( a ) \operatorname{Complete}_{\mathrm{math}}(a) Complete math ( a ) 與：
Complete p h y s ( M , a , t ) . \operatorname{Complete}_{\mathrm{phys}}(M,a,t). Complete phys ( M , a , t ) . 標準分析可以接受前者，而不對後者作任何承諾：
Complete m a t h ( a ) \centernot ⇒ Complete p h y s ( M , a , t ) . \operatorname{Complete}_{\mathrm{math}}(a)
\centernot\Rightarrow
\operatorname{Complete}_{\mathrm{phys}}(M,a,t). Complete math ( a ) \centernot ⇒ Complete phys ( M , a , t ) . 這是回答「沒有人計算時，它完成了嗎」的第一個關鍵：必須先問所謂完成是數學定義完成、符號指稱完成、認知表徵完成，還是物理執行完成。
十、未執行對象的四層存在
為避免把「存在」當成單一開關，本文區分四層。
10.1 規則存在
存在一個有限描述的生成規則：
R ( n ) = 1 − 10 − n . R(n)=1-10^{-n}. R ( n ) = 1 − 1 0 − n . 這不要求所有輸出已被列印。
10.2 可查詢存在
對任意給定有限 n n n
R ( n ) . R(n). R ( n ) . 這是一種按需生成能力。
10.3 抽象總體存在
把完整函數：
R : N → Q R:\mathbb N\to\mathbb Q R : N → Q 視為單一數學對象。這需要相應的基礎立場，但不需要物理列出所有值。
10.4 實例化痕跡存在
某個具體載體已產生有限資料：
( R ( 1 ) , R ( 2 ) , … , R ( N ) ) . (R(1),R(2),\ldots,R(N)). ( R ( 1 ) , R ( 2 ) , … , R ( N )) . 四層關係可概括為：
規則存在 ⇒ 有限可查詢 , \text{規則存在}
\Rightarrow
\text{有限可查詢}, 規則存在 ⇒ 有限可查詢 , 但不必然推出：
所有輸出已物理實例化 . \text{所有輸出已物理實例化}. 所有輸出已物理實例化 . 至於規則是否足以保證抽象總體存在，則依形式基礎與哲學立場而異。
十一、觀察者不是數學極限的必要條件
11.1 不觀察不等於數值未定
在標準數學語義中，只要定義與公理已指定：
lim n → ∞ ( 1 − 10 − n ) = 1 \lim_{n\to\infty}(1-10^{-n})=1 n → ∞ lim ( 1 − 1 0 − n ) = 1 不依賴某個人在當下實際計算。證明的有效性也不因無人觀看而改變。
因此，不應把量子測量式直覺無條件移入純數學：
無人計算 \centernot ⇒ 極限沒有數值 . \text{無人計算}
\centernot\Rightarrow
\text{極限沒有數值}. 無人計算 \centernot ⇒ 極限沒有數值 . 11.2 但未觀察確實影響資料顯化
若談的是實際寫入記憶體、紙張或顯示器的數位，則沒有執行便沒有對應痕跡：
¬ Run ( R , M , t ) ⇒ ¬ Trace ( R , M , t ) . \neg\operatorname{Run}(R,M,t)
\Rightarrow
\neg\operatorname{Trace}(R,M,t). ¬ Run ( R , M , t ) ⇒ ¬ Trace ( R , M , t ) . 所以：
數學值是否確定 \text{數學值是否確定} 數學值是否確定 與：
資料是否已被顯化 \text{資料是否已被顯化} 資料是否已被顯化 是兩個不同問題。
11.3 觀察的三種角色
觀察者可以：
選擇要查詢的索引；
啟動或停止物理執行；
讀取並記錄執行痕跡。
但在標準外延數學中，觀察者不是使函數值成立的原因。本文因此採取本體中立而語義明確的表述：
計算與觀察使抽象規則的有限結果被實例化，但不必被視為創造標準數學關係本身。
十二、未執行無限三難
考慮以下三項要求。
要求 A：有限實現原則
只有經由有限時間、有限資源實際生成的輸出才算完成存在。
要求 B：無限輸出完成原則
一條永不終止的程序仍具有作為完整位流的已完成輸出。
要求 C：標準實數指稱原則
0.999 … 0.999\ldots 0.999 … 1 1 1
若「完成存在」在三項中被要求具有完全相同含義，則 A 與 B 產生張力：有限執行不能產生一個物理上已列出的無限輸出。但 C 並不要求 B 的物理完成；它只要求抽象指稱或完備化。
因此，所謂三難不是標準分析的邏輯矛盾，而是迫使討論者選擇：
區分物理完成與數學完成；或
拒絕把無限位流當成完成物理輸出；或
改採只承認有限程序與可查詢規則的構造語義；或
另行指定非標準對象，例如超有限展開。
本文將此稱為：
未執行無限三難： 若拒絕區分規則、抽象總體與物理痕跡，就無法同時清楚維持有限實現、完成無限與標準極限指稱。
十三、過程科學中的四種對象
若把問題放入過程科學，至少需要保留四種型別。
13.1 規則
R = ( X , T ) . R=(X,T). R = ( X , T ) . 它描述可能的狀態變化。
13.2 執行
Exec ( R , x 0 , M , t ) . \operatorname{Exec}(R,x_0,M,t). Exec ( R , x 0 , M , t ) . 它表示規則由載體 M M M
13.3 軌跡
τ R ( x 0 ) = ( x n ) n ∈ J . \tau_R(x_0)=(x_n)_{n\in J}. τ R ( x 0 ) = ( x n ) n ∈ J . 它可以是抽象完整軌跡，也可以是實際執行痕跡；兩者需加標記。
13.4 漸近結果
L R ( x 0 ) = Lim ( τ R ( x 0 ) ) , L_R(x_0)=\operatorname{Lim}(\tau_R(x_0)), L R ( x 0 ) = Lim ( τ R ( x 0 )) , 若極限存在。
這四者不能壓縮成：
R = Exec ( R ) = τ R = L R . R=\operatorname{Exec}(R)=\tau_R=L_R. R = Exec ( R ) = τ R = L R . 規則不是執行；執行不是完整軌跡；軌跡不是極限；極限也不是任何有限狀態。
因此，過程科學的基本原則應是：
研究狀態變化時，不只保存起點與終點，還必須標明算子、索引、實例化條件、軌跡型別及漸近判定。
十四、算子本體論的接口
14.1 存在不是只有對象，也包括可作用關係
傳統敘述常先給定對象，再問其性質。算子本體論則可進一步追問：一個對象如何由算子、約束與關係被生成、保持或轉化。
本案例可寫成：
x n + 1 = T ( x n ) , x_{n+1}=T(x_n), x n + 1 = T ( x n ) , T ( x ) = x + 9 10 . T(x)=\frac{x+9}{10}. T ( x ) = 10 x + 9 . 在此：
x n x_n x n T T T τ T \tau_T τ T 1 1 1 Lim \operatorname{Lim} Lim
14.2 局部算子與高階算子
局部算子作用於單一狀態：
T : X → X . T:X\to X. T : X → X . 高階算子作用於函數、序列或軌跡：
Lim : X N ⇀ X . \operatorname{Lim}:X^{\mathbb N}\rightharpoonup X. Lim : X N ⇀ X . 其中 ⇀ \rightharpoonup ⇀
如果把兩者混淆，就會誤以為：
Lim ( τ T ) \operatorname{Lim}(\tau_T) Lim ( τ T ) 必須由某一次：
T ( x n ) T(x_n) T ( x n ) 產生。事實上，局部演化與全局漸近判定是不同階的算子。
14.3 計算即顯化，不等於所有存在只剩物理計算
若某台機器執行 T T T
Exec M ( T , n ) ↦ ( x 1 , … , x n ) . \operatorname{Exec}_M(T,n)
\mapsto
(x_1,\ldots,x_n). Exec M ( T , n ) ↦ ( x 1 , … , x n ) . 在此意義下，計算是狀態關係的實例化與顯化。但若進一步主張「沒有物理執行便沒有任何數學對象」，就已從程序分析跨入強本體論立場。本文不把後者當成已證明結論。
因此，較穩健的表述是：
計算使算子關係取得具體時空痕跡；形式數學則使尚未被全部執行的關係可以作為抽象整體被推理。兩者相接，但不應無標記地等同。
十五、生成—執行—完成三分律
本文提出：
生成—執行—完成三分律： 對任何可能無限延續的規則 R R R
形式化為：
G ( R ) = R 對任意有限索引可生成輸出 , G(R)=\text{$R$ 對任意有限索引可生成輸出}, G ( R ) = R 對任意有限索引可生成輸出 , E ( R , M , t ) = M 在時間 t 前已執行 R , E(R,M,t)=\text{$M$ 在時間 $t$ 前已執行 $R$}, E ( R , M , t ) = M 在時間 t 前已執行 R , C ( R ∣ Ω ) = R 在完成準則 Ω 下被視為完成 . C(R\mid\Omega)=\text{$R$ 在完成準則 $\Omega$ 下被視為完成}. C ( R ∣ Ω ) = R 在完成準則 Ω 下被視為完成 . 一般而言：
G ( R ) = 1 \centernot ⇒ E ( R , M , t ) = 1 , G(R)=1
\centernot\Rightarrow
E(R,M,t)=1, G ( R ) = 1 \centernot ⇒ E ( R , M , t ) = 1 , E ( R , M , t ) = 1 \centernot ⇒ C p h y s ( R ) = 1 , E(R,M,t)=1
\centernot\Rightarrow
C_{\mathrm{phys}}(R)=1, E ( R , M , t ) = 1 \centernot ⇒ C phys ( R ) = 1 , C m a t h ( R ) = 1 \centernot ⇒ C p h y s ( R ) = 1. C_{\mathrm{math}}(R)=1
\centernot\Rightarrow
C_{\mathrm{phys}}(R)=1. C math ( R ) = 1 \centernot ⇒ C phys ( R ) = 1. 完成準則 Ω \Omega Ω
所有位數已物理列出；
規則對所有有限索引有定義；
對象已在集合論中被給定；
序列具有唯一極限；
計算程序已終止；
已取得足夠精度的近似。
若未標明 Ω \Omega Ω
十六、命題整理
命題一：數字非自主演化命題
單一數學元素 x ∈ X x\in X x ∈ X T T T
x n + 1 = T ( x n ) . x_{n+1}=T(x_n). x n + 1 = T ( x n ) . 命題二：規則—執行非同一命題
Defined ( R ) \centernot ⇒ Running ( R , M , t ) . \operatorname{Defined}(R)
\centernot\Rightarrow
\operatorname{Running}(R,M,t). Defined ( R ) \centernot ⇒ Running ( R , M , t ) . 抽象規則的存在不表示某個載體正在執行它。
命題三：索引—時間非同一命題
n ∈ N n\in\mathbb N n ∈ N 是數學索引；除非另有映射，否則它不等於物理時間。
命題四：極限外部算子命題
Lim ( a ) \operatorname{Lim}(a) Lim ( a ) 作用於整個序列 a a a
命題五：有限不可達—極限可等命題
可以同時有：
∀ n , a n ≠ L , \forall n,\quad a_n\neq L, ∀ n , a n = L , 以及：
lim n → ∞ a n = L . \lim_{n\to\infty}a_n=L. n → ∞ lim a n = L . 命題六：抽象完成—物理完成非蘊涵命題
C m a t h ( R ) = 1 \centernot ⇒ C p h y s ( R ) = 1. C_{\mathrm{math}}(R)=1
\centernot\Rightarrow
C_{\mathrm{phys}}(R)=1. C math ( R ) = 1 \centernot ⇒ C phys ( R ) = 1. 命題七：省略號語義欠定命題
未經上下文限定的省略號可能表示有限模式延續、生成指令、無限序列、級數、極限值或超有限展開。因此：
⟦ … ⟧ \llbracket\ldots\rrbracket [ [ … ] ] 不是脫離語境便唯一確定的算子。
十七、對計算系統與人工智能的含義
17.1 惰性求值
一個無限序列可以由有限生成器表示，僅在請求時產生下一項：
Next ( R , n ) = R ( n + 1 ) . \operatorname{Next}(R,n)=R(n+1). Next ( R , n ) = R ( n + 1 ) . 此時系統保存的是規則與目前狀態，而不是已物理儲存全部無限項。
17.2 符號極限與數值逼近
人工智能或計算機可以：
以符號推理證明極限；
以數值計算產生有限逼近；
以形式證明助理驗證 ε \varepsilon ε N N N
以超實數或區間算術保存不同誤差語義。
四種操作不能混為一談：
SymbolicLimit ≠ NumericApproximation ≠ ExecutionTrace . \operatorname{SymbolicLimit}
\neq
\operatorname{NumericApproximation}
\neq
\operatorname{ExecutionTrace}. SymbolicLimit = NumericApproximation = ExecutionTrace . 17.3 智能體的持續運行
一個智能體擁有可持續規則，不等於它在無人提示時必然持續執行。仍需：
長駐計算載體；
排程或事件觸發器；
能源與資源；
狀態持久化；
權限與終止條件。
因此：
自主規則 ≠ 長駐執行 . \text{自主規則}
\neq
\text{長駐執行}. 自主規則 = 長駐執行 . 這與數字生成問題具有相同結構：規則描述可能行為，執行基礎設施使行為進入時間。
十八、研究限制與立場邊界
第一，本文不否認標準實分析中 0.999 … = 1 0.999\ldots=1 0.999 … = 1
第二，本文不主張數學序列必須是柏拉圖式實體。將序列視為集合論函數、形式項、構造規則或可計算接口，分屬不同基礎立場；本文只要求標明立場。
第三，本文不把所有構造主義等同於拒絕無限總體。構造數學內部存在多種系統，對自然數、實數及存在量詞的處理也不完全一致。
第四，本文不主張沒有觀察者便沒有數學真理。觀察與執行影響資料顯化，但標準數學關係是否成立是另一層問題。
第五，本文不把索引過程直接物理化。 n → ∞ n\to\infty n → ∞
第六，本文所稱「算子本體論接口」是理論建模方向，不是已由 0.999 … = 1 0.999\ldots=1 0.999 … = 1
第七，本文不主張所有過程都有極限。極限算子是偏函數：
Lim : X N ⇀ X , \operatorname{Lim}:X^{\mathbb N}\rightharpoonup X, Lim : X N ⇀ X , 只有滿足相應收斂條件時才有定義。
十九、結論
「未執行的無限是否已經完成」沒有脫離完成準則的單一答案。
若所謂完成是：
所有輸出均已在物理載體中生成 , \text{所有輸出均已在物理載體中生成}, 所有輸出均已在物理載體中生成 , 那麼任何有限時間、有限資源的普通執行都沒有完成無限位流。
若所謂完成是：
規則對每個有限索引均有確定輸出 , \text{規則對每個有限索引均有確定輸出}, 規則對每個有限索引均有確定輸出 , 則一個有限描述的生成器可以提供完整的按需可查詢性，而不必預先列出所有項。
若所謂完成是：
無限序列已作為抽象函數被給定 , \text{無限序列已作為抽象函數被給定}, 無限序列已作為抽象函數被給定 , 則標準外延數學可以把整個序列視為完成對象。
若所謂完成是：
序列具有唯一極限值 , \text{序列具有唯一極限值}, 序列具有唯一極限值 , 則：
Lim ( 1 − 10 − n ) = 1. \operatorname{Lim}(1-10^{-n})=1. Lim ( 1 − 1 0 − n ) = 1. 這些答案並不互相否定，因為它們使用不同的完成謂詞。
因此，對 0.999 … 0.999\ldots 0.999 …
∀ n ∈ N , 0. 99 … 9 ⏟ n < 1 , \forall n\in\mathbb N,
\quad
0.\underbrace{99\ldots9}_{n}<1, ∀ n ∈ N , 0. n 99 … 9 < 1 , ∀ t < ∞ , 普通有限執行只產生有限前綴 , \forall t<\infty,
\quad
\text{普通有限執行只產生有限前綴}, ∀ t < ∞ , 普通有限執行只產生有限前綴 , 但：
lim n → ∞ 0. 99 … 9 ⏟ n = 1 , \lim_{n\to\infty}
0.\underbrace{99\ldots9}_{n}
=1, n → ∞ lim 0. n 99 … 9 = 1 , 而在標準實數指稱語義下：
⟦ 0.999 … ⟧ R = 1. \llbracket0.999\ldots\rrbracket_{\mathbb R}=1. [ [ 0.999 … ] ] R = 1. 1 1 1
本文最終提出：
可生成不等於已執行，已執行不等於已完成，數學完成不等於物理完成，極限值也不等於序列的最後一步。未執行的無限能否被視為完成，取決於我們是在談規則、抽象總體、指稱值，還是時空中的實際痕跡。
這項分型使程序觀與結構觀不必互相消滅：程序保存生成路徑，結構保存全局關係，極限保存漸近結果，執行保存具體痕跡。只有將四者同時保留，過程科學與算子本體論才不會把「存在」「計算」「演化」與「完成」壓縮成同一個未分型的詞。
附錄 A：符號表
符號
含義
X X X 狀態空間
x 0 x_0 x 0 初始狀態
T : X → X T:X\to X T : X → X 局部演化算子
J J J 索引集合
a : N → X a:\mathbb N\to X a : N → X 抽象序列
τ m a t h \tau_{\mathrm{math}} τ math 抽象數學軌跡
τ e x e c ( t ) \tau_{\mathrm{exec}}(t) τ exec ( t ) 時間 t t t
N ( t ) N(t) N ( t ) 時間 t t t
Lim \operatorname{Lim} Lim 極限算子
Op \operatorname{Op} Op 操作語義
Den \operatorname{Den} Den 指稱語義
Exec \operatorname{Exec} Exec 由具體載體執行規則
G ( R ) G(R) G ( R ) 規則 R R R
E ( R , M , t ) E(R,M,t) E ( R , M , t ) 載體 M M M t t t
C ( R ∣ Ω ) C(R\mid\Omega) C ( R ∣ Ω ) 在完成準則 Ω \Omega Ω
附錄 B：省略號語義判定表
省略號解釋
對象型別
是否需要實際執行
是否已有完成值
模式提示
有限語法規則
否
不一定
下一步指令
程序
執行時需要
不一定
所有有限截斷
序列
否
序列作為對象時有
無限級數
級數
否
收斂時有和
極限記號
高階求值
否
收斂時有
惰性位流
可查詢生成器
按需執行
只有有限痕跡
物理輸出流
時間中的資料
是
普通有限時間內不完成
超有限展開
非標準對象
否
依超整數索引而定
參考文獻
Sfard, A. “On the Dual Nature of Mathematical Conceptions: Reflections on Processes and Objects as Different Sides of the Same Coin .” Educational Studies in Mathematics , 22, 1991, 1–36.
Plotkin, G. D. “A Structural Approach to Operational Semantics .” Originally DAIMI FN-19, Aarhus University, 1981; republished in Journal of Logic and Algebraic Programming , 60–61, 2004, 17–139.
Scott, D. S., & Strachey, C. Toward a Mathematical Semantics for Computer Languages . Programming Research Group Technical Monograph PRG-6, Oxford University Computing Laboratory, 1971.
Bishop, E. Foundations of Constructive Analysis . McGraw-Hill, 1967.
Bishop, E., & Bridges, D. Constructive Analysis . Springer, 1985.
Simpson, S. G. “Potential versus Actual Infinity: Insights from Reverse Mathematics .” Annual Logic Lecture, University of Connecticut, 2015.
Tall, D., & Vinner, S. “Concept Image and Concept Definition in Mathematics with Particular Reference to Limits and Continuity .” Educational Studies in Mathematics , 12, 1981, 151–169.
Norton, A., & Baldwin, M. “Does 0.999 … 0.999\ldots 0.999 … 1 1 1 ” The Mathematics Educator , 21(2), 2012, 58–67.
Katz, K. U., & Katz, M. G. “When is .999 … .999\ldots .999 … 1 1 1 ” 2010.
文件資訊
文件類型： 數學哲學／程序語義／過程科學理論論文版本： v1.0日期： 2026-07-11狀態： 可獨立閱讀之公開研究草稿系列位置： 「無限小數、證明接受與程序本體論」三篇系列之三前置論文一： 《 0.999 … = 1 0.999\ldots=1 0.999 … = 1 前置論文二： 《證明不等於認同：數學專業壓縮、解釋斷層與中層爭議吸引域》理論接口： 過程科學、狀態變化學、算子本體論、自然語言可計算論