结构化程序设计支持被排除中间语言的法律。
Structured Programming supports the law of the excluded middle.
It’s not about money. It’s about the people you have, how you’re led, and how much you get it.
To be like God， and to follow after Him， is the business and happiness of rational creatures.
我深切感到，关于造物这整个问题过于深奥，已超乎人类理智。
真正的创新发生在技术与需求的交汇处。
Jazz taught me freedom, but life taught me soul.
In mathematics, the art of proposing a question must be held of higher value than solving it.
To enjoy freedom we have to control ourselves.
计算的未来不仅仅是更快的处理器，而是能够学习和适应的更智能的系统。
