狮子不会在意绵羊的看法。

To build is to make the invisible visible.

数学的本质在于它的自由。

计算机程序执行你告诉它要做的事情，而不是你希望它做的事情。

数学的本质在于其自由性。

I don't run to add days to my life, I run to add life to my days.

The pursuit of knowledge for its own sake, an almost fanatical love of justice, and the desire for personal independence—these are the features of the Jewish tradition which make me thank my stars that I belong to it.