计算理论为理解什么可以计算、什么不能计算提供了基础。

It is futile to demand an a priori proof of the existence of objects which are not immediately ‘given’.

"Illustrations should whisper secrets to the reader, not shout the obvious."

透明建立信任，而信任建立忠诚。

Some people don't like change, but you need to embrace change if the alternative is disaster.

没有比深入书页更大的冒险了。