(no title)
energyscholar | 22 days ago
The paper isn't arguing this should stop — domain-specific derivation produces genuinely useful adaptations. But the lack of a shared catalog means each field is also rediscovering failure modes and limitations that others already solved.
That's what we're trying to build at freethemath.org — not "here's the abstract math, figure it out," but "here's the same structure as it appears in YOUR field, with worked examples." Appendix B of the paper (page 17) is our first attempt at that bridge.
No comments yet.