第25章 現實版的書中自有黃金屋 (第1/3頁)
大魚食小魚提示您：看後求收藏（品書網www.vodtw.tw），接著再看更方便。
兩人都是說幹就幹的型別，在和周教授商定後，葉非就入駐計算機算力實驗室。
“周教授，你手下的研究生呢？”第二天，葉非來到算力實驗室，看到整個實驗室只有周教授一人，沒有其他人。
周教授道：“這實驗室就我一人。”
“你一人？”葉非驚愕：“你手下研究生不在這實驗室？”
“我手下沒研究生。”
“沒研究生？”葉非驚訝，還有教授手下沒研究生的？
“本來有的，但走了。”
“申請調走了？”葉非問道。
讀研或讀博，如果發現導師不行，想換導師，可以有兩種選擇。
一、退學重考，重新選學校，重新選導師。
二、向學校申請換導師。
兩種選擇都比較困難。
如果重考，那又要經歷一次考研經歷。
參加過考研的人都懂，考研非常的痛苦，不亞於高考。
第二種，必須有正當理由，還要與現任導師溝通好，然後才能向學校申請換導師。
但換導師比較困難，因為這涉及到很多事情。
如果導師手下研究生減少，會減少導師手下課題經費，還有很多其他問題。
所以，非不得已，學校不會為學生換導師。
“嗯！”周教授點頭：“我們開始吧！”
“行！”葉非雖然對這事很疑惑，但也沒多問。
“我們分工合作！”周教授道：“我研究計算性理論方面，你研究集合論方面。”
圖靈等價問題，是關於可計算性理論和集合論兩大領域邊界上的問題。
可計算性理論屬於計算機數學領域，又叫做演算法理論。
“可以！”葉非點頭。
一週後！
葉非道：“周教授，我集合論的模型已經做好了，你什麼時候能好？”
“你的好了？”周教授驚愕。
“是啊！”葉非點頭。
“伱確定你的是對的？”
周教授不得不懷疑，自己連一半都沒做好，葉非就做好了。
而且，自己是計算機學院教授，不是那些三腳貓的學生。
自己連一半都沒做好，葉非這麼快就好了？
“要不您看看？”葉非道。
“好，那我就看看。”
他還真不信葉非已經做好了，肯定做的很粗心，要是其中有錯誤，自己也能指責出來。
周教授雖然不精通集合論，但葉非是不是粗心推匯出來，他還是能看出來的。
許久後，周教授驚訝，心道：“還真不是粗心推匯出來的？”
“但怎麼會這麼快呢？”
他看著一旁的葉非，眼神閃爍。
葉非道：“周教授，可以了嗎？”
“可以了！”周教授點頭：“我那個還要有半月時間。”
說到這個，周教授就有些羞恥。
虧自己還是計算機教授，速度還沒葉非快。
“我不急！”葉非道：“您先把可計算性理論解決，之後我們再進行下一步驟。”
推匯出可計算性理論和集合論，只是圖靈等價最基礎的東西。
下面還要將可計算性理論和集合論合到一起，套用到可數波雷爾等價關係中。
從可數波雷爾中，尋找到自由群，從自由群中推匯出乘積空間，從它們之間的移位尋找到群作用，最後再套用圖靈關係，尋找到等價關係。
這一系列下來，每一步都非常難。
最基礎部分是最簡單的，葉非研究集合論這麼久，還證明了兩個關於集合論的世界難題。
