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.

【译文】 孔子说：“父母在世时，不要走远，必须远走时，一定要留下准确的地址。”

煤炭造就了现代世界，我们有责任确保以智慧管理它的遗产。

现代国家的特点是其能够以前现代国家无法做到的方式集中和使用权力。

知识是宇宙中最宝贵的资源。

I think the best moments in music are when you're completely surprised.

"We are all just walking each other home."

风是海洋的呼吸。