第36章 圖靈等價證明成功
從大學學霸到首席院士 作者：大魚食小魚 投票推薦 加入書簽 留言反饋
2023年2月15日，算力實驗室！
“如果將模糊zadeh算子的定義域擴大，就可以重新定義模糊極大極小算子，使得滿足交換律、結合律和零元律。“
葉非皺眉思索的看著麵前寫滿公式的紙：“就可以求出圖靈等價。”
現在他們已經研究到最後一步，而最後一步他們已經研究一周。
經過許多次失敗後，葉非昨天想到利用模糊算子、神經網絡和遞歸函數，求出圖靈等價。
因為圖靈等價還未證明出來，但模糊極大極小算子神經元網絡已經被證明出來。
而模糊極大極小神經元網絡的計算能力和圖靈機類似。
所以，就可以用模糊極大極小神經元網絡替換圖靈機，就可以求出圖靈等價。
現在關鍵是如何替換。
“周教授，來，我們用godel-kleen部分遞歸函數來求證。”
“好！”
研究到這一步，周教授感覺已經跟不上葉非的思路，葉非說什麽他就做什麽。
此時，他就是一個機器人，毫無感情的執行葉非下達的一切命令。
和葉非待的時間越久，他越發現葉非的天才。
而自己隻是一個隻知道執行命令的廢物。
對，和葉非在一起，你別有思想，隻把自己當廢物。
如果有思想，最終你會發現，最終自己還是廢物。
既然如此，不如一開始就把自己當廢物。
反正，最後課題會研究出來，隻需要耐心等著享受成果。
周教授不會像葉非的導師魯一山一樣，魯一山會反思自己為何廢物。
而周教授不會，他是完全把自己當廢物。
魯一山會因為自己在課題中起不到太大作用而難過，但周教授不會。
既然起不到太大作用，就聽葉非的命令，抱大腿完成課題。
魯一山會因為葉非太天才，而不想和他合作。
周教授不會，越天才越好，越天才自己要更加抱緊大腿，多多合作。
他還想著，圖靈等價證明出來後，下一次兩人再次合作。
下午五點！
【圖靈等價任務完成(100%)
獎勵：100積分】
“呼……”葉非長呼一口氣，看著身旁的周教授，笑道：“周教授，我們成功了。”
“啊……”周教授如夢初醒，問道：“成功了嗎？”
“嗯！”葉非點頭：“成功了，你看這一步。”
說著葉非指著紙上的一段公式。
“當相等判定函數與布爾選擇函數合在一起，模糊極大極小神經元網絡就可以替換圖靈機，也就證明出圖靈等價。”
葉非笑道：“接下來的收尾工作交給你了。”
下麵是驗算，經過係統的提醒，他知道，他的證明是成功的。
但驗算是每一個證明後必定要走的程序，所以，他把這個任務交給周教授。
“沒問題！”周教授笑道。
圖靈等價大部分工作是葉非做的，所以，為了抱緊大腿，其餘工作周教授會做。
“論文通訊作者你要來當嗎？”葉非問道。
每一個難題被證明後必定要寫論文，葉非沒問周教授誰寫論文。
誰寫論文倒不是說費心費力。
而是寫論文的人必定是論文第一作者，第一作者在論文中是最重要的，這位置葉非不會讓出去。
雖然一作可以同時有多人，但必須是多人在論文中的貢獻相等，才能多人。
可是課題研究大部分功勞是葉非的，所以一作隻能是葉非一人。
即使讓周教授去寫，他也寫不出來。
因為課題中很多難題是葉非解決的，有些問題至今周教授都沒搞明白。
“不了！”周教授沒覺得自己在這次課題中起多大作用，他不好意思占通訊作者。
通訊作者雖然比第一作者次一點，但卻掌握著論文的版權。
並且，如果他占通訊作者這個位置，在外人看來，是他指導葉非寫論文。
他真不好意思說自己指導葉非，是葉非指導自己還差不多。
再說，如果他真占這麽大便宜，惹惱葉非，下次兩人再也沒合作機會了。
科學的抱大腿方法，需要把控好尺度。
有些便宜可以占，有些便宜不能占。
葉非點了點頭，也沒推辭，道：“那你當二作吧！”
“行！”周教授點頭：“驗算完後，我把完整的證明過程發給伱。”
在做課題的時候，所有證明資料有些雜亂，需要事後整理。
而驗算的過程中，剛好可以整理資料。
其中就有完整的證明過程。
“好！”葉非道。
分工已經明確，周教授驗算證明過程，葉非寫論文。
葉非一邊向宿舍走去，一邊心中思索：“圖靈等價問題證明成果，等到論文寫完後，開始與超算中心的合作。”
“對了，這件事不知道能不能設置成任務？”
說著，葉非在係統中設置任務。
【任務：與國家超算沙丘中心合作，創造超算算法(0%)
詳情：以數學算法創造超算算法
獎勵：50積分】
“50積分？”葉非驚愕：“積分值是解決圖靈等價這一類難題的一半了，看樣子又是一個難啃的骨頭。”
葉非以為，自己都創造出數學算法，再以數學算法去創造超算算法，應該挺簡單的。
但通過積分值看，難度有些高。
“葉非！”這時，許院長從不遠處走來。
“許院長！”葉非道。
“你準備一下，下個月和我去領獎，你計算機獎獲獎了。”
葉非眼前一亮，連追問道：“獲幾個獎？”
“你猜？”許院長笑道。
葉非搖頭，覺得許院長都五十多歲的人了，還這麽幼稚。
你猜？
你看我猜不猜？
葉非道：“下個月多少號？”
“15號。”
“好！”葉非點頭：“到時候您提前一天打電話給我。”
3月15日，距離現在還有一個月時間。
“行！”許院長點頭，問道：“你今天離開實驗室挺早啊！”
葉非道：“課題研究成功了，剩下的收尾工作全部交給周教授，我回去寫論文。”
“研究成功了？”許院長驚訝：“你是說圖靈等價？”
“嗯！”葉非點頭。
“你真成功了？”許院長驚訝的瞪大眼睛。
那可是圖靈等價，困擾無數數學家和計算機科學家八十六年難題，就這樣被證明出來了？
“真成功了。”葉非道。
“不可能吧！”許院長還是不敢相信。
“你去問問周教授就知道了。”葉非擺擺手道：“我回去了。”
他打了一個哈欠，道：“這段時間都沒睡好覺，我要回去睡一覺。”
證明圖靈等價最後階段，他和周教授沒日沒夜的工作，每天隻睡四個小時，除了吃飯和上洗手間，其餘時間都在工作。
說完後，葉非繼續向宿舍走去。
許院長快速向算力實驗室趕去。
等到算力實驗室後，求證周教授真的證明出圖靈等價。
他驚呼道：“竟然真的成功了，周教授，你可不能騙我。”
“我騙你做什麽？”周教授不耐煩的道：“過幾天葉非的論文就寫好了，你到時候就能看到了。”
“真證明出來了。”許院長驚訝的道。
他倒吸一口涼氣，心中震驚：“很少見過有人在兩個領域內都是頂級天才，而葉非就是。”
“他不僅是數學頂級天才，也是計算機頂級天才。”
“怎麽才能把他挖來呢？”
許院長心中宛若百爪撓心，對葉非更加垂涎三尺。
“如果將模糊zadeh算子的定義域擴大，就可以重新定義模糊極大極小算子，使得滿足交換律、結合律和零元律。“
葉非皺眉思索的看著麵前寫滿公式的紙：“就可以求出圖靈等價。”
現在他們已經研究到最後一步，而最後一步他們已經研究一周。
經過許多次失敗後，葉非昨天想到利用模糊算子、神經網絡和遞歸函數，求出圖靈等價。
因為圖靈等價還未證明出來，但模糊極大極小算子神經元網絡已經被證明出來。
而模糊極大極小神經元網絡的計算能力和圖靈機類似。
所以，就可以用模糊極大極小神經元網絡替換圖靈機，就可以求出圖靈等價。
現在關鍵是如何替換。
“周教授，來，我們用godel-kleen部分遞歸函數來求證。”
“好！”
研究到這一步，周教授感覺已經跟不上葉非的思路，葉非說什麽他就做什麽。
此時，他就是一個機器人，毫無感情的執行葉非下達的一切命令。
和葉非待的時間越久，他越發現葉非的天才。
而自己隻是一個隻知道執行命令的廢物。
對，和葉非在一起，你別有思想，隻把自己當廢物。
如果有思想，最終你會發現，最終自己還是廢物。
既然如此，不如一開始就把自己當廢物。
反正，最後課題會研究出來，隻需要耐心等著享受成果。
周教授不會像葉非的導師魯一山一樣，魯一山會反思自己為何廢物。
而周教授不會，他是完全把自己當廢物。
魯一山會因為自己在課題中起不到太大作用而難過，但周教授不會。
既然起不到太大作用，就聽葉非的命令，抱大腿完成課題。
魯一山會因為葉非太天才，而不想和他合作。
周教授不會，越天才越好，越天才自己要更加抱緊大腿，多多合作。
他還想著，圖靈等價證明出來後，下一次兩人再次合作。
下午五點！
【圖靈等價任務完成(100%)
獎勵：100積分】
“呼……”葉非長呼一口氣，看著身旁的周教授，笑道：“周教授，我們成功了。”
“啊……”周教授如夢初醒，問道：“成功了嗎？”
“嗯！”葉非點頭：“成功了，你看這一步。”
說著葉非指著紙上的一段公式。
“當相等判定函數與布爾選擇函數合在一起，模糊極大極小神經元網絡就可以替換圖靈機，也就證明出圖靈等價。”
葉非笑道：“接下來的收尾工作交給你了。”
下麵是驗算，經過係統的提醒，他知道，他的證明是成功的。
但驗算是每一個證明後必定要走的程序，所以，他把這個任務交給周教授。
“沒問題！”周教授笑道。
圖靈等價大部分工作是葉非做的，所以，為了抱緊大腿，其餘工作周教授會做。
“論文通訊作者你要來當嗎？”葉非問道。
每一個難題被證明後必定要寫論文，葉非沒問周教授誰寫論文。
誰寫論文倒不是說費心費力。
而是寫論文的人必定是論文第一作者，第一作者在論文中是最重要的，這位置葉非不會讓出去。
雖然一作可以同時有多人，但必須是多人在論文中的貢獻相等，才能多人。
可是課題研究大部分功勞是葉非的，所以一作隻能是葉非一人。
即使讓周教授去寫，他也寫不出來。
因為課題中很多難題是葉非解決的，有些問題至今周教授都沒搞明白。
“不了！”周教授沒覺得自己在這次課題中起多大作用，他不好意思占通訊作者。
通訊作者雖然比第一作者次一點，但卻掌握著論文的版權。
並且，如果他占通訊作者這個位置，在外人看來，是他指導葉非寫論文。
他真不好意思說自己指導葉非，是葉非指導自己還差不多。
再說，如果他真占這麽大便宜，惹惱葉非，下次兩人再也沒合作機會了。
科學的抱大腿方法，需要把控好尺度。
有些便宜可以占，有些便宜不能占。
葉非點了點頭，也沒推辭，道：“那你當二作吧！”
“行！”周教授點頭：“驗算完後，我把完整的證明過程發給伱。”
在做課題的時候，所有證明資料有些雜亂，需要事後整理。
而驗算的過程中，剛好可以整理資料。
其中就有完整的證明過程。
“好！”葉非道。
分工已經明確，周教授驗算證明過程，葉非寫論文。
葉非一邊向宿舍走去，一邊心中思索：“圖靈等價問題證明成果，等到論文寫完後，開始與超算中心的合作。”
“對了，這件事不知道能不能設置成任務？”
說著，葉非在係統中設置任務。
【任務：與國家超算沙丘中心合作，創造超算算法(0%)
詳情：以數學算法創造超算算法
獎勵：50積分】
“50積分？”葉非驚愕：“積分值是解決圖靈等價這一類難題的一半了，看樣子又是一個難啃的骨頭。”
葉非以為，自己都創造出數學算法，再以數學算法去創造超算算法，應該挺簡單的。
但通過積分值看，難度有些高。
“葉非！”這時，許院長從不遠處走來。
“許院長！”葉非道。
“你準備一下，下個月和我去領獎，你計算機獎獲獎了。”
葉非眼前一亮，連追問道：“獲幾個獎？”
“你猜？”許院長笑道。
葉非搖頭，覺得許院長都五十多歲的人了，還這麽幼稚。
你猜？
你看我猜不猜？
葉非道：“下個月多少號？”
“15號。”
“好！”葉非點頭：“到時候您提前一天打電話給我。”
3月15日，距離現在還有一個月時間。
“行！”許院長點頭，問道：“你今天離開實驗室挺早啊！”
葉非道：“課題研究成功了，剩下的收尾工作全部交給周教授，我回去寫論文。”
“研究成功了？”許院長驚訝：“你是說圖靈等價？”
“嗯！”葉非點頭。
“你真成功了？”許院長驚訝的瞪大眼睛。
那可是圖靈等價，困擾無數數學家和計算機科學家八十六年難題，就這樣被證明出來了？
“真成功了。”葉非道。
“不可能吧！”許院長還是不敢相信。
“你去問問周教授就知道了。”葉非擺擺手道：“我回去了。”
他打了一個哈欠，道：“這段時間都沒睡好覺，我要回去睡一覺。”
證明圖靈等價最後階段，他和周教授沒日沒夜的工作，每天隻睡四個小時，除了吃飯和上洗手間，其餘時間都在工作。
說完後，葉非繼續向宿舍走去。
許院長快速向算力實驗室趕去。
等到算力實驗室後，求證周教授真的證明出圖靈等價。
他驚呼道：“竟然真的成功了，周教授，你可不能騙我。”
“我騙你做什麽？”周教授不耐煩的道：“過幾天葉非的論文就寫好了，你到時候就能看到了。”
“真證明出來了。”許院長驚訝的道。
他倒吸一口涼氣，心中震驚：“很少見過有人在兩個領域內都是頂級天才，而葉非就是。”
“他不僅是數學頂級天才，也是計算機頂級天才。”
“怎麽才能把他挖來呢？”
許院長心中宛若百爪撓心，對葉非更加垂涎三尺。