文学不过是一个有引导的梦。
La literatura no es más que un sueño dirigido.
λ演算是一种表示函数及其应用的形式体系。
I am living a dream I never want to wake up from.
The process of doing mathematics is more important than the result.
You put together two people who have not been put together before; and sometimes the world is changed, sometimes not. They may crash and burn, or they may ignite and light up the sky.
跨学科合作往往孕育最激动人心的突破。
我不等待机会，我创造机会。
Where there is no property there is no injustice.
Standards are the key to the success of the Internet.