要说服某人相信真理,仅仅陈述它是不够的,它必须被发现。
The study of computation is essential to understanding the limits of what can be computed.
The higher the expectations, the harder I work.
真正活着的唯一方式,就是甘愿为某些东西献出生命。
The essence of mathematics lies in its freedom.