The development of formal systems has revolutionized our understanding of mathematics.
形式系统的发展彻底改变了我们对数学的理解。
如果战略达到了目标，它就是有用的；如果战略实现了目标，它就是成功的。
我写作不是为了忏悔，而是为了探索可言的界限。
The best way to find out if you can trust somebody is to trust them.
"In the middle of difficulty lies opportunity."
我希望我能冻结这一刻，就在这里，现在，永远活在它里面。
Sometimes the most powerful moments in a film come from what you don't show.
语言是我们塑造现实的最强大工具。