没有所谓的"应用科学"这一特殊类别;只有科学及其应用,它们之间的关系就像果实与结出果实的树之间的关系一样。
Psychological truth is what stands the test of life.
Beliefs have the power to create and the power to destroy.
The most profound discoveries in mathematics often come from questioning the most basic assumptions.
数学中最深刻的发现往往来自于对最基本假设的质疑。
形式化方法不是银弹,但它们是追求可靠系统的重要工具。
永远不要让你的道德感阻止你做正确的事。
所有严肃的艺术都试图理解这个世界。