3 ms·
Professional mathematics is more like English Literature than computer programming: you need extensive background in the area to follow it; and you can't just r
by hyp0 12y ago
Professional mathematics is more like English Literature than computer programming: you need extensive background in the area to follow it; and you can't just run it to see if it works.
- madez 12y agoI don't agree. Did you ever try Isabelle/HOL? It let's you "run it" to see if it works.
- anonymousDan 12y agoHow many professional mathematicians use Isabelle/HOL? Honest question!
- yummyfajitas 12y agoClose to none. Part of that is a social problem. People who do computer assisted proofs are not particularly well regarded, in my experience. Another big issue with those tools is that they don't work as well for analysis as they do for algebraic geometry and graph theory. This might be in part due to the fact that most of the folks constructing them are logicians, not analysts.