形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
故事的力量在于它可以改变世界。
质量不是目标;它是一个旅程。
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
"I’m a very calm person. That helps me in tennis and in life."
And don’t you leave, cause I know all I need is on the other side of the door.
Science is not just about finding answers, but also about asking the right questions.
From 30 feet away she looked like a lot of class. From 10 feet away she looked like something made up to be seen from 30 feet away.
史记
Be still. Apart from this the mind has no task to do or thought to think.