王崎失魂落魄地說道：“想不到啊想不到……平素裡，我居然也會產生如此嚴重的知見障……真是，一刻也放鬆不得……”

王崎如此說道。

怎麼說呢……

地球的數學史上，形式主義與直覺主義的戰爭，確實是打得慘。

但是，打完之後的故事，就不是那麼膾炙人口了。

往後一段，數學史大書特書的就是布林巴基學派，就是掌握了數學半壁江山的教皇格羅滕迪克，就是朗蘭茨綱領。

至於形式主義和直覺主義……準確來說是新形式主義和構造主義，倒是也是有人在搞。

但終歸是邊緣了，在歷史上也就不那麼耀眼了。

嗯，怎麼形容呢……

歷史系研究清代史的，總比研究南明史的要多一些不是？

明朝在如何“天子守國門，君王死社稷”，南明也只是一條丟了祖上基業的鹹魚，連逐鹿的資格都沒有。

史愛好者看到崇禎這兒，也就算了，有多少人還會專門研究南明這條鹹魚呢？

大概就是這樣了。

說實話，直覺主義和形式主義的徒子徒孫，在後續也不是沒有成就的。

比如後面的遞迴論，可以算是典型的“離宗成就”了。

但無論是離宗特徵明顯的遞迴論，還是連宗特徵明顯的型別論，它們都有一個共同的特點——那就是屬於計算機科學的一部分。

或者說，乾脆就是依附於計算機科學而活的。

換言之，都是計算機科學麾下的打工仔。

這也確實稱得上是悽悽慘慘慼戚了。

Loading...

未載入完，嘗試【重新整理】or【關閉小說模式】or【關閉廣告遮蔽】。

嘗試更換【Firefox瀏覽器】or【Chrome谷歌瀏覽器】開啟多多收藏！

移動流量偶爾打不開，可以切換電信、聯通、Wifi。

收藏網址：www.peakbooks.cc

(＞人＜；)