最大的挑戰(zhàn)不是科學,而是改變人們的觀念。
使用程序證明四色定理不會改變數(shù)學-它只是表明該定理是一個世紀的挑戰(zhàn),對數(shù)學可能并不重要。
There is no such thing as being “on time.” You are either late or you are early. Your choice.
你永遠無法取悅所有人,所以做讓自己開心的事就好。
證明的嚴謹性將數(shù)學與所有其他科學區(qū)分開來。
My dad has always taught me these words: care and share. That's why we put on clinics. The only thing I can do is try to give back.