3 ms·
I think one could only claim destruction if there was evidence that other forms of math were in decline due to computer-aided proofs. As much as we hear about
by kevinventullo 6y ago
I think one could only claim destruction if there was evidence that other forms of math were in decline due to computer-aided proofs.
As much as we hear about computer-aided proofs and theorem proving software here on HN, these topics are still somewhat niche in mathematics as a whole.