大自然从来都不是完全对称的,我们的方法也不应该假装它是。
The notion of truth is not definable in any formal system that is strong enough to include arithmetic.
理念先行,形式随后。
In language, we find the essence of human creativity.
数学的美在于它能够用一种既精确又普遍的语言来描述宇宙。
陈述是传达信息的手段,承诺是作出承诺的手段。
随着年龄增长,我越发意识到自己知之甚少。