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 strongly dislike the false dichotomy commonly imposed. Computer-aided proof is an opportunity to get _better_ explanations
-
-
yes. I think I was falling for that dichotomy. Trying to crawl out now. Will let you know if I reach air again.
-
It puzzles me that there's relatively little work on this. It seems a huge opportunity (as the Lipson et al work suggests)
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.