“我们可以发现整个pc操作系统或者手机操作系统的缺陷啊”
”从理论上，这可是个巨大的进步哦“
似乎这个主意不错，软件部和硬件部的几位立刻陷入热烈的讨论中。
敲了敲白板，王一男给他们泼冷水。
“你们考虑过计算量没有？”
“以现代程序设计语言的表达能力，一个一百行的小程序，足以实现非常复杂的功能了”
“哥德尔应用的一个最基本原则，是要形式化一个尽可能受限制的领域”
“这样才有可能在足够短的时间内，得到有价值的结果”
“先不说你们形式化程序设计语言的时间，何况还有形式化pc和手机操作系统的时间”
“这些都不算”，“数千万行的操作系统，你们想让哥德尔系统找出缺陷”
“我估计到地球毁灭的那天都没办法计算完成”
“童鞋们，这是一个高阶形式化体系，还是清醒一点，不去碰的好”
李文静举起手，王一男点了点她，”文静说说吧“
”我觉得医学是一个很有价值的方向，没有什么比生命更值钱的了“
”嗯，不错，医学值得花大力气“，张琪首先赞成。
”你看，有钱人都怕死“，王一男嘲笑了一下张琪。
王一男转身在白板上写下医学两个字，
“好了，现在问题来了，我们选择中医还是西医呢”
“中医吧，中医简单一点，四大经典医书，常用药物什么的，形式化很容易”