Experience is the name everyone gives to their mistakes.
所谓经验,乃是人们为其错误贴上的标签。
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
现在数学家面临的最大问题可能是黎曼假设。