3 ms·
Do you think there is any place in the mathematical ecosystem, as a career, for mathematicians who do what "should be done", and not what they think they'll lik
by lainga 7y ago
Do you think there is any place in the mathematical ecosystem, as a career, for mathematicians who do what "should be done", and not what they think they'll like to do? For some (faculty? consensus?) direction of "should be done"?
- zozbot234 7y agoDefinitely. Formalizing even a fairly trivial and well-known proof is publishable work (unless someone has done that exact proof already, in a comparable system). It tends to reveal all sorts of interesting details that are entirely hidden in the original proof sketch.