Rózsa Péter - Rózsa Péter
Rózsa Péter , född Rózsa Politzer , (17 februari 1905 - 16 februari 1977) var en ungersk matematiker och logiker . Hon är mest känd som "grundande mor till rekursionsteori ".
tidigt liv och utbildning
Péter föddes i Budapest , Ungern, som Rózsa Politzer (ungerska: Politzer Rózsa). Hon gick på Pázmány Péter University (nu Eötvös Loránd University ), studerade ursprungligen kemi men bytte senare till matematik. Hon deltog i föreläsningar av Lipót Fejér och József Kürschák . När hon var på universitetet träffade hon László Kalmár ; de skulle samarbeta under kommande år och Kalmar uppmuntrade henne att driva sin kärlek till matematik.
Efter examen 1927 kunde Péter inte hitta en permanent lärarställning även om hon hade klarat sina examen för att kvalificera sig som matematiklärare. På grund av effekterna av den stora depressionen kunde många akademiker inte hitta arbete och Péter började privatundervisning. Vid denna tidpunkt började hon också sina doktorander.
Professionell karriär och forskning
Ursprungligen började Péter sin forskarutbildning om talteori . När hon upptäckte att hennes resultat redan hade bevisats av Robert Carmichael och LE Dicksons arbete övergav hon matematiken för att fokusera på poesi. Men hon var övertygad om att återvända till matematik av sin vän László Kalmár , som föreslog att hon skulle undersöka Kurt Gödels arbete med teorin om ofullständighet. Hon förberedde sina egna, andra bevis till Gödels arbete.
Péter presenterade resultaten av sin uppsats om rekursiv teori "Rekursive Funktionen" för den internationella kongressen för matematiker i Zürich, Schweiz 1932. Sommaren 1933 arbetade hon tillsammans med Paul Bernays i Göttingen, Tyskland, för det långa kapitlet om rekursiva funktioner i boken Grundlagen der Mathematik som dök upp 1934 under namnen David Hilbert och Bernays. Hennes huvudsakliga resultat sammanfattas i boken och uppträdde också i flera artiklar i den ledande tidskriften för matematik, Mathematische Annalen, den första 1934. Publikationen var under namnet Politzer-Péter eftersom hon hade ändrat sitt judiska efternamn Politzer till Péter samma år. För sin forskning fick hon sin doktorand summa cum laude 1935. År 1936 presenterade hon en uppsats med titeln "Über rekursive Funktionen der zweiten Stufe" till den internationella kongressen för matematiker i Oslo. Dessa artiklar hjälpte till att grunda det moderna fältet för rekursiv funktionsteori som ett separat område för matematisk forskning.
År 1937 utsågs hon till bidragande redaktör för Journal of Symbolic Logic .
Efter att de judiska lagarna 1939 hade antagits i Ungern förbjöds Péter att undervisa på grund av sitt judiska ursprung och var kortvarigt begränsad till en getto i Budapest. Under andra världskriget skrev hon sin bok Playing with Infinity: Mathematical Explorations and Excursions , ett arbete för lekläsare om ämnen talteori och logik. Ursprungligen publicerad på ungerska, har den översatts till engelska och minst ett dussin andra språk.
I slutet av kriget 1945 fick Péter sin första heltidsundervisning vid Budapest Teachers 'Training College. 1952 var hon den första ungerska kvinnan som blev akademisk doktor i matematik. Efter att högskolan stängdes 1955 undervisade hon vid Eötvös Loránd University fram till sin pension 1975. Hon var en populär professor, känd som "moster Rózsa" för sina studenter.
1951 publicerade hon sitt nyckelverk Rekursive Funktionen, den första boken om modern logik av en kvinnlig författare, senare översatt till engelska som Recursive Functions. Hon fortsatte att publicera viktiga artiklar om rekursiv teori under hela sitt liv. 1959 presenterade hon en stor uppsats "Über die Verallgemeinerung der Theorie der rekursiven Funktionen für abstrakte Mengen geeigneter Struktur als Definitionsbereiche" till det internationella symposiet i Warszawa (senare publicerat i två delar 1961 och 1962).
Från och med mitten av 1950-talet tillämpade Péter rekursiv funktionsteori på datorer. Hennes sista bok, publicerad 1976, var Rekursive Funktionen in der Komputer-Theorie (Rekursiva funktioner i datorteori). Ursprungligen publicerad på ungerska, var det den andra ungerska matematiska boken som publicerades i Sovjetunionen eftersom dess ämne ansågs oumbärlig för teorin om datorer . Den översattes till engelska 1981.
Högsta betyg
Péter tilldelades Kossuth-priset 1951. Hon fick Manó Beke-priset av János Bolyai Mathematical Society 1953, Silver State Prize 1970 och Gold State Prize 1973. 1973 blev hon den första kvinnan som valdes till den ungerska vetenskapsakademin .