我相信每一个成人的内心深处，都潜伏着一个爱做游戏的天真孩童，只不过随着时光流逝，蒙上了世故的尘土。

There's not a liberal America and a conservative America - there's the United States of America.

密码学是关于在存在对手的情况下进行通信的。

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