数学家怎么管理以及理解证明的复杂度?

泡沫了思念

我都不知道你这个问题具体是想问什么。随便谈谈吧。

首先,要从自己擅长的角度去做证明。比如素数定理的证明,可以用古典数论的方法,也可以用复变函数的方法,不同的数学家可以从不同的角度出发,至于复杂不复杂还是取决于自身的。再比如代数基本定理的证明,可以从拓扑学的方向出发,也可以从复变函数的方向出发,取决于数学家本身的绝招在什么地方。我觉得证明的复杂性不是能管理的,数学的证明犹如奔腾到海的长江,数学家能做的是顺流而下,至于路途多遥远,这个是不能管理的,既然选择了开始,就只好做下去。

其次,同一个数学难题可以有不同的证明。比如正质量猜想的证明,丘成桐给出的证明非常复杂,也很长。但威腾给出的证明很简洁。一般来说,第一个给出证明的人贡献更大,不管他的证明到底复杂不复杂,科学发现重视的是第一发现人的贡献。