王一男敲了敲白板，“昨兒個大夥都喝的不少，今天我們就開一個不嚴肅的會議”，王一男在白板上寫下了三行字：
1 哥德爾提升
超導理論研究
哥德爾應用
“這是目前我們最核心的三項工作”，王一男說。
”第一項，哥德爾系統的改進已經到了一個新的攻堅階段，這個方向太專業，所以我們找時間專門討論，相關的人員參加就行“
”第二項，超導理論的研究，這個專業性更強了，主要是我們幾個物理數學方面的人個人研究為主，大家碰一碰思路就行“
”第三項，就是我們今天開這個務虛會的目的，大家開開腦洞，充分發散思維，看看目前的哥德爾系統能夠應用在哪些方面，可以給公司帶來穩定的收入來源，或者一兩筆鉅額的收入也行。
“當然，這些應用一定要吸取之前孫曉姿在胡椒直播引起的教訓”
“動靜太大不行，一定要靜悄悄的掙錢”
下面立刻想起了熱烈的討論聲，說實話，看到這麼逆天的哥德爾，參會的人，誰沒有用來YY過自己利用哥德爾大殺四方呢。
孫曉姿舉起手來，“能不能用來打王者啊，專業代打，最快速度上白金”，
”下一個“，王一男華麗的無視了小女孩的幻想。
張琪舉起了手，“戰隊免談哈”，王一男說。
“用來分析天使投資的風險怎麼樣，只要提升一倍的成功率，那回報可是槓槓的”
“形式化太難，而且見效太慢了”，李文靜直接就潑了冷水。
趙天成舉起手，“你來”，王一男說。
“有沒有可能把整個程序設計語言形式化，然後利用哥德爾找到大型程式裡面的所有的缺陷啊”
“這倒是個不錯的方向，對特定程序設計語言的形式化倒不是很難”
“我們可以發現整個PC作業系統或者手機操作系統的缺陷啊”
”從理論上，這可是個巨大的進步哦“
似乎這個主意不錯，軟件部和硬體部的幾位立刻陷入熱烈的討論中。
敲了敲白板，王一男給他們潑冷水。
“你們考慮過計算量沒有？”
“以現代程序設計語言的表達能力，一個一百行的小程式，足以實現非常復雜的功能了”
“哥德爾應用的一個最基本原則，是要形式化一個儘可能受限制的領域”
“這樣才有可能在足夠短的時間內，得到有價值的結果”
“先不說你們形式化程序設計語言的時間，何況還有形式化PC和手機操作系統的時間”
“這些都不算”，“數千萬行的作業系統，你們想讓哥德爾系統找出缺陷”
“我估計到地球毀滅的那天都沒辦法計算完成”
“童鞋們，這是一個高階形式化體系，還是清醒一點，不去碰的好”
李文靜舉起手，王一男點了點她，”文靜說說吧“
”我覺得醫學是一個很有價值的方向，沒有什麼比生命更值錢的了“
”嗯，不錯，醫學值得花大力氣“，張琪首先贊成。
”你看，有錢人都怕死“，王一男嘲笑了一下張琪。
王一男轉身在白板上寫下醫學兩個字，
“好了，現在問題來了，我們選擇中醫還是西醫呢”
“中醫吧，中醫簡單一點，四大經典醫書，常用藥物什麼的，形式化很容易”
“還是西醫吧，中醫純粹就是經驗為主，是不是科學都還兩說呢，怎麼形式化，而且形式化的正確性怎麼保證，我是一丁點把握都沒有。”
“中醫，中醫講究的是把人體當成一個整體，所以如果我們忽略人體的複雜結構，把他（她）當成黑箱來處理的話，是有可能得到哥德爾可以理解的形式系統的”
“西醫，西醫更接近科學，而且西醫的領域劃分非常細，我們可以專注在其中一個領域，這樣的限定領域，對於哥德爾發揮自己的特點，是很有好處的。”
涉及到具體的方向，跟整個社會一樣，對中醫和西醫的爭論立刻就開始了。
讓他們爭辯下去，估計一整天時間都不會有一個結果的。王一男只得出來和稀泥。
“我們先放下路線的選擇，如果哥德爾針對中醫進行形式化的話，應該是將病人作為一個黑箱對吧”，
“然後是中醫的經典理論是一個基礎輸入，中醫診斷利用的症狀是另一個輸入，我們暫時不考慮針灸和中醫物理療法，那些更沒譜了，只考慮藥物，中醫的藥物作為第三個輸入”
“然後治療的最後的效果就是這個黑箱的輸出”，
“這樣簡化，理論上是可以將中醫理論形式化的”
“不過需要海量的病例，也就是足夠的訓練樣本，用於訓練哥德爾系統的神經網絡”
王一男的分析很到位，大夥同意將這個技術方向，作為哥德爾的一個備選方向。
”如果西醫的話，沒辦法這麼簡單的將病人作為黑箱處理了“，王一男說，
”西醫的領域實在太細，太專業，這既是好事，問題領域的限定，有助於哥德爾解決問題。同時也是壞事，我們在形式化問題的時候，難度將直線上升。“
”大概來看，診斷就算了，這個範圍太大，也有太多經驗的成分，我光想想就覺得一頭霧水“
”藥物應該是一個方向，特別一些新概念的藥物，比如說針對特定靶點的藥物“
”但是藥物的研究是超級花錢和花時間的事情，我們獨立做不現實，哥德爾可以起到輔助作用“
孫偉舉手補充到，”醫學我略有涉及，之前FPGA晶片也有醫療上的應用“
”我覺得醫療裝置也是一個不錯的方向“
”嗯“，”很好“，王一男說，”我再補充一下，我們可以定位在輔助性質的，或者診斷性質的醫療裝置上，這樣面臨的風險和相關認證的壓力會小很多“
王一男在黑板上寫下三行字：
中醫，人體黑盒
西醫，藥物輔助研究
西醫，診斷，輔助裝置
”醫學方面的腦洞先告一段落“，王一男說，我們繼續看看其他方向。
”剛才張琪說的，投資方向都是有點意思，不過用來提升天使投資的成功率，這個是自找麻煩“
”股票市場和期貨市場，可以考慮涉足一下，特別是米國或者太陽國的，去弄一票，完全沒有心理負擔啊“
趙天成舉起了手，”你說“，王一男點了點頭。
”我之前曾經專門研究過股票，也自己用神經網絡模擬過股票市場的執行，我覺得用哥德爾系統來對目前流行的幾個模型進行分析和改進，還是很有機會提高預測的準確率“
”好的，股票“，王一男在白板上繼續往下寫，
“股票”
李文靜舉手發言，
”我覺得，我們應該想一想，什麼東西對效率的依賴特別高，哥德爾系統對於提升效率，應該是最擅長的“
”電池效率“，張琪立刻想起了自己的ModelX，
”電動車對電池的依賴太高了，而電池效率即使只提升一點點，都是巨大的進步，有著可怕的經濟效益“
“發動機的效率”，孫偉平時比較喜歡玩汽車，
“我們用哥德爾調整ECU（電子控制單元，汽車發動機的控制電腦程式），一定比最有經驗的工程師還要牛”
錢中華一直沒說話，聽到這裡，他漸漸的有點回過味來了。
畢竟也是專業從事反商業間諜工作的人，而且對現代科技，錢中華也是相當熟悉，之前不說話，是因為對哥德爾系統不夠瞭解。
”我提個問題“，錢中華舉起手來。
”你說吧“，王一男說。
“從前面你們說的東西看起來，我是不是可以這樣理解“，
”只要在一個不是那麼複雜的特定領域，如果規則相對固定，或者理論相對比較簡單，使用哥德爾系統，就可以得到最好的結果？“，錢中華說。
【穩定運行多年的小說app，媲美老版追書神器，老書蟲都在用的換源App，huanyuanapp.org】
”大概的意思你沒有理解錯“，王一男回答。
”更準確的是，如果一個限定的系統，能夠用文靜的理論對系統本身，需要解決的問題，以及對問題的解決方案這三個部分進行足夠準確的形式化“，
”那麼，哥德爾系統可以得到比現有最佳的解決方案更好的方案“
”具體的提升幅度，受各種因素的制約，是不確定的“
”我靠“，錢中華有點蒙圈了。
”真這麼牛X？“
”就是這麼牛X“，王一男也有點蒙圈了，
“你丫當初根本不知道哥德爾系統這麼牛X，就上杆子給我們送錢了？”
錢中華有點不好意思，”一時衝動，一時衝動“
”後來回去還後悔了好幾天呢“
。。。王一男也是醉了。
”也就是說，理論上我們可以改進飛行器的氣動外形？“，錢中華問到。
”是的，空氣動力學是比較成熟的科學，形式化的難度不算太大“
”或者潛艇的外形？“
”這個，跟飛行器的情況很近似“
”材料呢，你知道我們發動機的材料不過關“
”這個有難度，你知道，材料科學更多的是經驗科學，需要有大量的實驗作為支撐，對這樣的領域進行形式化，難度非常大，而且效果不一定好。“
”我明白了，也就是說，包含的因素越少，越接近基礎理論的方案，哥德爾系統發揮的作用就越大“
”完全正確，老錢啊，我覺得你不來搞科研真是太浪費了“
”怎麼樣，別在你們那裡浪費生命了，來我這裡，一起探索宇宙的奧秘吧“
”滾犢子“
”王一男同志“，錢中華大聲說。
”還有在座的各位，我鄭重的請求大家，不要對外透露今天會議的一切內容，我會申請提升你們公司的保密級別“
“你們繼續討論，但是我剛才說的你們就當沒聽見”
說完，錢中華把王一男叫到一邊。
“我馬上要去總參謀部，總裝備部，找相關的專家討論剛才的那些問題”
“放心，不會白讓你們幹活的，只要哥德爾表現好，經費你們就不用擔心了”
說完，錢中華匆匆離開了容與公司。
王一男轉身在白板上寫下：
“提升電池效率”
“提升燃油效率”
“我們繼續，軍事方面就不要開腦洞了”
“讓我們再看看，還有什麼方面，有大企業願意出大錢的。”（未完待續）