阅读是不动的旅行，写作是不旅行的移动。

自守形式理论是现代数论的核心课题。

翻译：君子不做不符合礼制的事。

"The future of computing is going to be defined by human ingenuity, not just silicon."

Freedom is not merely the opportunity to do as one pleases; neither is it merely the opportunity to choose between set alternatives. Freedom is, first of all, the chance to formulate the available choices, to argue over them—and then, the opportunity to choose.