时间内，得到有价值的结果”
“先不你们形式化程序设计语言的时间，何况还有形式化P和手机操作系统的时间”
“这些都不算”，“数千万行的操作系统，你们想让哥德尔系统找出缺陷”
“我估计到地球毁灭的那都没办法计算完成”
“童鞋们，这是一个高阶形式化体系，还是清醒一点，不去碰的好”
李文静举起手，王一男点了点她，”文静吧“
”我觉得医学是一个很有价值的方向，没有什么比生命更值钱的了“
”嗯，不错，医学值得花大力气“，张琪首先赞成。
”你看，有钱人都怕死“，王一男嘲笑了一下张琪。
王一男转身在白板上写下医学两个字，
“好了，现在问题来了，我们选择中医还是西医呢”
“中医吧，中医简单一点，四大经典医书，常用药物什么的，形式化很容易”
“还是西医吧，中医纯粹就是经验为主，是不是科学都还两呢，怎么形式化，而且形式化的正确性怎么保证，我是一丁点把握都没有。”
“中医，中医讲究的是把人体当成一个整体，所以如果我们忽略人体的复杂结构，把他（她）当成黑箱来处理的话，是有可能得到哥德尔可以理解的形式系统的”
“西医，西医更接近科学，而且西医的领域划分非常细，我们可以专注在其中一个领域，这样的限定领域，对于哥德尔发挥自己的特点，是很有好处的。”
涉及到具体的方向，跟整个社会一样，对中医和西医的争论立刻就开始了。
让他们争辩下去，估计一整时间都不会有一个结果的。王一男只得出来和稀泥。
“我们先放下路线的选择，如果哥德尔针对中医进行形式化的话，应该是将病人作为一个黑箱对吧”，
“然后是中医的经典理论是一个基础输入，中医诊断利用的症状是另一个输入，我们暂时不考虑针灸和中医物理疗法，那些更没谱了，只考虑药物，中医的药物作为第三个输入”
“然后治疗的最后的效果就是这个黑箱的输出”，
“这样简化，理论上是可以将中医理论形式化的”
“不过需要海量的病例，也就是足够的训练样本，用于训练哥德尔系统的神经网络”
王一男的分析很到位，大伙同意将这个技术方向，作为哥德尔的一个备选方向。
”如果西医的话
“先不你们形式化程序设计语言的时间，何况还有形式化P和手机操作系统的时间”
“这些都不算”，“数千万行的操作系统，你们想让哥德尔系统找出缺陷”
“我估计到地球毁灭的那都没办法计算完成”
“童鞋们，这是一个高阶形式化体系，还是清醒一点，不去碰的好”
李文静举起手，王一男点了点她，”文静吧“
”我觉得医学是一个很有价值的方向，没有什么比生命更值钱的了“
”嗯，不错，医学值得花大力气“，张琪首先赞成。
”你看，有钱人都怕死“，王一男嘲笑了一下张琪。
王一男转身在白板上写下医学两个字，
“好了，现在问题来了，我们选择中医还是西医呢”
“中医吧，中医简单一点，四大经典医书，常用药物什么的，形式化很容易”
“还是西医吧，中医纯粹就是经验为主，是不是科学都还两呢，怎么形式化，而且形式化的正确性怎么保证，我是一丁点把握都没有。”
“中医，中医讲究的是把人体当成一个整体，所以如果我们忽略人体的复杂结构，把他（她）当成黑箱来处理的话，是有可能得到哥德尔可以理解的形式系统的”
“西医，西医更接近科学，而且西医的领域划分非常细，我们可以专注在其中一个领域，这样的限定领域，对于哥德尔发挥自己的特点，是很有好处的。”
涉及到具体的方向，跟整个社会一样，对中医和西医的争论立刻就开始了。
让他们争辩下去，估计一整时间都不会有一个结果的。王一男只得出来和稀泥。
“我们先放下路线的选择，如果哥德尔针对中医进行形式化的话，应该是将病人作为一个黑箱对吧”，
“然后是中医的经典理论是一个基础输入，中医诊断利用的症状是另一个输入，我们暂时不考虑针灸和中医物理疗法，那些更没谱了，只考虑药物，中医的药物作为第三个输入”
“然后治疗的最后的效果就是这个黑箱的输出”，
“这样简化，理论上是可以将中医理论形式化的”
“不过需要海量的病例，也就是足够的训练样本，用于训练哥德尔系统的神经网络”
王一男的分析很到位，大伙同意将这个技术方向，作为哥德尔的一个备选方向。
”如果西医的话