直觉是"压缩后的证明"

当一个数学家说"我直觉上觉得这个定理是对的"，他的直觉其实是在微秒内运行了一个被压缩的证明——大量的经验被压缩成了一个快速的模式匹配。直觉不是"不讲道理"，而是"讲了太多道理以至于你意识不到自己在讲道理"。