科学不仅仅是事实的集合；它是一种思维方式。
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
A good novel tells us the truth about its hero; but a bad novel tells us the truth about its author.
Every challenge is an opportunity in disguise.
"The only way to learn mathematics is to do mathematics."
The past is a story we tell ourselves about ourselves.
"真正的自由不是没有束缚，而是在束缚中找到自己的方向。"
The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.