已知答案为何还要算？ctjlewis 解读 Wolfram 计算不可约性

开发者 ctjlewis 用「已知 A×B 结果就不必再跑庞大计算」的类比，解读 Stephen Wolfram 关于计算不可约性的说法：当最终状态可以事先声明，逐步执行整个计算就是在做无谓功。这段讨论回应了网友「Wolfram 到底在说什么」的疑问，把不可约性约束在必须一步步算才能得出结果的那类计算上。