Se i det mindste Emmy Noether:

var en tysk matematiker kendt for sine bidrag til abstrakt algebra og teoretisk fysik. Hun blev beskrevet af Pavel Alexandrov, Albert Einstein, Jean Dieudonné, Hermann Weyl og Norbert Wiener som den vigtigste kvinde i matematikens historie. Som en af ​​de førende matematikere i sin tid udviklede hun teorierne om ringe, felter og algebraer. I fysik forklarer Noether's sætning forbindelsen mellem symmetri og bevarelseslove.

Dette er selvfølgelig kun et eksempel ; der er mange andre: se svarene nedenfor.

Måske på grund af sin ungdom har den matematiske ende af datalogi flere bemærkelsesværdige kvinder i sin historie.

Sheila Greibach var en pioner inden for formel sprogteori, især inden for kontekstfrie sprog. På det tidspunkt ville dette have været betragtet som en gren af ​​matematik, da datalogi ikke rigtig var noget for sig selv.

Især udviklede hun Greibach Normal Form , som er ret instrumental i parsingsteorien, hvilket er ekstremt kritisk for moderne programmeringssprog.

Fortsat ned på programmeringssprogsteorien, Barbara Liskov udviklede Liskov Substitution Princip, som var kritisk i udviklingen af ​​en formaliseret model for objektorienterede sprog. Hun vandt Turing-prisen (CS-ækvivalent med Fields-medaljen) for sine bidrag.

Har disse haft en "dyb indflydelse" på vores forståelse af matematik? Ikke i klassisk forstand, men de har ført til nogle fantastiske udviklinger, uden tvivl lige så mange som de 400 år med beregning / analyse teori.

Der er værket af Ada Lovelace.

I kommentarerne, der blev kaldt "Noter", beskrev Ada Lovelace, hvordan den analytiske motor kunne programmeres og gav, hvad mange anser for at være det første computerprogram nogensinde.

Især fandt hun og rettede en fejl i Babbages algoritme til beregning af Bernoulli-numre:

Vi diskuterede sammen de forskellige illustrationer, der kunne blive introduceret: I foreslog flere, men udvælgelsen var helt hendes egen. Så også var det algebraisk arbejde med de forskellige problemer, undtagen faktisk det, der vedrørte antallet af Bernoulli, som jeg havde tilbudt at gøre for at redde Lady Lovelace besværet. Dette sendte hun tilbage til mig for et ændringsforslag efter at have opdaget en alvorlig fejl, som jeg havde begået under processen.

(fra C Babbage, Passages from the Life of a Philosopher (London, 1864) ).)

Selvfølgelig er programmeringssproget Ada opkaldt efter hende.

Der er Sophie Germains sætning , en sætning i talteori, relateret til Fermats sidste sætning og bevist af den franske matematiker Sophie Germain (1776-1831).

Jeg fandt en eksistenssætning for Cauchy-problemet i delvise differentialligninger, som er blevet bevist af Sofia Vasilyevna Kovalevskaya.

Følgende er mine topvalg:

Sophie Germain-identiteten siger, at $ a ^ 4 + 4b ^ 4 = (a ^ 2 + 2b ^ 2 + 2ab ) (a ^ 2 + 2b ^ 2-2ab) $ for $ a, b \ i \ mathbb {Z} $. Dette er en meget enkel identitet, men er ret nyttig i mange problemer med elementær talteori.

Noether normaliseringslemmaet er et resultat i kommutativ algebra, der sandsynligvis undervises i de allerførste uge af et kandidatkursus i algebraisk geometri. En version af resultatet siger, at for ethvert felt $ \ mathbb {K} $ og ethvert f.g. kommutativ $ \ mathbb {K} $ - algebra $ A $, der findes et ikke-negativt heltal $ k $ og algebraisk uafhængige elementer $ y_1, y_2, \ ldots, y_k \ i A $, således at $ A $ er en f.g. modul over ringen $ \ mathbb {K} [y_1, y_2, \ ldots, y_k] $.

Olga Ladyzhenskaya viste et resultat relateret til Navier-Stokes-ligningerne.

Resultatet i sig selv er ikke særlig berømt, men Navier-Stokes-ligningerne er det.

Danica McKellar er McKellar i Chayes-McKellar-Winn sætningen,

Der er ikke kvindelige matematikere, der har haft ganske så stor indflydelse som Gauss eller Euclid, for eksempel, men det kan forventes på grund af historiske årsager, som alle kender. En hurtig google vil have fortalt spørgeren, at der er mange vigtige kvindelige matematikere i historien, men jeg tror, ​​spørgsmålet beder om en virkelig vigtig matematiker eller i det mindste en velkendt matematiker, som Galois, der har Galois-teorien opkaldt efter sig, eller Hilbert, der har Hilbert-rum opkaldt efter sig.

Den første person, som jeg tænkte på, da jeg læste dette spørgsmål, var Emmy Noether, som med hensyn til berømmelse ikke er helt Newton (selvfølgelig) men i det mindste Galois .

Du kommer sandsynligvis ikke til at se navnene på nogen kvinder i titlerne på nogen undervisning i matematik, men hvis du er, vil det sandsynligvis være Noether.

Det er muligt, at mange gamle matematikere faktisk var kvinder. Dette er bestemt tilfældet for Egypten, men sandsynligvis mindre for Grækenland (selvom hvem ved?) Selv i mere moderne tider har nogle få kvinder arbejdet under mandlige pseudonymer, og der kan være mange flere, som vi ikke kender til (selvom det er usandsynligt at nogen af ​​de 'store navn' matematikere som Newton og Euler faktisk var kvinder, fordi deres liv er godt dokumenteret). Det er også muligt (faktisk meget sandsynligt), at arbejde af kvinder er blevet plagieret af mænd, så nogle sætninger navngivet efter mænd kan faktisk være blevet udviklet af kvinder, vi ved sandsynligvis aldrig, hvor mange.

Denjoy – Young – Saks sætningen giver nogle muligheder for Dini-derivaterne af en funktion, der holder næsten overalt.

Grace Chisholm Young udvidede Denjoys resultat af kontinuerlige funktioner til målbare funktioner. Hendes mand var William Henry Young.

Ingrid Daubechies lavede banebrydende arbejde inden for harmonisk analyse, hvilket blandt andet førte til udviklingen af ​​endelige støttebølger (ortogonale og biorthogonale). Dette gjorde det muligt for wavelet-teorien at komme ind i digitalt domæne-signalbehandling, måske på samme måde som opfindelsen af ​​ Fast Fourier Transform med hensyn til den matematiske Fourier-transformation.

To af disse bølger, kaldet CDF 5/3 eller CDF 9/7 til Cohen- Daubechies -Fauveau, er kernen i billedkomprimeringsalgoritmen JPEG 2000, og Motion JPEG 2000 brugt i filmindustrien.

Hun var den første kvinde, der var præsident for Den Internationale Matematiske Union. Hun var en Noether-foredragsholder, hvor du kan finde andre indflydelsesrige matematikerkvinder. Og hun er baronesse nu.

Hendes matematiske resultater gjorde ikke kun vej gennem industrielle applikationer, men modificerede stærkt den måde, hvorpå folk analyserer data på en multiskala (zoom ind / zoom ud) måde.

1. Hypatia of Alexandria (AD 350 eller 370-AD 417)

Hun arbejdede på adskillige undersøgelser, hvoraf de mest markante omfattede hendes kommentarer til den græske lærebog, Arithmetica og På keglesneglerne af Apollonius. Hun huskes især for sin detaljerede beskrivelse af det tidlige hydrometer.

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

En fransk fysiker , matematiker og forfatter under oplysningstiden i Europa. I 1740 udgav Châtelet en bog om filosofi og videnskab kaldet Institutions de Physique og senere oversat og kommenteret Newtons Principia Mathematica, som er den bedst kendte oversættelse.

3. Maria Agnesi (1718 -1799)

Hun skrev en bog om matematik, der stadig overlever, det vil sige: Analytiske institutioner til brug af italiensk ungdom på engelsk. Et andet banebrydende bidrag var heksen fra Agnesi- en kurve, som hun skrev ligningen for.

4. Sophie Germain (1776-1831)

Sophie Germains papir om elasticitetsteori gjorde hende til den første kvinde, der blev tildelt fra Paris Academy of Sciences i 1816. Hun var også en stor bidragyder til at bevise Fermats sidste sætning.

5. Ada Lovelace (1815-1852)

Da hun blev bedt om at oversætte memoiret om Charles Babbage, den analytiske motor, fortsatte Lovelace og tilføjede sine egne kommentarer og noter om en metode til beregning af en sekvens af Bernoulli-numre: det, der i dag er kendt som verdens første computerprogram, der efterfølgende gør Lovelace kendt som verdens første computerprogrammerer.

6. Sofia Kovalevskaya (1850-1891)

Hun gav Cauchy-Kovalevskaya-sætningen sit slutresultat i 1875, arbejdede på et papir, hvor hun opfandt Kovalevskaya Top og udgav ti artikler baseret på matematik og matematik kal fysik.

7. Emmy Noether (1882-1935)

Emmy Noether er berømt for at opfinde Noether's sætning, der tydeliggør forholdet mellem bevarelseslove og symmetri samt Noether's Ring, der ændrede det grundlæggende i abstrakt algebra. Noether er også berømt for andre teorier baseret på ikke-kommutative algebraer, hyper-komplekse tal og kommutative ringe.

8. Mary Cartwright (1900-1998)
ol>

Hun skrev mere end 100 papirer, der inkluderer hendes arbejde med niveaukurver, funktioner i enhedsdisken, topologi og almindelige differentialligninger blandt andre.

9. Julia Robinson (1919-1985)

Hun er velanset for sit arbejde med Hilberts tiende problem og beslutningsproblemer.

10. Shafi Goldwasser (1958 -Dato)

Hendes forskning lægger vægt på nul-viden-bevis, kompleksitetsteori, beregningstalteori og kryptografi.

For at fortsætte med jmites fremragende svar er Nancy Lynch en pioner inden for teorien om "Distribuerede systemer" inden for datalogi. For eksempel viste hendes arbejde med Michael J.Fischer og Mike Paterson, at " I et asynkront distribueret system er konsensus umulig, hvis der er en processor, der går ned ", hvilket er et grundlæggende resultat i marken.

Karen Uhlenbeck bidrog enormt med målerteori og mere.