AK小說 www.06ak .com，最快更新走進修仙最新章節！

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

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

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

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

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

而算君解決了這個問題。

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

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

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

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

但是這個世界、這個神州，哥德爾缺席這場歷史的盛會，「黃金對角線」斷裂，機老圖靈並沒有發揮出他應有的光芒。由於沒有人懷疑語義和語法之間存在矛盾。也就是人類語言本身的缺陷。算主還在完備性的南牆上狠撞狂撞。

在這種情況下，這樣的數學應該沒有出現的可能性啊！

不過，仔細想一下，這好像也不是不可能。畢竟在地球歷史上，亨利.龐加萊死得太早，錯過了數學的大發展，也讓布勞威爾將直覺主義帶入他個人哲學怪癖的死胡同，更沒有見證到數學衍生出計算機科學、改變時代的那一天。但是算君龐家萊可是一直活著啊！

他的積累。遠遠在他地球的同位體之上。