我们写的每一个方程都是宇宙的一首诗，是存在伟大史诗中的一节。
小说是让不可见的东西变得可见的艺术。
语言是一种皮肤：我用我的语言摩擦对方。就好像我有的是词语而不是手指，或者我的词语的尖端是手指。
不要看时钟；做它正在做的事。继续前进。
自然界中无限小的角色是无限大的。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
真正的冠军不是由他们的胜利来定义的，而是由他们如何从失败中恢复来定义的。
能源行业必须拥抱数字化转型，以在全球市场中保持竞争力。