Math isn’t code. Math isn’t algorithmic. Good math uses more writing than symbols, but mathematics understanding took off when we started converging on notations. The field used to be longform written, in Latin, and it sucked a lothttps://twitter.com/citnaj/status/1233076496584953856 …
-
Sure, now how about writing “if there there exists a sublinear functional ‘sublinear_functional’ dominated everywhere by a linear functional ‘dominating_functional’ on a proper nontrivial vector subspace ‘proper-_nontrivial_vector_subspace of vector space ‘vector_space’...”
-
-
Exactly. That’s a part of a fairly fundamental theorem of functional analysis. Almost every proof of any significant theorem would be hopelessly unreadable if we insisted on programming conventions.
-
Intuitively that doesn't seem to square with experience but I can't honestly come up with a segment of code yet as a counterpoint. So for now I'll take your word on that...
- Show replies
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.