哪怕是简单的数学证明也是要直觉的。证明中常见的一句话，“Observe that...”，就是直觉，比如找到一个 contradiction，一个 homomorphism，哪怕是找极限也是要构造一个不等式，这些东西没法用模式匹配或者任何机械化的步骤求出来。

【 在 chunhui 的大作中提到: 】
: 我觉着逻辑也是一种模式匹配。或者说人类的学习和思维至少有百分之六七十都是基于模式匹配的。不过我这里说的模式匹配不是字符匹配这种。
: 比如一个逻辑推理或者数学题证明。可以认为是特定模式的匹配：a+b 可以推出b+a 交换律结合律之类的。都是模式匹配和等价转换。
: 如果让计算机搞这些。就是想办法提炼出模式，然后去匹配。
--
FROM 188.67.137.*