The Moving Finger writes; and, having writ, Moves on: nor all thy Piety nor Wit Shall lure it back to cancel half a Line, Nor all thy Tears wash out a Word of it.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
The aim of education is not to make men carpenters, but to make carpenters men.
Hope for the ocean begins with the courage to change.
(均平的状态下,水)保有内蕴,而外部毫无所动。
对财产的过度关注,胜过一切其他因素,阻碍了我们自由高尚地生活。
我们不是从祖先那里继承地球,而是从子孙那里借来的。