第二十八章 脑洞大开
1哥德尔提升
2超导理论研究
3哥德尔应用
“這是目前我們最核心的三项工作”，王一男說。
”第一项，哥德尔系统的改进已经到了一個新的攻坚阶段，這個方向太专业，所以我們找時間专门讨论，相关的人员参加就行“
”第二项，超导理论的研究，這個专业性更强了，主要是我們几個物理数学方面的人個人研究为主，大家碰一碰思路就行“
”第三项，就是我們今天开這個务虚会的目的，大家开开脑洞，充分发散思维，看看目前的哥德尔系统能够应用在哪些方面，可以给公司带来稳定的收入来源，或者一两笔巨额的收入也行。
“当然，這些应用一定要吸取之前孙晓姿在胡椒直播引起的教训”
“动静太大不行，一定要静悄悄的挣钱”
下面立刻想起了热烈的讨论声，說实话，看到這么逆天的哥德尔，参会的人，谁沒有用来YY過自己利用哥德尔大杀四方呢。
孙晓姿举起手来，“能不能用来打王者啊，专业代打，最快速度上白金”，
”下一個“，王一男华丽的无视了小女孩的幻想。
张琪举起了手，“战队免谈哈”，王一男說。
“用来分析天使投资的风险怎么样，只要提升一倍的成功率，那回报可是杠杠的”
“形式化太难，而且见效太慢了”，李文静直接就泼了冷水。
赵天成举起手，“你来”，王一男說。
“有沒有可能把整個程序设计语言形式化，然后利用哥德尔找到大型程序裡面的所有的缺陷啊”
“這倒是個不错的方向，对特定程序设计语言的形式化倒不是很难”
“我們可以发现整個PC操作系统或者手机操作系统的缺陷啊”
”从理论上，這可是個巨大的进步哦“
似乎這個主意不错，软件部和硬件部的几位立刻陷入热烈的讨论中。
敲了敲白板，王一男给他们泼冷水。
“你们考虑過计算量沒有？”
“以现代程序设计语言的表达能力，一個一百行的小程序，足以实现非常复杂的功能了”
“哥德尔应用的一個最基本原则，是要形式化一個尽可能受限制的领域”
“這样才有可能在足够短的時間内，得到有价值的结果”
“先不說你们形式化程序设计语言的時間，何况還有形式化PC和手机操作系统的時間”
“這些都不算”，“数千万行的操作系统，你们想让哥德尔系统找出缺陷”
“我估计到地球毁灭的那天都沒办法计算完成”
“童鞋们，這是一個高阶形式化体系，還是清醒一点，不去碰的好”
李文静举起手，王一男点了点她，”文静說說吧“
”我觉得医学是一個很有价值的方向，沒有什么比生命更值钱的了“
”嗯，不错，医学值得花大力气“，张琪首先赞成。
”你看，有钱人都怕死“，王一男嘲笑了一下张琪。
王一男转身在白板上写下医学两個字，
“好了，现在問題来了，我們選擇中医還是西医呢”
“中医吧，中医简单一点，四大经典医书，常用药物什么的，形式化很容易”
“還是西医吧，中医纯粹就是经验为主，是不是科学都還两說呢，怎么形式化，而且形式化的正确性怎么保证，我是一丁点把握都沒有。”
“中医，中医讲究的是把人体当成一個整体，所以如果我們忽略人体的复杂结构，把他（她）当成黑箱来处理的话，是有可能得到哥德尔可以理解的形式系统的”
“西医，西医更接近科学，而且西医的领域划分非常细，我們可以专注在其中一個领域，這样的限定领域，对于哥德尔发挥自己的特点，是很有好处的。”
涉及到具体的方向，跟整個社会一样，对中医和西医的争论立刻就开始了。
让他们争辩下去，估计一整天時間都不会有一個结果的。王一男只得出来和稀泥。
“我們先放下路线的選擇，如果哥德尔针对中医进行形式化的话，应该是将病人作为一個黑箱对吧”，
“然后是中医的经典理论是一個基础输入，中医诊断利用的症状是另一個输入，我們暂时不考虑针灸和中医物理疗法，那些更沒谱了，只考虑药物，中医的药物作为第三個输入”
“然后治疗的最后的效果就是這個黑箱的输出”，
“這样简化，理论上是可以将中医理论形式化的”
“不過需要海量的病例，也就是足够的训练样本，用于训练哥德尔系统的神经網络”
王一男的分析很到位，大伙同意将這個技术方向，作为哥德尔的一個备选方向。
”如果西医的话，沒办法這么简单的将病人作为黑箱处理了“，王一男說，
”西医的领域实在太细，太专业，這既是好事，問題领域的限定，有助于哥德尔解决問題。同时也是坏事，我們在形式化問題的时候，难度将直线上升。“
”大概来看，诊断就算了，這個范围太大，也有太多经验的成分，我光想想就觉得一头雾水“
”药物应该是一個方向，特别一些新概念的药物，比如說针对特定靶点的药物“
”但是药物的研究是超级花钱和花時間的事情，我們独立做不现实，哥德尔可以起到辅助作用“
孙伟举手补充到，”医学我略有涉及，之前FPGA芯片也有医疗上的应用“
”我觉得医疗设备也是一個不错的方向“
”嗯“，”很好“，王一男說，”我再补充一下，我們可以定位在辅助性质的，或者诊断性质的医疗设备上，這样面临的风险和相关认证的压力会小很多“
王一男在黑板上写下三行字：
中医，人体黑盒
西医，药物辅助研究
西医，诊断，辅助设备
”医学方面的脑洞先告一段落“，王一男說，我們继续看看其他方向。
”刚才张琪說的，投资方向都是有点意思，不過用来提升天使投资的成功率，這個是自找麻烦“
”股票市场和期货市场，可以考虑涉足一下，特别是米国或者太阳国的，去弄一票，完全沒有心理负担啊“
赵天成举起了手，”你說“，王一男点了点头。
”我之前曾经专门研究過股票，也自己用神经網络模拟過股票市场的运行，我觉得用哥德尔系统来对目前流行的几個模型进行分析和改进，還是很有机会提高预测的准确率“
”好的，股票“，王一男在白板上继续往下写，
“股票”
李文静举手发言，
”我觉得，我們应该想一想，什么东西对效率的依赖特别高，哥德尔系统对于提升效率，应该是最擅长的“
”电池效率“，张琪立刻想起了自己的ModelX，
”电动车对电池的依赖太高了，而电池效率即使只提升一点点，都是巨大的进步，有着可怕的经济效益“
“发动机的效率”，孙伟平时比较喜歡玩汽车，
“我們用哥德尔调整ECU（电子控制单元，汽车发动机的控制电脑程序），一定比最有经验的工程师還要牛”
钱中华一直沒說话，听到這裡，他渐渐的有点回過味来了。
毕竟也是专业从事反商业间谍工作的人，而且对现代科技，钱中华也是相当熟悉，之前不說话，是因为对哥德尔系统不够了解。
”我提個問題“，钱中华举起手来。
”你說吧“，王一男說。
“从前面你们說的东西看起来，我是不是可以這样理解“，
”只要在一個不是那么复杂的特定领域，如果规则相对固定，或者理论相对比较简单，使用哥德尔系统，就可以得到最好的结果？“，钱中华說。
”大概的意思你沒有理解错“，王一男回答。
”更准确的是，如果一個限定的系统，能够用文静的理论对系统本身，需要解决的問題，以及对問題的解决方案這三個部分进行足够准确的形式化“，
”那么，哥德尔系统可以得到比现有最佳的解决方案更好的方案“
”具体的提升幅度，受各种因素的制约，是不确定的“
”我靠“，钱中华有点蒙圈了。
”真這么牛X？“
”就是這么牛X“，王一男也有点蒙圈了，
“你丫当初根本不知道哥德尔系统這么牛X，就上杆子给我們送钱了？”
钱中华有点不好意思，”一时冲动，一时冲动“
”后来回去還后悔了好几天呢“
。。。王一男也是醉了。
”也就是說，理论上我們可以改进飞行器的气动外形？“，钱中华问到。
”是的，空气动力学是比较成熟的科学，形式化的难度不算太大“
”或者潜艇的外形？“
”這個，跟飞行器的情况很近似“
”材料呢，你知道我們发动机的材料不過关“
”這個有难度，你知道，材料科学更多的是经验科学，需要有大量的实验作为支撑，对這样的领域进行形式化，难度非常大，而且效果不一定好。“
”我明白了，也就是說，包含的因素越少，越接近基础理论的方案，哥德尔系统发挥的作用就越大“
”完全正确，老钱啊，我觉得你不来搞科研真是太浪费了“
”怎么样，别在你们那裡浪费生命了，来我這裡，一起探索宇宙的奥秘吧“
”滚犊子“
”王一男同志“，钱中华大声說。
”還有在座的各位，我郑重的請求大家，不要对外透露今天会议的一切內容，我会申請提升你们公司的保密级别“
“你们继续讨论，但是我刚才說的你们就当沒听见”
說完，钱中华把王一男叫到一边。
“我马上要去总参谋部，总装备部，找相关的专家讨论刚才的那些問題”
“放心，不会白让你们干活的，只要哥德尔表现好，经费你们就不用担心了”
說完，钱中华匆匆离开了容与公司。
王一男转身在白板上写下：
“提升电池效率”
“提升燃油效率”
“我們继续，军事方面就不要开脑洞了”
“让我們再看看，還有什么方面，有大企业愿意出大钱的。”
：https://www.bie5.cc。：https://m.bie5.cc