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

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

1哥德尔提升

2超导理论研究

3哥德尔应用

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！