王一男敲了敲白板,“昨儿个大伙都喝的不少,今天我们就开一个不严肃的会议”,王一男在白板上写下了三行字:
1哥德尔提升
2超导理论研究
3哥德尔应用
“这是目前我们最核心的三项工作”,王一男说。
”第一项,哥德尔系统的改进已经到了一个新的攻坚阶段,这个方向太专业,所以我们找时间专门讨论,相关的人员参加就行“
”第二项,超导理论的研究,这个专业性更强了,主要是我们几个物理数学方面的人个人研究为主,大家碰一碰思路就行“
”第三项,就是我们今天开这个务虚会的目的,大家开开脑洞,充分发散思维,看看目前的哥德尔系统能够应用在哪些方面,可以给公司带来稳定的收入来源,或者一两笔巨额的收入也行。
“当然,这些应用一定要吸取之前孙晓姿在胡椒直播引起的教训”
“动静太大不行,一定要静悄悄的挣钱”
下面立刻想起了热烈的讨论声,说实话,看到这么逆天的哥德尔,参会的人,谁没有用来YY过自己利用哥德尔大杀四方呢。
孙晓姿举起手来,“能不能用来打王者啊,专业代打,最快速度上白金”,
”下一个“,王一男华丽的无视了小女孩的幻想。
张琪举起了手,“战队免谈哈”,王一男说。
“用来分析天使投资的风险怎么样,只要提升一倍的成功率,那回报可是杠杠的”
“形式化太难,而且见效太慢了”,李文静直接就泼了冷水。
赵天成举起手,“你来”,王一男说。
“有没有可能把整个程序设计语言形式化,然后利用哥德尔找到大型程序里面的所有的缺陷啊”
“这倒是个不错的方向,对特定程序设计语言的形式化倒不是很难”
“我们可以发现整个PC操作系统或者手机操作系统的缺陷啊”
”从理论上,这可是个巨大的进步哦“
似乎这个主意不错,软件部和硬件部的几位立刻陷入热烈的讨论中。
敲了敲白板,王一男给他们泼冷水。
“你们考虑过计算量没有?”
“以现代程序设计语言的表达能力,一个一百行的小程序,足以实现非常复杂的功能了”
“哥德尔应用的一个最基本原则,是要形式化一个尽可能受限制的领域”
“这样才有可能在足够短的时间内,得到有价值的结果”
“先不说你们形式化程序设计语言的时间,何况还有形式化PC和手机操作系统的时间”
“这些都不算”,“数千万行的操作系统,你们想让哥德尔系统找出缺陷”
“我估计到地球毁灭的那天都没办法计算完成”
“童鞋们,这是一个高阶形式化体系,还是清醒一点,不去碰的好”
李文静举起手,王一男点了点她,”文静说说吧“
”我觉得医学是一个
请收藏:https://m.bqgpa.cc
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)