【摘要】
1734年,愛爾蘭喬治·貝克萊主教發(fā)表《分析學(xué)家》一書,對牛頓和萊布尼茨創(chuàng)立的微積分方法進行了深刻批判。貝克萊的核心目標并非否定微積分作為數(shù)學(xué)分析工具的有效性,而是指出其在概念和邏輯上的結(jié)構(gòu)矛盾即不嚴密性。
何新1980年代數(shù)學(xué)史讀書札記(5)
【貝克萊危機】
英國喬治·貝克萊(George Berkeley)主教于1734年匿名發(fā)表《分析學(xué)家》(The Analyst)一書。這是一部針對牛頓和萊布尼茨創(chuàng)立的微積分——數(shù)學(xué)分析方法之哲學(xué)基礎(chǔ)的批判性著作。
在此書中,貝克萊對微積分中“無窮小量”進行了剖析和批評,指出其存在內(nèi)在矛盾。這一批評撼動了微分分析的概念和邏輯基礎(chǔ),史稱“貝克萊悖論”(Berkeley's paradox)。
一、貝克萊悖論的數(shù)學(xué)意義
1/微積分中的無窮小量
微分分析中的關(guān)鍵概念是“無窮小量”。
微分方法,又稱數(shù)學(xué)分析。所謂“分析”,指把變化量分解為流動性的無窮小的部分量(瞬間量)來研究其變化規(guī)律(求其變化率即求導(dǎo)數(shù))。
貝克萊針對這個無窮小概念指出,微分分析在推導(dǎo)過程中存在不可調(diào)和的邏輯矛盾。
他指出,在微分推導(dǎo)過程中,無窮小量,無論分解到多么小,始終是一個可以確定的非零量,但是最后尋求計算結(jié)果時,這個非零量卻必須被當(dāng)作零,這在概念和邏輯上是自相矛盾的。
2/微積分悖論的數(shù)學(xué)意義:
矛盾在于:Δx≠0與Δx=0,
因此貝克萊質(zhì)疑牛頓所謂流數(shù)法,關(guān)于瞬量的概念——
第一語義模糊:Δx到底是什么?一個很小很小的數(shù)?一個趨近于零的過程?還是純粹的工具性符號?
第二操作合法性缺失:為什么作為實存量先除,而后卻作為零量被拋棄?
[附注:
在早期微積分算法中,導(dǎo)數(shù)被視為兩個無窮小量的比。例如,對于函數(shù)f(x)=x2,其導(dǎo)數(shù)的計算步驟為:
第一步:計算增量
(x + Δx)2 ? x2 = 2xΔx + (Δx)2
第二步:除以Δx
[2xΔx + (Δx)2] / Δx = 2x + Δx
第三步:令Δx=0
導(dǎo)數(shù)=2x
在這一過程中,Δx的角色發(fā)生了變化:它在除法中必須是作為一種非零量,而在最終結(jié)果中又必須被當(dāng)作零。]
3/貝克萊的質(zhì)疑
貝克萊指出,Δx在同一推理過程中被賦予了相互矛盾的屬性:
? 非零(以便允許除法)
? 零(為了得到最終結(jié)果)
這種矛盾直接違反了邏輯中的矛盾律。
也就是說,在邏輯結(jié)構(gòu)上:一個對象在同一論證過程中的同一時刻,被賦予了不相容的屬性。(矛盾律)
因此貝克萊將這種動態(tài)量(牛頓所謂流數(shù)或者瞬時量)諷刺地稱為“又死又活的幽靈數(shù)”,并質(zhì)疑其本體論地位——Δx究竟是一個極小的量、一個趨近過程,還是一個純粹的符號?
貝克萊的批判深刻揭示了早期微積分理論存在的明顯邏輯漏洞,構(gòu)成了“貝克萊悖論”。
二、悖論的邏輯結(jié)構(gòu)分析
貝克萊悖論的本質(zhì)是語義歧義。
Δx在不同步驟中具有不同的語義:
? 在除法步驟中,Δx表示非零量
? 在最終步驟中,Δx表示零量
? 在某些解釋中,Δx表示趨近于零的過程
由于這些語義在同一推理中被混用,導(dǎo)致邏輯不一致。
從現(xiàn)代邏輯角度看,貝克萊悖論屬于“歧義謬誤”:同一符號在同一論證中被賦予不同含義,從而導(dǎo)致推理錯誤。
三、貝克萊悖論引發(fā)的數(shù)學(xué)危機
貝克萊的批判直接引發(fā)了數(shù)學(xué)史上的第二次數(shù)學(xué)危機。
盡管在實際應(yīng)用方面,微積分在物理和工程中取得巨大成功,但其邏輯基礎(chǔ)卻被證明是不牢固的。
數(shù)學(xué)家們意識到,必須為微積分建立嚴格的基礎(chǔ),否則其結(jié)論只能被視為經(jīng)驗性的技術(shù)工具。
貝克萊悖論被數(shù)學(xué)家希爾伯特稱為第二次數(shù)學(xué)危機,這一危機持續(xù)了約150年,直到19世紀末極限理論的建立才表面上似乎得到解決。
四、解決方案的演進
1、柯西-魏爾斯特拉斯極限論(19世紀末)
通過ε-δ語言,改變語詞說法和描述,將"無窮小"變量這個說法驅(qū)逐出數(shù)學(xué)本體論:
——不再說"Δx是無窮小",而是說"對于任意ε>0,存在δ>0,當(dāng)0<|Δx| <δ時..."< pan>
導(dǎo)數(shù)不是"最終比值",而是比值的極限。
核心策略:將動態(tài)過程轉(zhuǎn)化為靜態(tài)的、可驗證的不等式關(guān)系。
2、非標準分析(羅賓遜,1960年代)
反柯西方法,承認變量的流動性將無窮小合法化:
——構(gòu)建超實數(shù)系統(tǒng)*R,包含真正的無窮小量,
證明:在嚴格的邏輯框架內(nèi)(模型論),可以存在Δx≠0且其標準部分為0,
某種意義上" vindicates"了牛頓、萊布尼茲的直覺。
3、光滑無窮小分析(約翰貝爾,1970年代)
采用直覺主義邏輯,放棄排中律:
——無窮小量Δ滿足Δ2=0,但Δ≠0,
通過弱化邏輯系統(tǒng)(引進可兼容性多值邏輯)避免矛盾。
五、貝克萊微積分批評的真實意圖:
事實上,貝克萊主教的攻擊并非純粹數(shù)學(xué)上的嚴謹性考量,而是具有神學(xué)論戰(zhàn)目的:
? 他想證明:以牛頓、萊布尼茲為代表的"自然哲學(xué)"(科學(xué)主義)基礎(chǔ)并不比宗教信仰更可靠。
? 如果微積分這個最輝煌的智力成就都建立在邏輯矛盾之上,那么無神論者嘲笑宗教"神秘"性就是虛偽的。
? 著名的貝克萊諷刺是:"無神論者的信仰比基督徒的信仰更不合理性"。
結(jié)語:更深層的哲學(xué)啟示:
實際上,"貝克萊危機"最終沒有被"解決",而只是被轉(zhuǎn)化為不同的數(shù)學(xué)框架,使用不同的邏輯語言解釋,但是每個框架都有不同的本體論承諾和邏輯代價。
特別聲明:以上內(nèi)容(如有圖片或視頻亦包括在內(nèi))為自媒體平臺“網(wǎng)易號”用戶上傳并發(fā)布,本平臺僅提供信息存儲服務(wù)。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.