逻辑是所有数学推理的基础。
Logic is the foundation of all mathematical reasoning.
世界是一本书，不读书的人只活了一次。
现在如果天下的人都相信鬼神能赏贤罚暴，那么天下怎么还会混乱！
The best films are the ones that stay with you long after you've watched them.
Shor's algorithm has profound implications for cryptography and the security of digital communications.
摆脱诱惑的唯一方法是屈服于它。
The fact remains that getting people right is not what living is all about anyway. It's getting them wrong that is living, getting them wrong and wrong and wrong and then, on careful reconsideration, getting them wrong again.
The world is always in movement.