Every artist is a cannibal, every poet is a thief.
每个艺术家都是食人族,每个诗人都是小偷。
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.
The mind is a stream of processes, not a collection of objects.
好的设计就是尽可能少的设计。