Foundational, on two fronts. Noether's abstract algebra (rings, ideals, the ascending chain condition) reshaped mathematics; Noether's theorem (symmetry ⇒ conservation) is a pillar of physics. Both are rigorous and permanent.
Structure, the soil logic grows in. Her field is abstract algebra, not formal logic per se — but the axiomatic-structural method she perfected is exactly how modern logic treats its objects (Boolean algebras, lattices, models). She belongs here as the algebra under it all.
Genius worked around by force. Denied a paid post as a woman, she lectured for years under Hilbert's name; in 1933 the Nazis expelled her, a Jew, from Göttingen. She fled to America and died two years later at 53.
Here is the structural view in miniature. A group is any set with one operation obeying four axioms: closure, associativity, an identity, and inverses — and nothing else is assumed. Pick a group; its Cayley table shows the operation in full. The machine checks the axioms live. Notice that wildly different things — clock arithmetic, the symmetries of a triangle, the logic values {0,1} — are the same structure when their tables match. That sameness is Noether's whole idea.
"My methods are really methods of working and thinking; this is why they have crept in everywhere anonymously." — Emmy Noether
Rings, ideals, modules, and the ascending chain condition (a "Noetherian" ring bears her name). She made structure, defined by axioms, the object of study — the template for all modern algebra and for how logic handles its own structures.
Every continuous symmetry of a physical system corresponds to a conserved quantity: time-symmetry ⇒ energy, space-symmetry ⇒ momentum. One of the deepest principles in all of physics.
The thread to this lineage is the axiomatic method carried to its conclusion. [[euclid]] axiomatised geometry; [[david-hilbert]] demanded axioms for everything; Noether showed how to actually work that way — to define a kind of object purely by the laws it obeys and then prove theorems about every instance at once. That is precisely how a modern logician studies "a Boolean algebra" or "a model," and how a computer scientist reasons about "a monoid" or "a type." Her structural style is the air all of higher mathematics now breathes — usually, as she predicted, without her name attached.
Gate kept on. The honest placement: Noether is, strictly, the supreme algebraist rather than a formal logician — but the structural, axiomatic mode of thought she perfected is the ground modern logic stands on, which earns her a place in this lineage at the side of the women restored to it. Her results are beyond dispute: Noetherian rings, her treatment of ideals, and Noether's theorem are permanent fixtures of mathematics and physics. What must be told plainly is the obstruction. Emmy Noether was the daughter of a mathematician and a mathematician of the first rank — and for years the University of Göttingen refused to let her hold a paid teaching position because she was a woman; she lectured under Hilbert's name on the timetable while the faculty argued the point (Hilbert reportedly snapped that the university senate "is not a bathhouse"). She finally gained a modest, poorly paid lectureship — and then, in 1933, the Nazi regime expelled her, a Jew, from the university entirely. She emigrated to Bryn Mawr College in the United States, taught two more years, and died in 1935 at 53 after surgery. Einstein, in her obituary, called her the most significant creative mathematical genius produced since the higher education of women began. Her methods, she said, "crept in everywhere anonymously" — the structural language of all modern mathematics, hers. ⚑ [[ruth-barcan-marcus]] ← · next → Stephen Kleene.