The development of formal systems has revolutionized our understanding of mathematics.
形式系统的发展彻底改变了我们对数学的理解。
艺术应该是关于提出问题，而不是给出答案。
A lady's imagination is very rapid; it jumps from admiration to love, from love to matrimony in a moment.
我一直认为，机器的真正考验在于它在普通劳动者手中的实际效用。
成为作家就意味着对一切都感兴趣。