宇宙的数学是用几何语言书写的。

预测未来的最好方法就是创造未来。

——1996年5月29日在哈佛大学演讲

Model checking is a powerful tool for verifying the correctness of hardware and software systems.

虚构与现实的区别？虚构必须合乎逻辑。

电影制作中最重要的是忠于你的愿景。