逻辑学研究不仅仅是关于形式系统，更是关于理性思维和话语的规范。

The most important thing I have learned is that the best way to get something done is to begin.

在科学管理下，计划室中专门负责提前计划的人总是发现，通过劳动细分可以使工作做得更好、更经济。

我们是不出现在报纸上的人。我们生活在印刷品边缘的空白处。

即使输了，我也能学到东西。

算法不应该决定内容的价值，人的判断才是核心。

模型检查是验证有限状态并发系统正确性的强大技术。

Freedom can only be given to those who desire it.

我相信爱是比责任感更好的老师，至少对我来说是这样。