形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

水是一切事物的根源。

数学不仅仅是关于数字、方程、计算或算法：它是关于理解的。

We often think of poverty as a lack of money, but it’s also a lack of information and opportunities.

对抗邪恶最确定的手段是极端的个人主义、独立的思考、异想天开甚至古怪反常。

出自汉·桓宽《盐铁论·未通》。修筑城墙的人，首先要加厚城墙的地基，然后再把城墙垒高；善于养民的人，首先要巩固人民的产业，然后才能使他们走向富裕。要使人民实现富裕，首先要使人民有稳定的工作。国家应该合理地配置土地资源，使农民有地可耕；还应该整治社会治安，稳定市场秩序，沟通贸易渠道，使商人有买卖可做。只有做好了这些基本工作，人民才能逐渐走向富裕。