我不是名人。我是活动家。
形式系统的发展彻底改变了我们对数学的理解。
Every story is a lie until someone believes it.
"To love is to risk being hurt, but not to love is to guarantee a life unlived."
你必须熬过一些糟糕的日子，才能赢得生命中最美好的时光。
The only real faith is the faith in love.
建筑师必须是诗人，但必须是建造的诗人。