第30章 計算機學院來搶人了
從大學學霸到首席院士 作者：大魚食小魚 投票推薦 加入書簽 留言反饋
中湖大學，食堂中！
葉非和賀興相對而坐，一邊吃一邊聊天。
“葉先生，各大公司已經開始出價了，出價最高的是一千萬。”
“但是，有家互聯網巨頭公司，也想買你的算法。”
“嗯？”葉非驚奇的道：“哪家巨頭公司？”
賀興道：“百度！”
“百度？”葉非詫異的道：“百度應該不需要我的算法吧！”
圖計算法浮點運算次數隻有五萬億次，像百度這樣的互聯網巨頭公司，早就應該研發出浮點運算次數達到百萬億次的算法。
而且，百度有超算，他們的超算算法浮點運算次數可能已經達到億億次數。
對於圖計算法這點浮點運算次數肯定是不需要的。
賀興道：“我也問過百度的人，他們對你算法的創造方式非常感興趣，想買來研究一下。”
“他們出價多少？”葉非問道。
“一千萬！”
葉非倒吸一口涼氣，財大氣粗啊，就為了想研究圖計算法的創造方法，就出價一千萬。
當然，他也能理解。
互聯網巨頭公司，最不缺錢。
可能對於百度來說，一千萬就相當於十塊錢一樣。
研究圖計算法創造方法，出價十塊錢，非常值。
賀興道：“但我的建議是先不要賣，這才剛開始，我相信能將圖計算法賣到更高的價。”
他非常興奮，沒想到能吸引來百度。
百度對圖計算法感興趣，看到別的公司出更高價後，肯定會加價的。
所以，他預估，圖計算法最終價值可能會超出自己的預估。
葉非道：“行，我不管你怎麽賣，反正越高越好。”
吃完飯後，葉非去算力研究室。
算力研究室！
葉非正在和周康教授研究圖靈等價問題。
可數計算性理論和集合論已經結合到一起，下麵是將它們套到可數波雷爾等價關係中。
葉非他們現在就是做這一步。
葉非道：“周教授，我覺得如果將非形式的能行可計算性加入進去，好像更適合當前研究。”
“你是說丘奇-圖靈？”周教授道。
這裏說的丘奇是阿隆佐·邱奇，北麗國數學家，他1936年發表可計算函數的第一份精確定義，1967年發明了著名的λ演算。
而他的學生正是艾倫·圖靈，計算機之父。
但丘奇-圖靈，這裏的圖靈，不是計算機之父艾倫·圖靈，而是英格蘭數學家阿蘭·圖靈。
邱奇在阿蘭.圖靈的論文基礎上，建立了基本幾何問題的算法不可解性和一階邏輯中真命題全集的解法問題是不可解。
其中就包括非形式的能行可計算性，被稱為丘奇-圖靈。
“是的！”葉非點頭。
“但是這樣，就將研究複雜化了。”
這就好似本來是單獨的研究，再參雜其餘的東西，將需要研究的內容擴大。
“您忘記哥德爾理論了？”葉非道。
哥德爾理論，全稱為哥德爾不完全性定理，有利於圖靈機的研究。
周教授眼前一亮，興奮的道：“是的，隻要用哥德爾理論，就能將這兩個結合，讓兩個問題成一個問題。”
周教授心中感歎，自己就從未體驗過這麽輕鬆的研究。
每次有問題，葉非都能很快找到思路。
沒問題，葉非還是能提出思路。
和葉非做研究，一個字，爽，兩個字，很爽，三個字，非常爽。
反正就是爽歪歪。
科研最怕的是有問題，但和葉非做科研，他從不怕有問題。
一個能快速幫忙解決任何問題的助手，他怕啥？
他啥都不怕。
他隻想和葉非永遠研究下去，把計算機所有難題都解決。
當然，這非常不現實。
這時，外麵走進來一個人，道：“葉非在嗎？”
葉非兩人向聲音傳來方向看去，發現是一位中年男子。
葉非並不認識這人，但有些熟悉，好似在哪見過。
周教授漠然的道：“老許，你來做什麽？”
中年男子瞪了一眼周教授道：“沒大沒小，你就這麽和院長說話的。”
葉非這才想起來，原來是計算機學院的院長許景義，他就說怎麽這麽熟悉。
許景義看著葉非笑道：“這就是葉非吧！”
說著，走上來熱情的笑道：“真是年輕有為啊，聽說伱最近創造出一種算法，竟然不需要寫翻譯和指引機製，這改變了算法常識。”
“最近我們學院，包括別的學校計算機學院的老師，都在說你，聽的我耳朵都起老繭了。”
“我就是來看看你，看是什麽樣的計算機天才，能創造出這樣的算法。”
葉非對這熱情表情太熟悉了，他經常從數學學院院長的臉上看到這表情。
“許院長過獎了。”葉非笑道。
“一點都不過獎！”許院長道：“你們在做什麽？”
“在研究圖靈等價問題。”
許院長點頭道：“這是一個好問題。”
葉非心中冒出三個問號？？？
“好問題？有人這樣聊天的嗎？”
“老許！”周教授不耐煩的道：“你有事快點說，我們還忙著呢！”
許院長笑道：“葉非，你看你計算機這麽有天賦，要不來我們計算機學院吧！”
葉非和周教授詫異的看著許院長。
許院長被兩人看的不自在，輕咳一聲道：“我保證，你來我們計算機學院，待遇比你在數學學院還要好。”
“怎麽樣？”許院長期待的看著葉非：“不說話就是默認了。”
“許景義！”還不等葉非說話，數學學院院長肖國慶就出現在門口，怒吼道：“我早就盯著你了，你果然會來挖葉非。”
肖院長走到葉非麵前笑了笑，然後憤怒的看著許院長道：“你挖我學院學生，真是好大的膽子。”
許院長怒道：“什麽叫挖你學院的學生，葉非不僅僅隻是你學院的學生，他還是中湖大學學生，我計算機學院屬於中湖大學，那麽葉非也應該屬於我們計算機學院。”
“一派胡言！”肖院長怒吼：“他是我數學學院的，什麽時候成你計算機學院的。”
“以葉非的才華，就應該去計算機學院，留在你們數學學院是埋沒了他的才華。”
“你放屁！”
“你才放屁！”
“……”
葉非兩人目瞪口呆的看著兩位院長，竟然互爆粗口。
你一句放屁，他一句放屁，你一句他媽，他一句他媽。
葉非拉著周教授離開這裏，留下兩人對罵。
周教授搖頭道：“世風日下啊，沒想到平日那麽文明的兩個人，竟然也有說髒話的時候。”
“哎……”葉非搖頭：“何必呢，為了我竟然如此做。”
周教授心好似被紮一下，我也想被兩大學院院長搶人。
周教授看著葉非道：“你是怎麽想的，來計算機學院嗎？”
他有些糾結，葉非在數學上很有才華，不研究數學可惜了。
但他是研究計算機的，如果葉非也研究計算機，兩人以後合作機會非常多。
“我還是想研究數學！”
“嗯！”周教授點頭：“那我就和院長說一聲，讓他死心。”
“行！”葉非點頭。
葉非和賀興相對而坐，一邊吃一邊聊天。
“葉先生，各大公司已經開始出價了，出價最高的是一千萬。”
“但是，有家互聯網巨頭公司，也想買你的算法。”
“嗯？”葉非驚奇的道：“哪家巨頭公司？”
賀興道：“百度！”
“百度？”葉非詫異的道：“百度應該不需要我的算法吧！”
圖計算法浮點運算次數隻有五萬億次，像百度這樣的互聯網巨頭公司，早就應該研發出浮點運算次數達到百萬億次的算法。
而且，百度有超算，他們的超算算法浮點運算次數可能已經達到億億次數。
對於圖計算法這點浮點運算次數肯定是不需要的。
賀興道：“我也問過百度的人，他們對你算法的創造方式非常感興趣，想買來研究一下。”
“他們出價多少？”葉非問道。
“一千萬！”
葉非倒吸一口涼氣，財大氣粗啊，就為了想研究圖計算法的創造方法，就出價一千萬。
當然，他也能理解。
互聯網巨頭公司，最不缺錢。
可能對於百度來說，一千萬就相當於十塊錢一樣。
研究圖計算法創造方法，出價十塊錢，非常值。
賀興道：“但我的建議是先不要賣，這才剛開始，我相信能將圖計算法賣到更高的價。”
他非常興奮，沒想到能吸引來百度。
百度對圖計算法感興趣，看到別的公司出更高價後，肯定會加價的。
所以，他預估，圖計算法最終價值可能會超出自己的預估。
葉非道：“行，我不管你怎麽賣，反正越高越好。”
吃完飯後，葉非去算力研究室。
算力研究室！
葉非正在和周康教授研究圖靈等價問題。
可數計算性理論和集合論已經結合到一起，下麵是將它們套到可數波雷爾等價關係中。
葉非他們現在就是做這一步。
葉非道：“周教授，我覺得如果將非形式的能行可計算性加入進去，好像更適合當前研究。”
“你是說丘奇-圖靈？”周教授道。
這裏說的丘奇是阿隆佐·邱奇，北麗國數學家，他1936年發表可計算函數的第一份精確定義，1967年發明了著名的λ演算。
而他的學生正是艾倫·圖靈，計算機之父。
但丘奇-圖靈，這裏的圖靈，不是計算機之父艾倫·圖靈，而是英格蘭數學家阿蘭·圖靈。
邱奇在阿蘭.圖靈的論文基礎上，建立了基本幾何問題的算法不可解性和一階邏輯中真命題全集的解法問題是不可解。
其中就包括非形式的能行可計算性，被稱為丘奇-圖靈。
“是的！”葉非點頭。
“但是這樣，就將研究複雜化了。”
這就好似本來是單獨的研究，再參雜其餘的東西，將需要研究的內容擴大。
“您忘記哥德爾理論了？”葉非道。
哥德爾理論，全稱為哥德爾不完全性定理，有利於圖靈機的研究。
周教授眼前一亮，興奮的道：“是的，隻要用哥德爾理論，就能將這兩個結合，讓兩個問題成一個問題。”
周教授心中感歎，自己就從未體驗過這麽輕鬆的研究。
每次有問題，葉非都能很快找到思路。
沒問題，葉非還是能提出思路。
和葉非做研究，一個字，爽，兩個字，很爽，三個字，非常爽。
反正就是爽歪歪。
科研最怕的是有問題，但和葉非做科研，他從不怕有問題。
一個能快速幫忙解決任何問題的助手，他怕啥？
他啥都不怕。
他隻想和葉非永遠研究下去，把計算機所有難題都解決。
當然，這非常不現實。
這時，外麵走進來一個人，道：“葉非在嗎？”
葉非兩人向聲音傳來方向看去，發現是一位中年男子。
葉非並不認識這人，但有些熟悉，好似在哪見過。
周教授漠然的道：“老許，你來做什麽？”
中年男子瞪了一眼周教授道：“沒大沒小，你就這麽和院長說話的。”
葉非這才想起來，原來是計算機學院的院長許景義，他就說怎麽這麽熟悉。
許景義看著葉非笑道：“這就是葉非吧！”
說著，走上來熱情的笑道：“真是年輕有為啊，聽說伱最近創造出一種算法，竟然不需要寫翻譯和指引機製，這改變了算法常識。”
“最近我們學院，包括別的學校計算機學院的老師，都在說你，聽的我耳朵都起老繭了。”
“我就是來看看你，看是什麽樣的計算機天才，能創造出這樣的算法。”
葉非對這熱情表情太熟悉了，他經常從數學學院院長的臉上看到這表情。
“許院長過獎了。”葉非笑道。
“一點都不過獎！”許院長道：“你們在做什麽？”
“在研究圖靈等價問題。”
許院長點頭道：“這是一個好問題。”
葉非心中冒出三個問號？？？
“好問題？有人這樣聊天的嗎？”
“老許！”周教授不耐煩的道：“你有事快點說，我們還忙著呢！”
許院長笑道：“葉非，你看你計算機這麽有天賦，要不來我們計算機學院吧！”
葉非和周教授詫異的看著許院長。
許院長被兩人看的不自在，輕咳一聲道：“我保證，你來我們計算機學院，待遇比你在數學學院還要好。”
“怎麽樣？”許院長期待的看著葉非：“不說話就是默認了。”
“許景義！”還不等葉非說話，數學學院院長肖國慶就出現在門口，怒吼道：“我早就盯著你了，你果然會來挖葉非。”
肖院長走到葉非麵前笑了笑，然後憤怒的看著許院長道：“你挖我學院學生，真是好大的膽子。”
許院長怒道：“什麽叫挖你學院的學生，葉非不僅僅隻是你學院的學生，他還是中湖大學學生，我計算機學院屬於中湖大學，那麽葉非也應該屬於我們計算機學院。”
“一派胡言！”肖院長怒吼：“他是我數學學院的，什麽時候成你計算機學院的。”
“以葉非的才華，就應該去計算機學院，留在你們數學學院是埋沒了他的才華。”
“你放屁！”
“你才放屁！”
“……”
葉非兩人目瞪口呆的看著兩位院長，竟然互爆粗口。
你一句放屁，他一句放屁，你一句他媽，他一句他媽。
葉非拉著周教授離開這裏，留下兩人對罵。
周教授搖頭道：“世風日下啊，沒想到平日那麽文明的兩個人，竟然也有說髒話的時候。”
“哎……”葉非搖頭：“何必呢，為了我竟然如此做。”
周教授心好似被紮一下，我也想被兩大學院院長搶人。
周教授看著葉非道：“你是怎麽想的，來計算機學院嗎？”
他有些糾結，葉非在數學上很有才華，不研究數學可惜了。
但他是研究計算機的，如果葉非也研究計算機，兩人以後合作機會非常多。
“我還是想研究數學！”
“嗯！”周教授點頭：“那我就和院長說一聲，讓他死心。”
“行！”葉非點頭。