"每一本书都是一个新的世界,等待着读者去探索。"
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.
可持续性不仅仅是一个目标,更是我们对后代的责任。
一句话,先是太胆小,明知错的事却不敢不做;后来也还是太胆小,明知对的事却不敢去做。