Science thrives when curiosity meets rigorous methodology.
一个人可能发生的最糟糕的事情就是失去希望。
形式系统的发展彻底改变了我们对数学的理解。
不要等待创新的许可——直接开始吧。
The dead don’t stay buried if they have unfinished business.
Eliminating clutter makes room for your true treasures.
君主节制自己的欲望,百姓就会富裕;评判诉讼公平准确,百姓就能安定。
公司最大的资产是员工——投资他们,他们就会推动成功。