Theorems are the permanent literature of mathematics.

证明是一种用于使他人相信数学陈述为真的工具。

如果没有传统农业知识的智慧，农业中最先进的技术也是无用的。

学习Lisp是值得的，因为当你最终理解它时，你将获得深刻的启蒙体验；这种体验将使你在余下的日子里成为一个更好的程序员，即使你实际上并不经常使用Lisp本身。