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