法律义务不仅仅是道德义务加上制裁。
Legal obligations are not merely moral obligations backed by sanctions.
We choose to go to the moon in this decade and do the other things, not because they are easy, but because they are hard, because that goal will serve to organize and measure the best of our energies and skills, because that challenge is one that we are willing to accept, one we are unwilling to postpone, and one which we intend to win, and the others, too.
扩展程序的最好方法是扩展它。
I don't pursue style. I pursue coherence.
Problem solving is the central activity of intelligent systems.
科学通过不断质疑和完善我们的理解而进步。