當前位置:筆趣閣>歷史軍事>從大學學霸到首席院士免費閱讀> 第36章 圖靈等價證明成功
閱讀設定(推薦配合 快捷鍵[F11] 進入全屏沉浸式閱讀)

設定X

第36章 圖靈等價證明成功 (1 / 3)

20年2月15日,算力實驗室!

“如果將模糊zadeh運算元的定義域擴大,就可以重新定義模糊極大極小運算元,使得滿足交換律、結合律和零元律。“

葉非皺眉思索的看著面前寫滿公式的紙:“就可以求出圖靈等價。”

現在他們已經研究到最後一步,而最後一步他們已經研究一週。

經過許多次失敗後,葉非昨天想到利用模糊運算元、神經網路和遞迴函式,求出圖靈等價。

因為圖靈等價還未證明出來,但模糊極大極小運算元神經元網路已經被證明出來。

而模糊極大極小神經元網路的計算能力和圖靈機類似。

所以,就可以用模糊極大極小神經元網路替換圖靈機,就可以求出圖靈等價。

現在關鍵是如何替換。

“周教授,來,我們用godel-kleen部分遞迴函式來求證。”

“好!”

研究到這一步,周教授感覺已經跟不上葉非的思路,葉非說什麼他就做什麼。

此時,他就是一個機器人,毫無感情的執行葉非下達的一切命令。

和葉非待的時間越久,他越發現葉非的天才。

而自己只是一個只知道執行命令的廢物。

對,和葉非在一起,你別有思想,只把自己當廢物。

如果有思想,最終你會發現,最終自己還是廢物。

既然如此,不如一開始就把自己當廢物。

反正,最後課題會研究出來,只需要耐心等著享受成果。

周教授不會像葉非的導師魯一山一樣,魯一山會反思自己為何廢物。

而周教授不會,他是完全把自己當廢物。

魯一山會因為自己在課題中起不到太大作用而難過,但周教授不會。

既然起不到太大作用,就聽葉非的命令,抱大腿完成課題。

魯一山會因為葉非太天才,而不想和他合作。

周教授不會,越天才越好,越天才自己要更加抱緊大腿,多多合作。

他還想著,圖靈等價證明出來後,下一次兩人再次合作。

下午五點!

【圖靈等價任務完成(100)

獎勵:100積分】

“呼……”葉非長呼一口氣,看著身旁的周教授,笑道:“周教授,我們成功了。”

“啊……”周教授如夢初醒,問道:“成功了嗎?”

“嗯!”葉非點頭:“成功了,你看這一步。”

說著葉非指著紙上的一段公式。

“當相等判定函式與布林選擇函式合在一起,模糊極大極小神經元網路就可以替換圖靈機,也就證明出圖靈等價。”

葉非笑道:“接下來的收尾工作交給你了。”

下面是驗算,經過系統的提醒,他知道,他的證明是成功的。

但驗算是每一個證明後必定要走的程式,所以,他把這個任務交給周教授。

“沒問題!”周教授笑道。

圖靈等價大部分工作是葉非做的,所以,為了抱緊大腿,其餘工作周教授會做。

“論文通訊作者你要來當嗎?”葉非問道。

每一個難題被證明後必定要寫論文,葉非沒問周教授誰寫論文。

誰寫論文倒不是說費心費力。

而是寫論文的人必定是論文第一作者,第一作者在論文中是最重要的,這位置葉非不會讓出去。

雖然一作可以同時有多人,但必須是多人在論文中的貢獻相等,才能多人。

可是課題研究大部分功勞是葉非的,所以一作只能是葉非一人。

上一章 目錄 +書籤 下一頁