第十一章 擊穿幻影之劍-《賽博英雄傳》
第(1/3)頁
尤基鼓掌。掌聲之中有三分應(yīng)付,也有三分真誠(chéng):“可是師父,這和我們說的‘內(nèi)功’……有什么關(guān)系……”
“尤基,”向山?jīng)]有正面回答,而是反問了一個(gè)問題:“你覺得,計(jì)算機(jī)這個(gè)東西,強(qiáng)大嗎?”
尤基點(diǎn)了點(diǎn)頭。控制義體。其實(shí)大半都是計(jì)算機(jī)在出力。只要有計(jì)算機(jī)在,再?gòu)?fù)雜的工程機(jī)械也可以運(yùn)轉(zhuǎn)。
尤基還知道,計(jì)算機(jī)可以以不可思議的速度計(jì)算東西,有錢人還能用它做更多的事情,比如……比如……
反正就是很厲害了。
“確實(shí)。人類生物腦的性能,如果符號(hào)運(yùn)算為基準(zhǔn)的話,計(jì)算資源可以和超級(jí)計(jì)算機(jī)相比——好吧,在這個(gè)時(shí)代,我記憶里的那點(diǎn)參數(shù)多半也算不上‘超算’了。但是,與這個(gè)硬件相匹配的軟件,優(yōu)化實(shí)在是太差了。如果單純比拼計(jì)算,追求性能,生物腦是比不過計(jì)算機(jī)的。”
這是很正常的事情。生物演化,從來就遵循“夠用就行”的原則。演化這種事,是不會(huì)追求“性能上的極致”的。一個(gè)不利性狀,只要不影響“活到生育年齡生孩子”,它就不會(huì)被自然選擇所淘汰。
自然人身上,有一大堆會(huì)引發(fā)各種傷病的智障設(shè)計(jì)。
但惟獨(dú)有一樣事情,計(jì)算機(jī)是無法與人腦相比的。
“至少在我所知道的時(shí)代里,計(jì)算機(jī)仍舊無法跳出‘計(jì)算性問題’的限制。”
尤基有些懵:“‘計(jì)算性問題’……”
“計(jì)算性問題,就是在探索,是否所有數(shù)學(xué)題,都可以依靠同一個(gè)計(jì)算方法破解。在這個(gè)基礎(chǔ)上,一個(gè)叫做阿蘭·圖靈的天才,設(shè)計(jì)出了‘圖靈機(jī)’,然后……他否定了人類關(guān)于‘可計(jì)算性’的理想。不是所有數(shù)學(xué)問題,都能被機(jī)器所破解。”
圖靈機(jī)一開始就無法理解許多問題。不是“計(jì)算資源不足,無法計(jì)算”而是“連開始計(jì)算的可能性都不存在”。
最簡(jiǎn)單的,就比如說部分幾何——注意,“部分幾何”,不是“所有”。數(shù)學(xué)中,“數(shù)字”、“幾何”、“方程”之類的概念,在一定程度上是可以相互轉(zhuǎn)化的。
但在一開始,就有很多問題,計(jì)算機(jī)無法計(jì)算,甚至無法識(shí)別。
在計(jì)算機(jī)誕生的初期,有一位教授,派遣他手下的一個(gè)研究生,去解決“計(jì)算機(jī)圖像識(shí)別”的問題——他當(dāng)時(shí)樂觀的認(rèn)為,只需要兩個(gè)月,他手下的研究生就能徹底攻克這個(gè)問題。
但事實(shí)是,這是不可能的。
一直到二十一世紀(jì),“肉眼識(shí)別驗(yàn)證碼”,也是某些網(wǎng)絡(luò)程序判斷“登陸者是否是人類”的標(biāo)準(zhǔn)。
“計(jì)算機(jī)圖形識(shí)別”是一個(gè)恐怖的學(xué)科。全世界有無數(shù)學(xué)者在為之奮斗,但程序員們?nèi)耘f將“肉眼識(shí)別驗(yàn)證碼”作為阻攔機(jī)器惡意登陸的手段。
計(jì)算機(jī)圖形識(shí)別如此困難,究其原因,很大程度上是因?yàn)椤?
“計(jì)算機(jī)能夠理解的問題,被稱作‘多項(xiàng)式時(shí)間問題’,polynomial time——也就是縮寫的p問題。計(jì)算機(jī)可以快速解決p問題。而比p問題更為困難的,則是非確定性多項(xiàng)式時(shí)間。nondeterministic polynomial time——即np問題。”
一大部分幾何問題,都位于np之內(nèi)。圖靈機(jī)可以快速的驗(yàn)證答案是否正確,卻不能快速地給出答案。而有的是幾何問題甚至還要比np還要難。
“曾經(jīng)有數(shù)學(xué)家想要證明‘p=np’,來證明所有np問題都可以被轉(zhuǎn)化成p問題,找到讓計(jì)算機(jī)成為神的路徑。我仍舊不記得成功了沒有……”
圖靈機(jī)誕生的時(shí)候,就被劃定了極限——因?yàn)樗C否了“數(shù)學(xué)具有絕對(duì)的圖靈可計(jì)算性”。
大衛(wèi)·希爾伯特先生的偉大理想,失敗了。
第(1/3)頁
主站蜘蛛池模板:
双峰县|
双峰县|
山东省|
方山县|
涞源县|
永寿县|
鹰潭市|
满城县|
奉节县|
麻阳|
商城县|
鄂托克前旗|
湟中县|
开远市|
平山县|
九江市|
松溪县|
班玛县|
正宁县|
遂平县|
屏东县|
玉林市|
甘德县|
阳春市|
达州市|
宁明县|
腾冲县|
璧山县|
平邑县|
漠河县|
阿拉善盟|
隆尧县|
玉门市|
兰考县|
富阳市|
锡林浩特市|
年辖:市辖区|
南皮县|
亚东县|
子长县|
延安市|