第160部分(第1/5 頁)

了。反正輸了也沒危險，權當飯前運動或者飯後消食了。

吃過晚飯後，王崎再次進入萬仙幻境。他的聯絡簿裡多出了一個其貌不揚“佚名”印記。王崎激發這個印記就會被送到馮落衣面前。

馮落衣見王崎嬉皮笑臉的，問道：“今日的比試贏了？”

“嗯。”

在得到王崎肯定的回答之後，馮落衣淡淡的“哦”了一聲。他指點王崎近一個月，比誰都清楚王崎的真是水平，自然不覺得王崎有可能會輸。

王崎見馮落衣神色有異，問道：“馮老師，今日可是有什麼特殊的訓練？”

馮落衣搖搖頭：“不是，你來看看這個。”

馮落衣拿給王崎的是一篇論文，題目為《論構造性計算》。

作者，萬法門，龐家萊。

王崎心神一震，已經反應過來了，這就是算君真正的還擊。

他不屑於挑刺，也不屑於順著敵人的路思考。他只不過是走出了自己的一部。而這一步正巧踩在算主一系、歌庭一派的七寸上。

“構造性演算法啊……居然已經出來了嗎。”

第一百四十二章　隊伍藥丸！（上）

正是因為有著超前的數學知識，所以王崎比任何人都清楚這篇算學論文的意義。

在數學的討論中，常把能具體地給出某一物件或者能給出某一物件的計算方法者稱之為可構造的。構造性數學是現代數學研究的一個重要領域，它的根本特徵就是對可構造性的強調。所謂可構造性是指能具體地給出某一物件或者能給出某一物件的計算方法。

構造性數學與古典的數學區別在於構造性的數學認為“存在就是被構造”。為了做到構造性，數學家必須重新解釋存在量詞及其其他邏輯聯結詞和量詞，以便用構造的觀點解釋包含這些邏輯表示式的命題的證明的含義。

基於構造性的計算理論有著非常強大的優勢。它非常可靠，不像集合論和邏輯數學，根基都不穩固。但是反過來說，它因為太過穩固，所以顯得非常封閉。這個理論排斥邏輯證明，排斥實無窮，排斥無數實用的、已知的方法。簡單來說，它就是將一切不可靠的、不完美的東西切除了，形成了一個有限的“完美”。

這種“殺傷力”過大的法門，正是算主所排斥的。更重要的是，正是因為這種思路將太多的方法禁制了，所以導致數學家處理問題束手束腳，本身也沒有任何實際用途。因此，這個觀念廣為指責。

而算君解決了這個問題。

算君在構造性演算法上做出了新的突破，他強硬地無視了希柏澈在這一領域做出的成就，只保留其構造部分，消除了一切非構造部分。這樣的新演算法無比簡潔，而且由於其構造性的特點，它有著很強的能行性，潛無窮的特點也更適合計算科學領域的實際應用。

一直以來，離宗都因為數學邏輯對算器學的推動作用而鄙視連宗，可是這一下，連宗的算學理論在實用性上反而超越了離宗！

“這……這不科學啊？”王崎發出了這樣的感嘆。

在地球，構造性數學實在二十世紀六十年代才問世的。到了這一階段，所有數學家的三觀都經過了哥德爾、圖靈、丘奇等大神一次又一次地毀滅性打擊，否決了無數錯路；隨後布林巴基學派、格羅滕迪克等無數數學家又找出了許多的新路。那個時候，遞迴論和現代數學邏輯已經成為了基礎性內容，可以說這個時代的數學已經和二十世紀初的數學有了天壤之別。在這樣的土壤下，構造性計算理論才得以生根、發芽。

但是這個世界、這個神州，哥德爾缺席這場歷史的盛會，“黃金對角線”斷裂，機老圖靈並沒有發揮出他應有的光芒。由於沒有人懷疑語義和語法之間存在矛盾，也就是人類語言本身