Never stop learning; the moment you do, you start falling behind.
骄傲的核心特征是敌意——对上帝的敌意和对同胞的敌意。
Each of us is an island, but we can connect through bridges.
英国女王伊丽莎白二世来华访问时想见他，他说
形式系统的发展彻底改变了我们对数学的理解。