第一百七十三章 成名,會議-《走進修仙》
第(1/3)頁
對于圖靈真人第一個站起來,王崎絲毫不感到意外。
因為,在地球上,寫出《論可計算數及其在判定問題上的應用》的學者,名字叫做阿蘭·圖靈——圖靈真人的同位體。
王崎相信,即使自己不發表這一篇論文,那么這位逍遙修士也會在三五年之后發表出相似的論文。
當然,王崎并不覺得自己這樣算是剽竊——實際上也很難界定這種情況。兩個世界的歷史雖然存在一定的相似之處,但是圖靈真人畢竟不是那個阿蘭·圖靈。在這個世界的歷史上,圖靈真人并沒有迸發出靈感來解決這個判定性問題。
而且王崎上輩子作為一個物理學家,也沒有無聊到將不可判定性的論文背下來。那一篇論文,是王崎自己獨立推導完成的,絕大部分都是王崎自己的原創內容。
但即便是如此,王崎依舊對圖靈真人恭敬一禮:“不敢當。若是沒有我,真人再過三五年,亦是能夠求出這一重道理。
圖靈擺擺手:“這可就未必了。我確實是有一點這方面的想法,不過我這個人性子散漫,要么在萬仙幻境里消磨時間,要么在扶桑閑晃,在專注上倒是不如諸多道友了。對我來說,你這是省了我數年的苦工?。《疫@不可判定一處,萬仙幻境很多在邏輯上的問題就可以繞解決了。再給我一年……不至多半年,我就可以讓萬仙幻境再更新一代!”
算器,始終是建立在邏輯之上的。
不完備,不可判定,都是算理邏輯領域的重大突破。
這樣的突破,又怎么可能會不帶動算器的發展?
而算器的發展意味著什么?萬仙幻境的全面升級!
萬仙幻境,乃是仙盟目前最大的倚仗之一。可以說,若大仙盟之所以能夠運轉有度,這萬仙幻境功不可沒。
可以說,這絕對是最近幾十年。實際意義最大的理論之一。
它甚至有可能開啟一個時代!
算君表情有些悻悻。他覺得,自己剛剛才說王崎的理論百無一用,結果這邊的人就大聲稱贊,這實在是很不給他面子。只不過。他對算器也是頗為感興趣的。反正在這里也沒人敢笑他不知羞,于是他干脆越過人群,直接找圖靈真人討論起來了。
他并非不懂集合論,只是反對將集合論作為算學的根基,討厭將集合論做成文字游戲。對于算器。他還是很喜歡的。
而更多的人,則將目光投射到王崎身上。
“啪啪啪?!?
第一道掌聲響起之后,才有第二道、第三道……越來越多的逍遙修士開始鼓掌。稀稀落落的掌聲逐漸連成一片。
正如馮落衣所說,不管他們承不承認,算學的歷史,又翻開了新的一頁。
這就像他們的意志無法決定太陽是否從東面出來一樣。
算學,進入了一個新的時代。
一個類似于物理領域縹緲之道的時代。
在一眾逍遙的掌聲當中,王崎走回了自己的座位。這時,他聽到了馮落衣的傳音。
“做得不錯。”
第(1/3)頁
主站蜘蛛池模板:
天峨县|
布拖县|
清涧县|
吐鲁番市|
深泽县|
宾阳县|
高雄市|
南平市|
麻栗坡县|
灌云县|
隆林|
兖州市|
白河县|
磐安县|
陆川县|
乐亭县|
广德县|
东丰县|
丰镇市|
汉寿县|
宁陕县|
黄大仙区|
阿图什市|
拉萨市|
高要市|
英德市|
固镇县|
台安县|
河北区|
镇宁|
平罗县|
三台县|
定西市|
新龙县|
郑州市|
溧阳市|
托里县|
钟祥市|
南通市|
乌鲁木齐县|
斗六市|