Matt McIrvin on Nostr: this kind of thing is what Emmy Noether was really thinking about in the first place, ...

this kind of thing is what Emmy Noether was really thinking about in the first place, wasn't it? The theorem is ubiquitous in contexts that have nothing to do with general relativity but she started out more or less doing it on the maximum difficulty level.