黄斐最后把系统设计整理了一下，道：“小瑜，我实在是想不通为什么oder可以做这么多事情，明明这个算法根本就没有告诉程序嘛，它怎么可能会自动生成代码呢？”
秦小瑜：“我早想过好多次了，无解，问老大，他说是人工智能，可是还是想不通。”
黄斐沉思着，一边把系统设计导入oder规定的格式。他皱着眉道：“我想到了‘对角线删除法’，你听过吗？”
秦小瑜：“这个……不太了解。”
黄斐：“这是康托尔为了证明实数的个数比自然数多这个结论，发明了一种被称为‘对角线删除’的证明方法。没想到的是，这个方法影响非常深广，直到后来的图灵停机问题、哥德尔定理其实都是该方法的不同延伸。”
他拿出纸笔来说明问题。
要说明对角线删除问题可不是三言两语可以完成的，在此省略，大概说一下，就是指构建一种类似二维表的集合来，通过明显的逻辑来逐一删除二维表中的一条对角线，以此来证明某个猜想的集合不可能存在。
用这个方法可以证明诸如“存在不存在一个程序比如说，能够判断出任意一个程序是否会在输入的情况下陷入死循环？”结果是这个程序不存在。
黄斐道：“按照同样的道理，oder无论如何也不可能按照我们简简单单的系统设计就能生成高可用性的代码，可是这好像正是oder正在做的事情！天啊，oder到底是什么东西？不行，我一定要找老大问个清楚，要不然我会崩溃的！”m.book56.com
***
“稀客，竟然是吴总来上班了！”前台丁彩红见到吴秦，挖苦他很少来公司上班。
吴秦正要跟她搭两句话，余光看到蔡坚走近了，忙把一大串话硬吞到肚里去，嘿嘿傻笑了两声，赶紧快步离开。
不料蔡坚叫住了他。
吴秦只好强颜欢笑，道：“蔡总啊，有什么事儿？”
蔡坚异常友好地道：“昨天我和技术部的同事一起讨论过，我们觉得那个网格平台综合上来说非常优秀，像网格结点、宽带网络系统、资源管理和任务调度工具、监测工具等方面都是世界第一流的方案，不过在应用层的可视化工具方面稍嫌不足，等会儿我把我们的建议发给你，大家研究一下？”
吴秦忙点头称是，等蔡坚走后，伸手擦汗。
丁彩红失笑道：“哟，吴总这么怕热呀，都出汗了！”
吴秦瞪了她一眼，生硬地道：“空调功率不足！”
这个时候，秦小乔出现了。
秦小瑜：“我早想过好多次了，无解，问老大，他说是人工智能，可是还是想不通。”
黄斐沉思着，一边把系统设计导入oder规定的格式。他皱着眉道：“我想到了‘对角线删除法’，你听过吗？”
秦小瑜：“这个……不太了解。”
黄斐：“这是康托尔为了证明实数的个数比自然数多这个结论，发明了一种被称为‘对角线删除’的证明方法。没想到的是，这个方法影响非常深广，直到后来的图灵停机问题、哥德尔定理其实都是该方法的不同延伸。”
他拿出纸笔来说明问题。
要说明对角线删除问题可不是三言两语可以完成的，在此省略，大概说一下，就是指构建一种类似二维表的集合来，通过明显的逻辑来逐一删除二维表中的一条对角线，以此来证明某个猜想的集合不可能存在。
用这个方法可以证明诸如“存在不存在一个程序比如说，能够判断出任意一个程序是否会在输入的情况下陷入死循环？”结果是这个程序不存在。
黄斐道：“按照同样的道理，oder无论如何也不可能按照我们简简单单的系统设计就能生成高可用性的代码，可是这好像正是oder正在做的事情！天啊，oder到底是什么东西？不行，我一定要找老大问个清楚，要不然我会崩溃的！”m.book56.com
***
“稀客，竟然是吴总来上班了！”前台丁彩红见到吴秦，挖苦他很少来公司上班。
吴秦正要跟她搭两句话，余光看到蔡坚走近了，忙把一大串话硬吞到肚里去，嘿嘿傻笑了两声，赶紧快步离开。
不料蔡坚叫住了他。
吴秦只好强颜欢笑，道：“蔡总啊，有什么事儿？”
蔡坚异常友好地道：“昨天我和技术部的同事一起讨论过，我们觉得那个网格平台综合上来说非常优秀，像网格结点、宽带网络系统、资源管理和任务调度工具、监测工具等方面都是世界第一流的方案，不过在应用层的可视化工具方面稍嫌不足，等会儿我把我们的建议发给你，大家研究一下？”
吴秦忙点头称是，等蔡坚走后，伸手擦汗。
丁彩红失笑道：“哟，吴总这么怕热呀，都出汗了！”
吴秦瞪了她一眼，生硬地道：“空调功率不足！”
这个时候，秦小乔出现了。