世界充满苦难，但也充满对苦难的克服。
The world is full of suffering, but it is also full of the overcoming of it.
数据库应该是现实的忠实模型，而不是对现实的扭曲。
理论计算机科学与应用数学之间的协同作用带来了曾经被认为不可能的突破。
思维法则的有效性不依赖于它们所应用对象的性质。