形式系统的发展彻底改变了我们对数学的理解。
What’s really important is to question the questions.
Education is a lamp, but too many never find the switch.
You don't need a weatherman to know which way the wind blows.
Architecture should not shout. It should whisper to people's lives.
The past is what you remember, imagine you remember, convince yourself you remember, or pretend you remember.