程序测试可以用来显示错误的存在，但绝不能显示它们的不存在！

心灵是驾驭现实的工具。

我认为，一个人应该认识到现实，即使他不喜欢它；事实上，尤其是当他不喜欢它的时候。

Writing is making sense of life. You work your whole life and perhaps you've made sense of one small area.

量子信息科学最令人兴奋的方面是它迫使我们重新思考关于现实的一些最基本的假设。