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


【 在 xiaoju 的大作中提到: 】
: 所谓的写程序就是解一个停机问题，而停机问题在数学上是不可计算的，人类不是上帝也不例外。所以写程序本质上就是把一个大的不可 ...
--
FROM 85.76.66.*