实验的语言比任何推理都更具权威性:事实可以摧毁我们的推理,但反之则不然。
计算机科学成功的关键不仅在于编写代码,还在于理解使其工作的基本原理和理论。