假設(shè)你打算買輛新車，銷售人員說：“你知道嗎，這款車不光可以在路上開?！?/p>

“喔？

“真的，你還可以用它做其他事。比如，這樣折疊起來就是一輛不錯的自行車。打開能變成一架一流的飛機。浸在水里的時候就是潛水艇。還能變身宇宙飛船喲！”

你肯定以為銷售在逗你玩。不過世界上確實存在著可塑性如此高的事物，那就是計算機。我們用飛行模擬器飛躍自由女神像，用電子表格進行財務(wù)分析，用Facebook和朋友聊天，除此之外計算機還有各種各樣其他用途。計算機就如同一臺既是汽車又是自行車還是宇宙飛船的萬能神器。

都還要歸功于計算機的兩種特性。首先，計算機是可程控的。輸入一串指令，計算機的行為就會改變。第二。計算機是通用的。只要內(nèi)存足夠，時間充裕，運用合適的程序，我們就可以讓計算機執(zhí)行任何算法流程。

計算機的程控性和通用性已經(jīng)深植于人類的文化中，成為了童叟皆知的常識。然而在其誕生伊始，可是了不起的大突破。1937年，艾倫·圖靈在一篇論文中明確道：“任何算法都可以被一通用的、可程控的計算機所執(zhí)行?！眻D靈描述的這種抽象模型通常被稱為圖靈機，是現(xiàn)代計算機的始祖。

為了實現(xiàn)自己的理念，圖靈需要證明他的通用計算機能執(zhí)行任何可以想到的算法。這可不容易。在圖靈所處的時代，還沒有真正的算法的概念，對算法還沒有嚴格的數(shù)學(xué)定義。在此之前數(shù)學(xué)家們就發(fā)現(xiàn)了很多針對諸如加法、乘法和辨別質(zhì)數(shù)的特定算法，圖靈把它們都用上了。這些還不夠。圖靈還需要證明他的通用計算機可以執(zhí)行任何算法，包括未來可能出現(xiàn)的那些。為了達到這個目的，圖靈醞釀出了幾套思路，每條思路都非正式地論證了圖靈機可以執(zhí)行任何一種算法。盡管如此，他仍然對自己非正式的論證感到異常不安。他說：“所有可提出的論證歸根結(jié)底都要付諸于直覺。正因如此，在數(shù)學(xué)上往往不能令人滿意。”

1985年，物理學(xué)家大衛(wèi)·多伊奇在理解算法本質(zhì)的道路上邁出了重要的一步。他觀察到算法需要以實體系統(tǒng)為依托。算法流程可能以多種不同面貌出現(xiàn)：用算法做乘法的人類與執(zhí)行飛行模擬器的硅質(zhì)芯片明顯是截然不同的。但它們都是實體系統(tǒng)，都受物理定律的支配。所以多伊奇得出了如下結(jié)論：每個可知的實體系統(tǒng)都可以被通用模型計算機以可知的方式完美模擬。

換言之，選擇任意的實體流程，你都可以用通用計算機將其模擬出來。一臺機器可以成功地將遵循物理定律的一切包含在內(nèi)，這是一個何其動人而獨特的見解。想模擬一顆超新星或者黑洞的形成，甚至宇宙大爆炸？多伊奇的原理告訴你，通用計算機可以模擬所有這些。從某種意義上說，如果你可以對通用計算機完全理解透徹，你就理解了所有的物理過程。

多伊奇的原理較圖靈早先的非正式論證進步了許多。如果這則原理是正確的，那么它就自動符合了通用計算機可以模擬任何算法的理論，因為算法流程究其極也是一種物理過程。你可以用通用計算機模擬算盤上的加減乘除，也可以在硅質(zhì)芯片上運行飛行模擬器，或者你選擇的任何其他事。

更進一步的是，不同與圖靈的非正式論證，多伊奇的原理可以通過修改來證明。我們可以想象用物理定律來演繹該原理。那將會使圖靈的非正式論證在物理定律中站住腳，也為算法的本質(zhì)提供一個更堅實的基礎(chǔ)。

想要達到這一步，就需要在兩方面對多伊奇的原理加以調(diào)整。首先，我們必須將計算機的概念拓展，將量子計算機囊括在內(nèi)。這可以使我們更快更有效地模擬量子過程。要知道，傳統(tǒng)計算機模擬量子過程會慢到幾乎不可能。第二，我們必須將多伊奇的原理放寬，不嚴格要求完美的模擬，而是允許一定程度的近似值。

基于這兩項調(diào)整，多伊奇原理就變成了：每個可知的實體系統(tǒng)都可以被通用模型（量子）計算機以可知的方式有效而近似地模擬。

目前還沒有人從物理定律來演繹這一形式的多伊奇原理。部分原因在于我們還不知道物理定律都是什么。尤其是我們尚不知如何將量子力學(xué)與廣義相對論相結(jié)合，因此不清楚能否用計算機模擬涉及量子引力的過程，例如黑洞的蒸發(fā)。

即使沒有量子引力理論，我們也可以質(zhì)疑計算機能否有效模擬現(xiàn)代物理學(xué)理論中的精華——粒子物理學(xué)標(biāo)準模型和廣義相對論。

針對這些問題，研究者正在積極展開研究工作。過去的數(shù)年間，物理學(xué)家約翰·裴士基與其合作者們展示了如何運用量子計算機有效地模擬幾種簡單的量子場論，也就是粒子物理學(xué)標(biāo)準模型的雛形。它們并不包含標(biāo)準模型的復(fù)雜性，但是擁有標(biāo)準模型的許多特征。雖然裴士基及其合作者們沒能成功地解釋如何模擬完整的標(biāo)準模型，他們還是克服了許多科技上的障礙?？梢灶A(yù)期在不遠的將來，模擬標(biāo)準模型的多伊奇原理將得到證明。

廣義相對論就更棘手了。廣義相對論允許奇點的存在，而奇點割裂時空的方式至今仍無人能解?？v然一干相對論者已開發(fā)出模擬某些特定物理情境的諸多技術(shù)，就我所知，還沒有人對如何有效模擬廣義相對論做出過完整和系統(tǒng)的分析。這仍然是一個懸而未決的迷人課題。

學(xué)者赫伯特·西蒙在他的著作《人工的科學(xué)》中將科學(xué)做了區(qū)分。他將科學(xué)分為物理學(xué)和生物學(xué)這種研究自然生成系統(tǒng)的科學(xué)；與計算機科學(xué)和經(jīng)濟學(xué)這種研究人造系統(tǒng)的科學(xué)。

乍看起來，人工科學(xué)應(yīng)該屬于自然科學(xué)的特例。但正如多伊奇原理所指出的，計算機這樣的人工系統(tǒng)中蘊含的特質(zhì)也許正如自然生成的系統(tǒng)一樣豐富。想象一下，我們不僅可以用計算機模擬人類的物理定律，或許甚至可以模擬其他的物理實在。用計算機科學(xué)家艾倫·凱伊的話說，“就自然科學(xué)而言，大自然給了我們一個世界，我們來發(fā)掘它的定律。就計算機而言，我們將定律裝進機器中，創(chuàng)造出一個世界?！倍嘁疗嬖頌榻y(tǒng)一自然科學(xué)與人工科學(xué)架設(shè)了一道橋梁。令人振奮的是，我們就快要證明出這一基本科學(xué)原理了。

文章來源：Quanta Magazine

文章作者：Michael Nielsen

編譯：未來論壇 商白

文章轉(zhuǎn)載請注明出處為 “未來論壇”微信賬號（ID：futureforum）

未來論壇是一個承載人類科技夢想，用科技改變世界的公益平臺；一個連接前沿科技，解讀未來趨勢的思想平臺。

未來論壇由一批時下最有影響力的互聯(lián)網(wǎng)界、投資界、科技界人士共同發(fā)起。其中有李彥宏、楊元慶、徐小平、丁健、沈南鵬、張磊等工商界翹楚，也有施一公、饒毅、張首晟等蜚聲中外的頂尖科學(xué)家。

關(guān)注我們

微信：未來論壇（ID：futureforum）

微博：@未來論壇FutureForum

官網(wǎng)：www.futureforum.org.cn