计算理论为理解什么可以计算、什么不能计算提供了基础。
The theory of computation provides a foundation for understanding what can and cannot be computed.
理解就是感知模式。
我们总是希望在我们的程序中要说的是，所有已知语言都只能说得不好。
世人所知道的我，并不是实在的我。
信仰是对上帝恩典的一种活生生的、大胆的信任，如此确定和肯定，以至于一个人可以一千次地赌上自己的生命。
希格斯玻色子有点像粒子物理学的圣杯。
最终，我们都是故事，只是要让它成为一个好故事。
