我要是没记错的话，你上次的答案是自己改了“并行最优化”的定义后宣布其可解，这次你又改了“算法”的定义宣布其可停机，对于修改数学定义的神级打击，我们低等银河系生命是无能为力的。

写程序如果只是在理想图灵机实现“可枚举的算法”这么简单，那么地球上就没有软件行业了。

写程序面临的根本问题既逻辑无bug实际上是解一个把输出期望答案作为停机条件的停机问题，从古至今就没有可计算性的解法。

退一万步说，人类其实也发现了很多子问题非停机问题且有最优解法，帮你做这个工具叫编译器，还有亲戚叫解释器，静态分析器，数学函数库。。。

【 在 philbloo 的大作中提到: 】
: 你对停机问题有误解。上次你问我为什么并行最优化可解的时候我就回答过你了，凡是可枚举的 *某一个* 算法 都跟停机问题没关系。尤其是，所有跟停机问题类似的命题都需要或多或少用到对角线来构造反例，这就暗示了在你生活中接触过的算法全都跟停机问题无关。
:  
--
FROM 166.98.20.*