wooyichao

起初，这个WU谜题看上去像一个考验一个人逻辑能力和智商的问题，看哪个“聪明”的家伙能够能够从WJ推导出WU。 规则1：如果一个你已经推导出来的符号串结尾是J，那么可以在后面加上一个U 规则2：如果你有了Wx，那么Wxx也归你所有 规则3：如果JJJ出现在你的符号串中，你可以有一个U来代替从而获得一个新的符号串 规则4：如果UU出现在你的符号串中，那么你可以去掉它 好么，用上面的4条规则从WJ推出WU吧！"?" 接着就是在纸上的一堆W，J，U，顺推，逆推，替换，消去...... 最后你会突然发现，自己以及涂了几面纸，但是却依旧无法推出WU，你会问：“是不是从这些规则当中无法获得WU呢?" 从WJ推出WU，可能是不行的，我没有去证明这一点， 但是从我的推导历程中，我隐约地感觉到，这个问题，可能是无解的，如果我的数学证明功底很强的话,我可能会试着去证明这是无解，但现实是我的数学推理能力几乎为0，所以我就直接放弃了。 那么，如果有一个擅于编程的人，将这个问题写作一个程序，让计算机去执行，试着去找到解决方法，会出现什么情况呢？如果这个问题真的是无解的，那么计算机就会一直执行。啊呀，无穷的执行下去。 在这一点上，计算机和人不同，因为我们能够跳出来。 这个题目存在于一个形式系统当中，这个系统遵循着上面的4条规则，作为一个有智能的人，我们能够发现”如果在这个系统当中，我可能永远不会得到正确答案“，那么我们就会跳出这个系统，然而计算机不会，如果没有加入相应的东西的话。如果计算机能够有跳出系统的能力，那么更智能的行为能够实现，更好的程序结果也能够呈现出来。