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

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

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

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

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

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

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

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

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

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

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

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

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

    “中医，中医讲究的是把人体当
 <本章未完请点击"下一页"继续观看!>