3 ms·
It's sort of like... say you are on a team that has a ton of legacy code, a ton of technical debt, and a ton of new product requirements always coming in. Why d
by tunesmith 7y ago
It's sort of like... say you are on a team that has a ton of legacy code, a ton of technical debt, and a ton of new product requirements always coming in. Why doesn't the team work harder on updating the legacy code and reducing the technical debt? Mathematicians like the new stuff. Some people are working on formalizing the old stuff, it's just slow-going.
- lainga 7y agoDo 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.