楼下跟贴心姐时突然想到一个天才法国数学家的话

"God exists since mathematics is consistent, and the Devil exists since we cannot prove it."

“上帝之存在皆因数学的一致性，而魔鬼之存在皆因我们无法证明之。”

说这话的Andre Weil, 是·爱因斯坦和哥德尔同年代的人，也在普令斯顿大学做过，后回法国，是数论，代数几何和形式逻辑的大拿，他工作上和哥德尔有无交集没查过，反正其研究我也不懂，但他这话却是很好呼应了哥德尔的不完备定理，不完备定理大致说：任何一个数学系统，都会有些为真的数学陈述（比如一些定理）永远无法被证明为真。也就是说没有一个数学系统是完备的 - 这系统本身无法最终自圆其说。 

数学是人类最严谨的语言，因为它的严密推导性，从一组公理或显而易见的前提出发，导出越来越多为真的陈述，不渗杂实验，经验和思辨，人类凭这样语言建立出来的知识体系也是最坚固的。然而哥德尔告诉我们，理论上这个过程反过来并不成立，这体系中一些为真的数学性陈述永不可能在这体系里被推导出来。如果数学这门最严谨的语言都有这么大的漏洞，那其他各种人类语言机器语言逻辑上就更是千疮百孔了，人类凭这些语言进行思维创造概念形成意识也便风险大大谬误难免。

这是没办法的人之为人，当Weil说上述的话，他坚信数学是一致的，也就是不存在逻辑矛盾，如上帝般完美。我们说一两句话尽量不自相矛盾还可以做到，但如此庞大复杂的知识体系，科学的基础，人类认识真理的根本基石，如此完美，我们人类若能拥有它岂不是天赋福分，真理一臂之遥，上帝伸手可及。然而不幸的是，我们不能，即使我们的认知已经发展到全入数学般精致严密完整，我们还是无法肯定真理的存在，上帝的存在，谬误和魔鬼永远横亘其间。

哥德尔用形式逻辑证明了上帝的存在，也意味着他同时证明了魔鬼的存在。