计算的未来在于开发能够自我验证正确性的系统。
Memory is a wound that never heals, and literature is the bandage we put on it.
I don't like favors; they oppress and make me fell like a slave.I'd rather do everything for myself,and be perfectly independent.
朗兰兹纲领是对数学如何被整体理解的一种愿景。
We have to be careful not to become stylists.