我们不是按照事物的本来面目看待它们,而是按照我们自己的样子看待它们。
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 a finite problem.
"الحب ليس أن تجد الشخص المثالي، بل أن ترى الشخص غير المثالي بطريقة مثالية."