数学直觉常常指导算法的发展,但确保其正确性和效率的是严格的证明。
抽象的力量使我们能够看到贯穿看似不同问题的共同线索。
Hold to the now, the here, through which all future plunges to the past.
挑战在于创造既实用又富有诗意的建筑。
我爱她是违背常理,是妨碍前程,是失去自治,是希望破灭,是断送幸福,是注定要尝尽一切的沮丧和失望的。可是,一旦爱上了她,我再也不能不爱她。