计算的未来在于开发能够自我验证正确性的系统。
Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.
"I have come to believe that a great teacher is a great artist and that there are as few as there are any other great artists. Teaching might even be the greatest of the arts since the medium is the human mind and spirit."
The best way to predict the future is to invent it.
交换、交易和互换的倾向普遍存在于所有人之中，而在其他动物种族中找不到。
可持续性不仅是责任，也是创新的机会。
不同民族之间的文化差异并非源于民族本身的生理特征差异，而是源于其历史发展的差异。
人生最幸福的事，就是做自己喜欢做的事。