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 a finite problem.
用程序證明四色定理不會(huì)改變數(shù)學(xué)——它只是證明了這個(gè)挑戰(zhàn)了一個(gè)世紀(jì)的定理是一個(gè)有限的問(wèn)題。
用社會(huì)主義來(lái)治愈英國(guó)病就像試圖用水蛭來(lái)治愈白血病。
智者說(shuō)話，是因?yàn)橛行┰捯f(shuō)；愚者說(shuō)話，則因?yàn)橐f(shuō)些話。
There is no reason why good cannot triumph as often as evil. The triumph of anything is a matter of organization.
你給予的越多，你得到的就越多。