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 only real hope is the hope of the heart.

1999年5月温格透漏他怎样消磨业余生活

写作是一种希望的行为，是对文字改变世界力量的信念。

在计算生物学中，我们不仅仅是在解决问题；我们是在揭示生命的基本原理。