On earth there is nothing great but man；in the man there is nothing great but mind.

数学不仅仅是关于数字、方程、计算或算法：它是关于理解的。

模型检查是验证有限状态并发系统正确性的强大技术。

Education begins the gentleman, but reading, good company and reflection must finish him.

电影的力量在于它能够让我们通过别人的眼睛看世界。

“唯一真正无尽的是人类的旅程。”

"Stories you read when you're the right age never quite leave you. You may forget who wrote them or what the story was called. Sometimes you'll forget precisely what happened, but if a story touches you it will stay with you, haunting the places in your mind that you rarely ever visit."

一个组织的适应能力质量决定了其生存的质量。