數學家怎麼管理以及理解證明的複雜度?

泡沫了思念

我都不知道你這個問題具體是想問什麼。隨便談談吧。

首先,要從自己擅長的角度去做證明。比如素數定理的證明,可以用古典數論的方法,也可以用複變函數的方法,不同的數學家可以從不同的角度出發,至於複雜不復雜還是取決於自身的。再比如代數基本定理的證明,可以從拓撲學的方向出發,也可以從複變函數的方向出發,取決於數學家本身的絕招在什麼地方。我覺得證明的複雜性不是能管理的,數學的證明猶如奔騰到海的長江,數學家能做的是順流而下,至於路途多遙遠,這個是不能管理的,既然選擇了開始,就只好做下去。

其次,同一個數學難題可以有不同的證明。比如正質量猜想的證明,丘成桐給出的證明非常複雜,也很長。但威騰給出的證明很簡潔。一般來說,第一個給出證明的人貢獻更大,不管他的證明到底複雜不復雜,科學發現重視的是第一發現人的貢獻。


分享到:


相關文章: