黑洞分寒只是讓傳幾份超計(jì)算模型、圖靈-丘奇論題相關(guān)的論文而已，怎么又惹得福地分寒那般失態(tài)，大腿都拍腫了？
先說說什么叫超計(jì)算模型。
計(jì)算機(jī)理論的基礎(chǔ)是可計(jì)算性理論，而可計(jì)算性理論的基石是“圖靈機(jī)”與“丘奇-圖靈論題”。
后者是以數(shù)學(xué)家阿隆佐·丘奇和阿蘭·圖靈命名，就仿佛熱力學(xué)第二定律一樣，有多種形式大相徑庭的表述方式。
比如：所有計(jì)算或算法都可以由一臺(tái)圖靈機(jī)來執(zhí)行。
或者：以任何常規(guī)編程語言編寫的計(jì)算機(jī)程序都可以翻譯成一臺(tái)圖靈機(jī)，反之任何一臺(tái)圖靈機(jī)也都可以翻譯成大部分編程語言的程序。
又或者：邏輯和數(shù)學(xué)中的有效或機(jī)械方法可由圖靈機(jī)來表示。
大家云山霧罩，不明所以了吧？
其實(shí)主要是概念不熟。
像質(zhì)能方程，一切物質(zhì)都潛藏著質(zhì)量乘于光速平方的能量。大家立刻能理解，是因?yàn)閷?duì)物質(zhì)、質(zhì)量、光速、能量的概念耳熟能詳。
而丘奇-圖靈論題涉及的概念大家一般不那么熟悉，于是字都認(rèn)識(shí)，連起來就莫名奇妙了。
事實(shí)上，如何界定有效方法、執(zhí)行算法、有限步驟，這些也正是該論題重點(diǎn)討論的對(duì)象。
比如第一章中曾經(jīng)出現(xiàn)的蔡廷常數(shù)，為什么叫不可計(jì)算數(shù)？
就是因?yàn)槿粢詳?shù)字為對(duì)象的集合，可計(jì)算數(shù)便是指圖靈機(jī)通過有限的通用算法可以得到的數(shù)字，基本就是所有實(shí)數(shù)。有理數(shù)靠加減乘除，無理數(shù)靠乘方開方，超越數(shù)可以用級(jí)數(shù)……
想知道√2或者π的第一億位是多少，寫一段程序運(yùn)行就是了。
但不可計(jì)算數(shù)，雖然理論上是一個(gè)常數(shù)，但理論上也證明了，永遠(yuǎn)也無法求出它來。
因?yàn)榍笏倪^程，會(huì)影響結(jié)果。
就好像蝴蝶效應(yīng)，你不想要現(xiàn)在的結(jié)局，回到從前試圖改變，但結(jié)局又會(huì)變成什么樣子，回歸迭代之前是不知道的。
甚至在此之后還有更加詭異的，語言都無法定義的數(shù)字，叫做不可定義數(shù)。雖然目前還沒有數(shù)學(xué)家成功構(gòu)造出來……
總之，1936年的一篇論文中，阿蘭·圖靈引入了圖靈機(jī)，來證明“判定性問題”是無法解決的；
而阿隆佐·邱奇利用遞歸函數(shù)和lambda可定義函數(shù)，做出了類似的論題，用來描述有效可計(jì)算性；
還是1936年，圖靈根據(jù)邱奇的工作，進(jìn)一步證明了圖靈機(jī)實(shí)際上描述的是同一集合的函數(shù)；
再之后，更多用于描述有效計(jì)算的機(jī)制被提出來，比如寄存器機(jī)器、波斯特體系、組合可定義性以及馬可夫算法等等。
這些都被證明在計(jì)算上和圖靈機(jī)擁有相同的能力，能與通用圖靈機(jī)互相模擬，就被稱為圖靈完全。
《我的世界》就被證明是圖靈完全的，樂高積木據(jù)說也是，還有萬智牌……
扯遠(yuǎn)了，這一切有什么意義呢？
意義就是，數(shù)學(xué)家和計(jì)算學(xué)家們漸漸弄清楚了，雖然形式、語言、系統(tǒng)各有不同，現(xiàn)代計(jì)算機(jī)本質(zhì)上都和圖靈機(jī)等價(jià)——現(xiàn)代計(jì)算機(jī)能完成的任務(wù)，圖靈機(jī)也一定能完成；圖靈機(jī)做不到的事情，現(xiàn)在計(jì)算機(jī)也做不到。
這就叫可計(jì)算性。
不過這都是上個(gè)世紀(jì)的研究了。
從1936年開始，其后幾年，算是奠定了現(xiàn)代計(jì)算機(jī)的理論基礎(chǔ)，此后就是工業(yè)化、微型化、規(guī)模集成、摩爾定律……只有工程上的突破，再?zèng)]有理論上的創(chuàng)新了。
但是，真的如此嗎？
科學(xué)家們好不容易開辟了一個(gè)領(lǐng)域，會(huì)滿足于取得的成績，就此躑躅不前？
不存在的！
事實(shí)上沒有多久，科學(xué)家們就對(duì)圖靈描述的可計(jì)算性不滿足了。開始思考有沒有比圖靈機(jī)更強(qiáng)的，可以實(shí)現(xiàn)圖靈機(jī)無法計(jì)算的難題的新模型。
也就是超計(jì)算模型！
量子計(jì)算機(jī)就是其中一種。
不過其計(jì)算能力本質(zhì)上還是與圖靈機(jī)等價(jià)，只是計(jì)算復(fù)雜度要優(yōu)秀的多?？梢园阎笖?shù)類難題降級(jí)到多項(xiàng)式時(shí)間內(nèi)。
這就結(jié)束了嗎？
當(dāng)然不會(huì)！
除了量子計(jì)算機(jī)，還有阿蘭·圖靈本人提出的，通過喻示“黑箱”來搞定“判定性問題”的喻示機(jī)。
而之后的大部分超計(jì)算模型，也都是基于喻示機(jī)的概念——通過將其他特性引入圖靈機(jī)，使其不受先前的計(jì)算能力限制。
所以阿蘭·圖靈偉大，被譽(yù)為“計(jì)算機(jī)科學(xué)之父”、“人工智能之父”，同樣十分著名的馮·諾依曼只是“現(xiàn)代計(jì)算機(jī)之父”。
實(shí)在是二人的關(guān)系就仿佛提出了質(zhì)能方程的愛因斯坦，與組織建造了原子彈的奧本海默。
又扯遠(yuǎn)了，類似的超計(jì)算模型還有——
Blum-Shub-Smalemachine；無限精度神經(jīng)網(wǎng)絡(luò)模型；模糊圖靈機(jī)；相對(duì)論效應(yīng)計(jì)算機(jī)；芝諾機(jī)；Fast-growingconstructsOracle；Self-similar元胞自動(dòng)機(jī)；極限遞歸模型；波計(jì)算機(jī)；量子引力計(jì)算機(jī)；CoupledTuringMachines；Hypertask模型；快子模型；概率圖靈機(jī)；無限狀態(tài)圖靈機(jī)等等……
其中有一類分外吸引兩位分寒的注意！
那叫做：封閉類時(shí)曲線計(jì)算機(jī)。
其原理，是利用廣義相對(duì)論中擁有閉合時(shí)間曲線的特殊時(shí)空來輔助計(jì)算機(jī)運(yùn)算，就如同給計(jì)算機(jī)配了一臺(tái)時(shí)間機(jī)器。
然后解題就如同源代碼、遺落戰(zhàn)境，一次過不了關(guān)，那就取檔重來一次，記憶不斷累加，錯(cuò)誤選項(xiàng)不斷排除，而時(shí)間陷入循環(huán)并不會(huì)前進(jìn)……
直到做出題目的那一刻，也就是出題的下一刻！
如此一來，似乎不可計(jì)算的蔡廷常數(shù)是不是就可以巧妙的計(jì)算出來了？
是不是仿佛科幻？
但這確實(shí)是科學(xué)家精心計(jì)算的，而且有其科學(xué)道理的模型。
甚至通用以時(shí)間循環(huán)執(zhí)行遞歸函數(shù)，在限定時(shí)間內(nèi)窮盡所有可能性，從理論上解決了祖父悖論的難題。
正常來說，大部分超級(jí)算模型都是不可實(shí)現(xiàn)的。
比如有的模型要求時(shí)間是離散的；有的模型要求所在宇宙支持時(shí)空的無限可分，或者世界線的本征時(shí)間無限；有的必須不受熱力學(xué)層面的制約……
又比如相對(duì)論時(shí)間效應(yīng)計(jì)算機(jī)要求把計(jì)算機(jī)加速到接近光速，最好是超光速，利用時(shí)間效應(yīng)，壓縮計(jì)算機(jī)的求解時(shí)間以提高效率。但那需要的能量以現(xiàn)如今的科技手段根本就是癡心妄想！
而封閉類時(shí)曲線則要求特殊類型的廣義相對(duì)論時(shí)空，同樣……
等等！
如果沒有記錯(cuò)，黑洞分寒正處于嚴(yán)重扭曲的廣義相對(duì)論時(shí)空吧？
所以黑洞分寒將參考書目一列，福地分寒就知道他的意思了！
這位分寒赫然打算將難以預(yù)測、瀕臨失控的隕落世界黑洞，彎曲折疊成能產(chǎn)生封閉類時(shí)曲線的洛倫茨流形，這樣就有機(jī)會(huì)將超級(jí)量子計(jì)算機(jī)的星機(jī)盤，改造成封閉類時(shí)曲線計(jì)算機(jī)了！
或者更通俗一點(diǎn)的說，就是造一顆時(shí)間寶石！
只不過是能編程控制，更加智能化的時(shí)間寶石，甚至可以說是一臺(tái)時(shí)間遞歸服務(wù)器。
想法真的十分大膽！新奇！讓人激動(dòng)的想發(fā)飆！
不過要實(shí)現(xiàn)也不是那么容易的。
封閉類時(shí)曲線對(duì)應(yīng)的洛倫茨流形本質(zhì)上是度量符號(hào)(p，1)的偽黎曼流形。
黎曼幾何的很多基本定理對(duì)偽黎曼流形成立，這使得我們能夠在偽黎曼流形上使用列維-奇維塔聯(lián)絡(luò)和相關(guān)的曲率張量。
但還有很多定理并不成立，比如不是每個(gè)光滑流形都可以有一個(gè)給定符號(hào)的偽黎曼度量，有一些特殊的拓?fù)渥璧K存在。
對(duì)于這塊主流數(shù)學(xué)界也還沒有徹底弄清楚呢。
想要全面徹底的解決這些問題，黑洞葉寒還需要更多的參照，追蹤更多的前沿論文。
也確實(shí)有更多的論文。
這塊屬于幾何分析領(lǐng)域，致力于用非線性微分方程的方法解決幾何與拓?fù)渲械碾y題，反過來也用幾何的直觀與想法來理解偏微分方程的結(jié)構(gòu)。
自從霍奇理論、小平邦彥嵌入定理打下基礎(chǔ)，又有卡拉比-丘理論橫空出世，這已經(jīng)成為當(dāng)今數(shù)學(xué)最熱門的領(lǐng)域之一。
之前傳的兩篇論文其實(shí)都算。
要給計(jì)算機(jī)配一臺(tái)時(shí)光機(jī)，那構(gòu)造時(shí)光機(jī)的理論肯定要搞搞清楚的。
福地葉寒于是小蜜蜂一樣忙碌起來，這邊瘋狂搜索相關(guān)的前沿論文，那邊發(fā)動(dòng)核彈打印機(jī)，狂轟濫炸。
一時(shí)間天地變色，風(fēng)雷匯聚，光芒流轉(zhuǎn)，蔚為大觀！
唉！自己的名聲，算是徹底洗不脫了！
屏幕上煙花璀璨，屏幕前，蘇星眸瞅著陳璐、劉錦顏還有莊威奪門而去的背影，只覺心如死灰。
“啊啊啊!”對(duì)著葉寒剛剛推好，有點(diǎn)清爽又有點(diǎn)刺撓的頭發(fā)，一通揉搓，仿佛搓她那兩條哈士奇！
“別鬧，別鬧！”葉寒本能的阻止蘇星眸亂來。耽誤他查論文。
不過女帝氣急敗壞的掙扎又豈是隨便能按住的？
接連幾下掙不脫，葉寒干脆回身將蘇星眸一拉，一個(gè)****錮住……
這樣不管蘇星眸怎么折騰，都只能折騰他的后背了，不耽誤看論文。
不妙！
被團(tuán)成這個(gè)姿勢(shì)的女帝瞬間生出預(yù)感。
還沒等她想明白不妙的直覺從何而來，側(cè)方大屏幕啪的切換了，秦放一眾村干部、林畫一幫十人眾、胡斯坦一幫研究員，福地幾乎所有頭面人物的大臉露出來，通過監(jiān)控齊刷刷瞅著二人。
雖然不是所有人都能進(jìn)房間，免得閉關(guān)的葉寒受到騷擾，但監(jiān)控……可以。
蘇星眸：(*??????????)
“我們有急事！真的，很急很急的事！”見蘇星眸惱羞成怒怕是要發(fā)飆，領(lǐng)頭的林畫趕緊解釋！