阿基米德曾宣称：给我一个支点，我就能移动地球。如果茫茫宇宙间真有这么个支点，只要给阿基米德足够的时间，比方说数以亿计的年度，地球的确可以被他的杠杆撬动。然而，数学上的一些函数，是不是只要给人以足够的时间演算，也都能够通过有限次机械步骤求得解答呢？ 这个必须在理论上做出解释的数学难题，传统数学家只会想到用公式去推导，证明它是否成立。可图灵不愿墨守陈规，他独辟蹊径地想出了一台理想中的计算机。后人把它称为“图灵机”，这是一种不考虑硬件状态的计算机逻辑结构，是通用计算机的原始模型。

就算给个支点，也要有那么长的棍子

人类试图破解上帝的密码，我们只能在“发现”的过程中知道哪些是错的，但永远不可能知道哪些是对的。上帝在逗我们玩，如同我们给蚂蚁出难题。