Siehe mindestens Emmy Noether:

war eine deutsche Mathematikerin, die für ihre Beiträge zur abstrakten Algebra und zur theoretischen Physik bekannt war. Sie wurde von Pavel Alexandrow, Albert Einstein, Jean Dieudonné, Hermann Weyl und Norbert Wiener als die wichtigste Frau in der Geschichte der Mathematik beschrieben. Als eine der führenden Mathematikerinnen ihrer Zeit entwickelte sie die Theorien von Ringen, Feldern und Algebren. In der Physik erklärt der Satz von Noether den Zusammenhang zwischen Symmetrie und Erhaltungsgesetzen.

Dies ist natürlich nur ein Beispiel ;; Es gibt viele andere: siehe Antworten unten.

Vielleicht aufgrund seiner Jugend hat das mathematische Ende der Informatik mehrere bemerkenswerte Frauen in seiner Geschichte.

Sheila Greibach war eine Pionierin auf dem Gebiet der formalen Sprachtheorie. insbesondere im Bereich der kontextfreien Sprachen. Zu dieser Zeit wäre das eher ein Zweig der Mathematik gewesen, da die Informatik eigentlich keine eigene Sache war.

Insbesondere entwickelte sie die Greibach-Normalform p>

Barbara Liskov

Hatten diese einen "tiefen Einfluss" auf unser Verständnis von Mathematik? Nicht im klassischen Sinne, aber sie haben zu erstaunlichen Entwicklungen geführt, wohl so viele wie die 400 Jahre Theorie der Analysis / Analyse.

Es gibt die Arbeit von Ada Lovelace.

In den Anmerkungen, die als "Notizen" bezeichnet wurden, beschrieb Ada Lovelace, wie die Analyse-Engine programmiert werden kann, und gab an, was viele als das erste Computerprogramm überhaupt betrachten.

Insbesondere fand und korrigierte sie einen Fehler in Babbages Algorithmus zur Berechnung von Bernoulli-Zahlen:

Wir diskutierten gemeinsam die verschiedenen Abbildungen, die eingeführt werden könnten: I. schlug mehrere vor, aber die Auswahl war ganz ihre eigene. So auch die algebraische Ausarbeitung der verschiedenen Probleme, außer der, die sich auf die Anzahl der Bernoulli bezog, die ich angeboten hatte, um Lady Lovelace die Mühe zu ersparen. Dies schickte sie mir zur Änderung zurück, nachdem sie einen schwerwiegenden Fehler entdeckt hatte, den ich dabei gemacht hatte.

(aus C Babbage, Passagen aus dem Leben eines Philosophen (London, 1864) ).)

Natürlich ist die Programmiersprache Ada nach ihr benannt.

Es gibt Sophie Germains Theorem , ein Theorem in der Zahlentheorie, das mit Fermats letztem Theorem verwandt ist und von der französischen Mathematikerin Sophie Germain bewiesen wurde a> (1776-1831).

Ich habe einen Existenzsatz für das Cauchy-Problem in partiellen Differentialgleichungen gefunden, der von Sofia Vasilyevna Kovalevskaya bewiesen wurde.

Folgendes wäre meine Top-Auswahl:

Die Sophie Germain-Identität besagt, dass $ a ^ 4 + 4b ^ 4 = (a ^ 2 + 2b ^ 2 + 2ab) ) (a ^ 2 + 2b ^ 2-2ab) $ für $ a, b \ in \ mathbb {Z} $. Dies ist eine sehr einfache Identität, die jedoch bei vielen Problemen der Elementarzahlentheorie sehr nützlich ist.

Das Noether-Normalisierungs-Lemma ist ein Ergebnis der kommutativen Algebra, die wahrscheinlich gleich in der ersten gelehrt wird Woche eines Graduiertenkurses in algebraischer Geometrie. Eine Version des Ergebnisses besagt, dass für jedes Feld $ \ mathbb {K} $ und jedes f.g. kommutativ $ \ mathbb {K} $ - Algebra $ A $, es gibt eine nicht negative ganze Zahl $ k $ und algebraisch unabhängige Elemente $ y_1, y_2, \ ldots, y_k \ in A $, so dass $ A $ ein z. Modul über dem Ring $ \ mathbb {K} [y_1, y_2, \ ldots, y_k] $.

Olga Ladyzhenskaya hat ein Ergebnis im Zusammenhang mit den Navier-Stokes-Gleichungen bewiesen.

Das Ergebnis an sich ist nicht sehr berühmt, aber die Navier-Stokes-Gleichungen sind es.

Danica McKellar ist die McKellar im Chayes-McKellar-Winn-Theorem

Es gibt keine weiblichen Mathematiker, die so so stark beeinflusst haben wie Gauß oder Euklid, aber dies ist aus historischen Gründen zu erwarten, mit denen jeder vertraut ist. Ein kurzer Blick auf Google hat dem Fragesteller gesagt, dass es in der Geschichte viele wichtige Mathematikerinnen gibt, aber ich denke, die Frage ist nach einem wirklich wichtigen Mathematiker oder zumindest einem bekannten Mathematiker, wie Galois, der die Galois-Theorie nach ihm benannt hat, oder Hilbert, der Hilbert-Räume nach ihm benannt hat.

Die erste Person, an die ich dachte, als ich diese Frage las, war Emmy Noether, die (offensichtlich) nicht ganz Newton ist, aber zumindest Galois

Sie werden wahrscheinlich nicht die Namen von Frauen in den Titeln von Mathematikkursen sehen, aber wenn Sie es sind, wird es wahrscheinlich Noether sein.

Das ist es Möglicherweise waren viele alte Mathematiker tatsächlich Frauen. Dies ist sicherlich der Fall für Ägypten, aber wahrscheinlich weniger für Griechenland (obwohl wer weiß?). Auch in der Neuzeit haben einige Frauen unter männlichen Pseudonymen gearbeitet, und es gibt möglicherweise noch viele weitere, von denen wir nichts wissen (obwohl dies unwahrscheinlich ist) dass jeder der "großen" Mathematiker wie Newton und Euler tatsächlich Frauen waren, weil ihr Leben gut dokumentiert wurde). Es ist auch möglich (in der Tat sehr wahrscheinlich), dass die Arbeit von Frauen von Männern plagiiert wurde, so dass einige Theoreme, die nach Männern benannt sind, tatsächlich von Frauen entwickelt wurden. Wir werden wahrscheinlich nie wissen, wie viele.

Der Satz Denjoy-Young-Saks bietet einige Möglichkeiten für die Dini-Ableitungen einer Funktion, die fast überall gilt.

Grace Chisholm Young erweiterte Denjoys Ergebnis zu kontinuierlichen Funktionen auf messbare Funktionen. Ihr Ehemann war William Henry Young.

Ingrid Daubechies leistete Pionierarbeit in der Oberschwingungsanalyse, die beispielsweise zur Entwicklung endlicher Support-Wavelets (orthogonal und biorthogonal) führte. Dies ermöglichte es der Wavelet-Theorie, in die digitale Signalverarbeitung der Domäne einzutreten, möglicherweise ähnlich wie bei der Erfindung der schnellen Fourier-Transformation in Bezug auf die mathematische Fourier-Transformation.

Zwei dieser Wavelets, genannt CDF 5/3 oder CDF 9/7 für Cohen- Daubechies -Fauveau bilden den Kern des Bildkomprimierungsalgorithmus JPEG 2000 und das Motion JPEG 2000, das in der Filmindustrie verwendet wird.

Sie war die erste Frau, die Präsidentin der Internationalen Mathematischen Union war. Sie war eine Noether-Dozentin, wo Sie andere einflussreiche Mathematikerinnen finden können. Und sie ist jetzt eine Baronin.

Ihre mathematischen Ergebnisse haben nicht nur den Weg durch industrielle Anwendungen geebnet, sondern auch die Art und Weise, wie Menschen Daten analysieren, auf eine mehrskalige Weise (Vergrößern / Verkleinern) stark verändert.

1. Hypatia of Alexandria (350 oder 370 - 417 n. Chr.)
ol>

Sie arbeitete an mehreren bedeutendsten Forschungen, darunter ihre Kommentare zum griechischen Lehrbuch Arithmetica und Auf den Kegeln des Apollonius. Sie ist besonders für ihre detaillierte Beschreibung des frühen Hydrometers bekannt.

2. Émilie du Châtelet (1706-1749)
ol>

Ein französischer Physiker , Mathematiker und Schriftsteller während der Aufklärungszeit in Europa. 1740 veröffentlichte Châtelet ein Buch über Philosophie und Wissenschaft mit dem Titel Institutions de Physique und übersetzte und kommentierte später Newtons Principia Mathematica, die bekannteste Übersetzung.

3. Maria Agnesi (1718) -1799)
ol>

Sie hat ein Buch über Mathematik geschrieben, das noch erhalten ist, nämlich: Analytische Einrichtungen für den Gebrauch italienischer Jugendlicher auf Englisch. Ein weiterer wegweisender Beitrag war die Witch of Agnesi-Kurve, für die sie die Gleichung schrieb.

4. Sophie Germain (1776-1831)
ol>

Sophie Germains Arbeit zur Elastizitätstheorie machte sie zur ersten Frau, die 1816 von der Pariser Akademie der Wissenschaften ausgezeichnet wurde. Sie war auch maßgeblich an der Beweisführung von Fermats letztem Satz beteiligt.

5. Ada Lovelace (1815-1852)
ol>

Als Lovelace gebeten wurde, die Memoiren von Charles Babbage, der Analytical Engine, zu übersetzen, fügte sie ihre eigenen Kommentare und Notizen zu einer Methode zur Berechnung einer Sequenz hinzu von Bernoulli-Zahlen: Was heute als das erste Computerprogramm der Welt bekannt ist, macht Lovelace später zum ersten Computerprogrammierer der Welt.

6. Sofia Kovalevskaya (1850-1891)
ol>

Sie gab dem Cauchy-Kovalevskaya-Theorem 1875 das Endergebnis, arbeitete an einer Arbeit, in der sie die Kovalevskaya-Spitze erfand, und veröffentlichte zehn Arbeiten, die auf Mathematik und Mathematik basierten physikalische Physik.

7. Emmy Noether (1882-1935)
ol>

Emmy Noether ist berühmt dafür, den Noether-Satz zu prägen, der die Beziehung zwischen Erhaltungsgesetzen und Symmetrie verdeutlicht, sowie den Noether-Ring, der die Grundlagen der abstrakten Algebra verändert hat. Noether ist auch berühmt für andere Theorien, die auf nicht kommutativen Algebren, hyperkomplexen Zahlen und kommutativen Ringen basieren.

8. Mary Cartwright (1900-1998)
ol>

Sie hat über 100 Artikel verfasst, die unter anderem ihre Arbeit zu Pegelkurven, Funktionen in der Einheitsscheibe, Topologie und gewöhnlichen Differentialgleichungen enthalten.

9. Julia Robinson (1919-1985)
ol>

Sie ist bekannt für ihre Arbeit an Hilberts zehntem Problem und Entscheidungsproblemen.

10. Shafi Goldwasser (1958) -Datum)
ol>

Ihre Forschung konzentriert sich auf wissensfreien Beweis, Komplexitätstheorie, Berechnungszahlentheorie und Kryptographie.

Um mit der hervorragenden Antwort von jmite fortzufahren, Nancy Lynch ist eine Pionierin in der Theorie der "verteilten Systeme" in der Informatik. Zum Beispiel hat ihre Arbeit mit Michael J. Fischer und Mike Paterson gezeigt, dass " In einem asynchron verteilten System ist ein Konsens unmöglich, wenn ein Prozessor abstürzt ", was ein grundlegendes Ergebnis auf diesem Gebiet ist.

Karen Uhlenbeck hat einen großen Beitrag zur Eichentheorie und mehr geleistet.