Will Computers Replace Mathematicians
So while ordinary human-based proofs are still essential, the computer leads the way in assisting mathematicians to identify new theorems and chart a route to formal proof. What’s more, one can argue that in many cases computations are more compelling than human-based proofs. There is every indication that research mathematicians…