代打，最快速度上白金”，

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

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

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

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

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

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

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

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

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

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

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

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

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

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

   
 <本章未完请点击"下一页"继续观看!>