使用程序证明四色定理不会改变数学-它只是表明该定理是一个世纪的挑战,对数学可能并不重要。
The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is probably not important to mathematics.
书籍的美妙之处在于它们可以带你去任何地方。
合作是突破的关键——没有人能独自完成。
The best art comes from pain.
我不想成为明星,我想成为一名演员。
未来属于那些敢于挑战科学和商业现状的人。
"Writing is a way of thinking, a way of exploring the world and oneself."
"We are all refugees from the past, seeking asylum in the present."