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.
《三民主义.民生主义》(1924年8月10日)
最好的品牌不只是销售产品,它们销售情感和体验。
创新是华为云的核心竞争力,我们要持续投入,为客户创造价值。
The only way to discover the limits of the possible is to go beyond them into the impossible.
编程语言中最重要的东西是语义,而不是语法。
人是自己的世界。
人们并不总是理性的,他们的非理性行为可能会产生重大的经济后果。
最好的艺术会改变你看世界的方式。