煤炭的未来取决于经济增长与环境责任的平衡。
使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战，对数学可能并不重要。
When we are planning for posterity， we ought to remember that virtue is not hereditary.
创新是进步的关键。
"The challenge in theoretical computer science is not just to solve problems, but to understand why they are hard to solve."
真理并不总是美丽的，美丽的话语也不总是真理。
文本之外别无他物。
The legislative cannot transfer the power of making laws to any other hands: for it being but a delegated power from the people, they who have it cannot pass it over to others.
If you don’t have time, you don’t have priorities.