斯蒂芬·沃尔夫勒姆（就是开发著名软件Wolfram Mathematica的那位）说，他的计算不可约性原理表明科学不能解决所有问题。

计算不可约性原理，大致上是说，存在一些东西，比如说一段程序，如果不运行它，我们就无法确知其运行结果。

放到物理世界里，就是有些现象，我们只能等到它发生和演化，才能知道最后的结果。理论失去了预言的能力。

其实，我不大知道，这个原理和停机问题不可判定性的本质区别是啥？

从积极的鸡汤角度看，计算不可约性暗示我们的人生是无法一眼望到头的，有些事情你不做就不知道自己会不会成功。 http://t.cn/A6TMuegj