當前位置:筆趣閣>歷史軍事>從大學學霸到首席院士免費閱讀> 第25章 現實版的書中自有黃金屋
閱讀設定(推薦配合 快捷鍵[F11] 進入全屏沉浸式閱讀)

設定X

第25章 現實版的書中自有黃金屋 (1 / 3)

兩人都是說幹就幹的型別,在和周教授商定後,葉非就入駐計算機算力實驗室。

“周教授,你手下的研究生呢?”第二天,葉非來到算力實驗室,看到整個實驗室只有周教授一人,沒有其他人。

周教授道:“這實驗室就我一人。”

“你一人?”葉非驚愕:“你手下研究生不在這實驗室?”

“我手下沒研究生。”

“沒研究生?”葉非驚訝,還有教授手下沒研究生的?

“本來有的,但走了。”

“申請調走了?”葉非問道。

讀研或讀博,如果發現導師不行,想換導師,可以有兩種選擇。

一、退學重考,重新選學校,重新選導師。

二、向學校申請換導師。

兩種選擇都比較困難。

如果重考,那又要經歷一次考研經歷。

參加過考研的人都懂,考研非常的痛苦,不亞於高考。

第二種,必須有正當理由,還要與現任導師溝通好,然後才能向學校申請換導師。

但換導師比較困難,因為這涉及到很多事情。

如果導師手下研究生減少,會減少導師手下課題經費,還有很多其他問題。

所以,非不得已,學校不會為學生換導師。

“嗯!”周教授點頭:“我們開始吧!”

“行!”葉非雖然對這事很疑惑,但也沒多問。

“我們分工合作!”周教授道:“我研究計算性理論方面,你研究集合論方面。”

圖靈等價問題,是關於可計算性理論和集合論兩大領域邊界上的問題。

可計算性理論屬於計算機數學領域,又叫做演算法理論。

“可以!”葉非點頭。

一週後!

葉非道:“周教授,我集合論的模型已經做好了,你什麼時候能好?”

“你的好了?”周教授驚愕。

“是啊!”葉非點頭。

“伱確定你的是對的?”

周教授不得不懷疑,自己連一半都沒做好,葉非就做好了。

而且,自己是計算機學院教授,不是那些三腳貓的學生。

自己連一半都沒做好,葉非這麼快就好了?

“要不您看看?”葉非道。

“好,那我就看看。”

他還真不信葉非已經做好了,肯定做的很粗心,要是其中有錯誤,自己也能指責出來。

周教授雖然不精通集合論,但葉非是不是粗心推匯出來,他還是能看出來的。

許久後,周教授驚訝,心道:“還真不是粗心推匯出來的?”

“但怎麼會這麼快呢?”

他看著一旁的葉非,眼神閃爍。

葉非道:“周教授,可以了嗎?”

“可以了!”周教授點頭:“我那個還要有半月時間。”

說到這個,周教授就有些羞恥。

虧自己還是計算機教授,速度還沒葉非快。

“我不急!”葉非道:“您先把可計算性理論解決,之後我們再進行下一步驟。”

推匯出可計算性理論和集合論,只是圖靈等價最基礎的東西。

下面還要將可計算性理論和集合論合到一起,套用到可數波雷爾等價關係中。

從可數波雷爾中,尋找到自由群,從自由群中推匯出乘積空間,從它們之間的移位尋找到群作用,最後再套用圖靈關係,尋找到等價關係。

這一系列下來,每一步都非常難。

最基礎部分是最簡單的,葉非研究集合論這麼久,還證明了兩個關於集合論的世界難題。

上一章 目錄 +書籤 下一頁