海洋的健康就是我们物种的健康——两者不可分割。
"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."
天地间存在灵性，精神永不消亡。
殖民地是一个新人类计划将被测试的地方，在那里一个无国界、无种族、无国家、无阶级、无性别、无宗教和无货币世界的梦想将被实现。
我没有任何特别的秘诀（用于开发新的证明）……这就是为什么做研究既具有挑战性又具有吸引力的原因。这就像在丛林中迷路，试图利用你能收集到的所有知识来想出一些新的技巧，并且如果运气好的话，你可能会找到出路。
I don't have any particular recipe [for developing new proofs] ... It is the reason why doing research is challenging as well as attractive. It's like being lost in a jungle and trying to use all the knowledge that you can gather to come up with some new tricks, and with some luck you might find a way out.
I think that in mathematics, and maybe in life, you have to be willing to be a little bit lost.
"Stories are the way we pass on wisdom from one generation to the next."