Make no mistake about it: Computers process numbers - not symbols. We measure our understanding (and control) by the extent to which we can arithmetize an activity.
毫无疑问：计算机处理数字-而不是符号。我们通过对活动进行数字化的程度来衡量我们的理解（和控制）。
The tragedy of great power politics is that it leads to conflict and war.
Shor算法展示了量子计算机可以比经典计算机指数级更快地解决某些问题。
“需要”不认识任何的“法律”。
预测未来的最好方法就是去发明它。
The greatest thing you'll ever learn is just to love and be loved in return.
朗兰兹纲领是探索数学思想统一性的框架。