形式系统的发展彻底改变了我们对数学的理解。
The development of formal systems has revolutionized our understanding of mathematics.
预测未来的最好方法就是创造未来。
梦想家只能在月光下找到自己的路,他的惩罚是比世界其他人更早看到黎明。
记忆是最残酷的暴君,也是最仁慈的救主。
诗人是一个睁着眼睛做梦的梦想家,他看到的世界不是它现在的样子,而是它可能成为的样子。
金钱可以为你买到爱。