In 2013, I wrote a diatribe on computed-assisted proofs, simulations, & the curse of computing: https://egtheory.wordpress.com/2013/05/14/curse-of-computing/ … ...
-
... yesterday, a chat /w Peter Jeavons brought topic back to mind & reminded me that I still need to write a defence of computers in math...
I wrote something like that last year: https://www.quantamagazine.org/20150723-computer-explanation/ … (Ignore the subheader, not mine.)
