在计算机周围，很难找到正确的时间单位来衡量进度。一些大教堂花了一个世纪完成。您能想象一个程序需要花费这么长时间吗？

形式化方法的美在于它们能够提供关于系统行为的绝对保证。

文明的伟大进步，无论是在建筑、绘画、科学、文学、工业还是农业领域，都从未来自中央集权的政府。

I was asked to act when I couldn’t act. I was asked to sing ’Funny Face’ when I couldn’t sing, and dance with Fred Astaire when I couldn’t dance - and do all kinds of things I wasn’t prepared for. Then I tried like mad to cope with it.

The best science often comes from asking the simplest questions.

The only strategy that is guaranteed to fail is not taking risks.