第30章 計算機學院來搶人了 (第1/3頁)
大魚食小魚提示您：看後求收藏（品書網www.vodtw.tw），接著再看更方便。
中湖大學，食堂中！
葉非和賀興相對而坐，一邊吃一邊聊天。
“葉先生，各大公司已經開始出價了，出價最高的是一千萬。”
“但是，有家網際網路巨頭公司，也想買你的演算法。”
“嗯？”葉非驚奇的道：“哪家巨頭公司？”
賀興道：“百度！”
“百度？”葉非詫異的道：“百度應該不需要我的演算法吧！”
圖計演算法浮點運算次數只有五萬億次，像百度這樣的網際網路巨頭公司，早就應該研發出浮點運算次數達到百萬億次的演算法。
而且，百度有超算，他們的超算演算法浮點運算次數可能已經達到億億次數。
對於圖計演算法這點浮點運算次數肯定是不需要的。
賀興道：“我也問過百度的人，他們對你演算法的創造方式非常感興趣，想買來研究一下。”
“他們出價多少？”葉非問道。
“一千萬！”
葉非倒吸一口涼氣，財大氣粗啊，就為了想研究圖計演算法的創造方法，就出價一千萬。
當然，他也能理解。
網際網路巨頭公司，最不缺錢。
可能對於百度來說，一千萬就相當於十塊錢一樣。
研究圖計演算法創造方法，出價十塊錢，非常值。
賀興道：“但我的建議是先不要賣，這才剛開始，我相信能將圖計演算法賣到更高的價。”
他非常興奮，沒想到能吸引來百度。
百度對圖計演算法感興趣，看到別的公司出更高價後，肯定會加價的。
所以，他預估，圖計演算法最終價值可能會超出自己的預估。
葉非道：“行，我不管你怎麼賣，反正越高越好。”
吃完飯後，葉非去算力研究室。
算力研究室！
葉非正在和周康教授研究圖靈等價問題。
可數計算性理論和集合論已經結合到一起，下面是將它們套到可數波雷爾等價關係中。
葉非他們現在就是做這一步。
葉非道：“周教授，我覺得如果將非形式的能行可計算性加入進去，好像更適合當前研究。”
“你是說丘奇-圖靈？”周教授道。
這裡說的丘奇是阿隆佐·邱奇，北麗國數學家，他1936年發表可計算函式的第一份精確定義，1967年發明了著名的λ演算。
而他的學生正是艾倫·圖靈，計算機之父。
但丘奇-圖靈，這裡的圖靈，不是計算機之父艾倫·圖靈，而是英格蘭數學家阿蘭·圖靈。
邱奇在阿蘭圖靈的論文基礎上，建立了基本幾何問題的演算法不可解性和一階邏輯中真命題全集的解法問題是不可解。
其中就包括非形式的能行可計算性，被稱為丘奇-圖靈。
“是的！”葉非點頭。
“但是這樣，就將研究複雜化了。”
這就好似本來是單獨的研究，再參雜其餘的東西，將需要研究的內容擴大。
“您忘記哥德爾理論了？”葉非道。
哥德爾理論，全稱為哥德爾不完全性定理，有利於圖靈機的研究。
周教授眼前一亮，興奮的道：“是的，只要用哥德爾理論，就能將這兩個結合，讓兩個問題成一個問題。”
周教授心中感嘆，自己就從未體驗過這麼輕鬆的研究。
每次有問題，葉非都能很快找到思路。
沒問題，葉非還是能提出思路。
和葉非做研究，一個字，爽，兩個字，很爽，三個字，非常爽。
反正就是爽歪歪。
科研最怕的是有
