真正的教师会保护学生免受他个人影响。他激发自我怀疑。他将他们的目光从自己身上引导到激发他的精神上。他不会有门徒。

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 only way to be a writer is to write.

我们有责任确保技术为人类服务，而不是反过来。