形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

For the eyes of the world now look into space, to the moon and to the planets beyond, and we have vowed that we shall not see it governed by a hostile flag of conquest, but by a banner of freedom and peace.

The only way to do great work is to love what you do.

The most important thing is to turn your vision into reality.

"The only thing we have to decide is what to do with the time that is given us."