Philosophy ought really to be written only as a form of poetry.
A proof is a device for convincing someone else that a mathematical statement is true.
We are moving from an era of information scarcity to an era of information abundance, and the challenge is no longer finding information but managing it.
"Books are the ultimate Dumpees: put them down and they’ll wait for you forever; pay attention to them and they always love you back."
数学家的工作永远不会真正完成；总有更多的东西需要探索。
The main task in life is to give birth to ourselves, to become what we potentially are.