形式化方法的美在于它们能够提供关于系统行为的绝对保证。
Man can only be free through mastery of himself.
预测未来的最好方法就是发明它。
The history of mathematics is a testament to the ingenuity and creativity of the human mind.
The only failure is not trying.
唯一能让你成为赢家的是你的态度。
每一次表演都是与世界分享美好事物的新机会。
你无法改变生命的长度,但你可以改变它的宽度和深度。
一切皆有可能,我不相信极限。