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 way to predict the future is to invent it.
【译文】 孔子说:“不懂得客观规律,就不能做君子;不懂得道德规范,就无法建功立业;不懂得分辨言论,就不能了解人。”
科学应该始终为人类服务,而不是反过来。
我不相信做正确的决定。我做决定,然后让它们变得正确。
译文:做任何事都不要用欺骗的方式,头顶上有神灵在看着你。赏析:为人处事,不要昧着良心干坏事。常言道,平生不做亏心事,不怕半夜鬼敲门。坏事做尽,自会遭到神明的惩罚。
No man is free who is not a master of himself.