第二十八章 脑洞大开 (第1/2页)

    王一男敲了敲白板，“昨儿个大伙都喝的不少，今天我们就开一个不严肃的会议”，王一男在白板上写下了三行字：

    1哥德尔提升

    2超导理论研究

    3哥德尔应用

    “这是目前我们最核心的三项工作”，王一男说。

    ”第一项，哥德尔系统的改进已经到了一个新的攻坚阶段，这个方向太专业，所以我们找时间专门讨论，相关的人员参加就行“

    ”第二项，超导理论的研究，这个专业性更强了，主要是我们几个物理数学方面的人个人研究为主，大家碰一碰思路就行“

    ”第三项，就是我们今天开这个务虚会的目的，大家开开脑洞，充分发散思维，看看目前的哥德尔系统能够应用在哪些方面，可以给公司带来稳定的收入来源，或者一两笔巨额的收入也行。

    “当然，这些应用一定要吸取之前孙晓姿在胡椒直播引起的教训”

    “动静太大不行，一定要静悄悄的挣钱”

    下面立刻想起了热烈的讨论声，说实话，看到这么逆天的哥德尔，参会的人，谁没有用来YY过自己利用哥德尔大杀四方呢。

    孙晓姿举起手来，“能不能用来打王者啊，专业代打，最快速度上白金”，

    ”下一个“，王一男华丽的无视了小女孩的幻想。

    张琪举起了手，“战队免谈哈”，王一男说。

    “用来分析天使投资的风险怎么样，只要提升一倍的成功率，那回报可是杠杠的”

    “形式化太难，而且见效太慢了”，李文静直接就泼了冷水。

    赵天成举起手，“你来”，王一男说。

    “有没有可能把整个程序设计语言形式化，然后利用哥德尔找到大型程序里面的所有的缺陷啊”

    “这倒是个不错的方向，对特定程序设计语言的形式化倒不是很难”

    “我们可以发现整个PCcao作系统或者手机cao作系统的缺陷啊”

    ”从理论上，这可是个巨大的进步哦“

    似乎这个主意不错，软件部和硬件部的几位立刻陷入热烈的讨论中。

    敲了敲白板，王一男给他们泼冷水。

    “你们考虑过计算量没有？”

    “以现代程序设计语言的表达能力，一个一百行的小程序，足以实现非常复杂的功能了”

    “哥德尔应用的一个最基本原则，是要形式化一个尽可能受限制的领域”

    “这样才有可能在足够短的时间内，得到有价值的结果”

    “先不说你们形式化程序设计语言的时间，何况还有形式化PC和手机cao作系统的时间”

    “这些都不算”，“数千万行的cao作系统，你们想让哥德尔系统找出缺陷”

    “我估计到地球毁灭的那天都没办法计算完成”

    “童鞋们，这是一个高阶形式化体系，还是清醒一点，不去碰的好”

    李文静举起手，王一男点了点她，”文静说说吧“

    ”我觉得医学是一个很有价值的方向，没有什么比生命更值钱的了“

    ”嗯，不错，医学值得花大力气“，张琪首先赞成。

    ”你看，有钱人都怕死“，王一男嘲笑了一下张琪。

    王一男转身在白板上写下医学两个字，

    “好了，现在问题来了，我们选择中医还是西医呢”

    “中医吧，中医简单一点，四大经典医书，常用药物什么的，形式化很容易”

    “还是西医吧，中医纯粹就是经验为主，是不是科学都还两说呢，怎么形式化，而且形式化的正确性怎么保证，我是一丁点把握都没有。”

    “中医，中医讲究的是把人体当成一个整体，所以如果我们忽略人体的复杂结构，把他（她）当成黑箱来处理的话，是有可能得到哥德尔可以理解的形式系统的”

    “西医，西医更接近科学，而且西医的领域划分非常细，我们可以专注在其中一个领域，这样的限定领域，对于哥德尔发挥自己的特点，是很有好处的。”

    涉及到具体的方向，跟整个社会一样，对中医和西医的争论立刻就开始了。

    让他们争辩下去，估计一整天时间都不会有一个结果的。王一男只得出来和稀泥。

    “我们先放下路线的选择，如果哥德尔针对中医进行形式化的话，应该是将病人作为一个黑箱对吧”，

    “然后是中医的经典理论是一个基础输入，中医诊断利用的症状是另一个输入，我们暂时不考虑针灸和中医物理疗法，那些更没谱了，只考虑药物，中医的药物作为第三个输入”

    “然后治疗的最后的效果就是这个黑箱的输出”，

    “这样简化，理论上是可以将中医理论形式化的”

    “不过需要海量的病例，也就是足够的训练样本，用于训练哥德尔系统的神经网络”

    王一男的分析很到位，大伙同意将这个技术方向，作为哥德尔的一个备选方向。

    ”如果西医的话，没办法这么简单的将病人作为黑箱处理了“，王一男说，

    ”西医的领域实在太细，太专业，这既是好事，问题领域的限定，有助于哥德尔解决问题。同时也是坏事，我们在形式化问题的时候，难度将直线上升。“

    ”大概来看，诊断就算了，这个范围太大，也有太多经