只要是程序就有个共同的问题，就是正确性的验证是不可解的停机问题，短程序的话码农可以保证其属于某一定可停机的特例，复杂到一定规模就不可能保证正确了

【 在 philbloo (philbloo) 的大作中提到: 】
: 话又说回来，天外有天，之前有人说写了一万行的 MATLAB ，这差不多是写了一百页数学证明了，这种问题我没接触过，盲猜是数学博士论文的难度
: #发自zSMTH@Moto Z3 Play
--
FROM 27.91.71.*