20年2月15日,算力實驗室!
“如果將模糊zadeh運算元的定義域擴大,就可以重新定義模糊極大極小運算元,使得滿足交換律、結合律和零元律。“
葉非皺眉思索的看著面前寫滿公式的紙:“就可以求出圖靈等價。”
現在他們已經研究到最後一步,而最後一步他們已經研究一週。
經過許多次失敗後,葉非昨天想到利用模糊運算元、神經網路和遞迴函式,求出圖靈等價。
因為圖靈等價還未證明出來,但模糊極大極小運算元神經元網路已經被證明出來。
而模糊極大極小神經元網路的計算能力和圖靈機類似。
所以,就可以用模糊極大極小神經元網路替換圖靈機,就可以求出圖靈等價。
現在關鍵是如何替換。
“周教授,來,我們用godel-kleen部分遞迴函式來求證。”
“好!”
研究到這一步,周教授感覺已經跟不上葉非的思路,葉非說什麼他就做什麼。
此時,他就是一個機器人,毫無感情的執行葉非下達的一切命令。
和葉非待的時間越久,他越發現葉非的天才。
而自己只是一個只知道執行命令的廢物。
對,和葉非在一起,你別有思想,只把自己當廢物。
如果有思想,最終你會發現,最終自己還是廢物。
既然如此,不如一開始就把自己當廢物。
反正,最後課題會研究出來,只需要耐心等著享受成果。
周教授不會像葉非的導師魯一山一樣,魯一山會反思自己為何廢物。
而周教授不會,他是完全把自己當廢物。
魯一山會因為自己在課題中起不到太大作用而難過,但周教授不會。
既然起不到太大作用,就聽葉非的命令,抱大腿完成課題。
魯一山會因為葉非太天才,而不想和他合作。
周教授不會,越天才越好,越天才自己要更加抱緊大腿,多多合作。
他還想著,圖靈等價證明出來後,下一次兩人再次合作。
下午五點!
【圖靈等價任務完成(100)
獎勵:100積分】
“呼……”葉非長呼一口氣,看著身旁的周教授,笑道:“周教授,我們成功了。”
“啊……”周教授如夢初醒,問道:“成功了嗎?”
“嗯!”葉非點頭:“成功了,你看這一步。”
說著葉非指著紙上的一段公式。
“當相等判定函式與布林選擇函式合在一起,模糊極大極小神經元網路就可以替換圖靈機,也就證明出圖靈等價。”
葉非笑道:“接下來的收尾工作交給你了。”
下面是驗算,經過系統的提醒,他知道,他的證明是成功的。
但驗算是每一個證明後必定要走的程式,所以,他把這個任務交給周教授。
“沒問題!”周教授笑道。
圖靈等價大部分工作是葉非做的,所以,為了抱緊大腿,其餘工作周教授會做。
“論文通訊作者你要來當嗎?”葉非問道。
每一個難題被證明後必定要寫論文,葉非沒問周教授誰寫論文。
誰寫論文倒不是說費心費力。
而是寫論文的人必定是論文第一作者,第一作者在論文中是最重要的,這位置葉非不會讓出去。
雖然一作可以同時有多人,但必須是多人在論文中的貢獻相等,才能多人。
可是課題研究大部分功勞是葉非的,所以一作只能是葉非一人。