Rózsa Péter - Rózsa Péter
Rózsa Péter , rozená Rózsa Politzer , (17 února 1905 - 16 února 1977) byl maďarský matematik a logik . Ona je nejlépe známá jako "zakládající matka teorie rekurze ".
raný život a vzdělávání
Péter se narodil v Budapešti v Maďarsku jako Rózsa Politzer (maďarsky: Politzer Rózsa). Navštěvovala Pázmány Péter University (nyní Eötvös Loránd University ), původně studovala chemii, ale později přešla na matematiku. Navštěvovala přednášky Lipót Fejér a József Kürschák . Během studia se seznámila s Lászlóem Kalmárem ; budou spolupracovat v budoucích letech a Kalmár ji povzbudil, aby pokračovala ve své lásce k matematice.
Po absolutoriu v roce 1927 nemohla Péter najít stálou učitelskou pozici, přestože složila zkoušky, aby se mohla stát učitelkou matematiky. Kvůli účinkům Velké hospodářské krize mnoho absolventů vysokých škol nemohlo najít práci a Péter začal soukromé doučování. V této době také zahájila postgraduální studium.
Profesionální kariéra a výzkum
Zpočátku Péter zahájila postgraduální výzkum teorie čísel . Když zjistila, že její výsledky již dokázala práce Roberta Carmichaela a LE Dicksona , opustila matematiku, aby se zaměřila na poezii. K návratu k matematice ji však přesvědčil její přítel László Kalmár , který jí navrhl, aby prozkoumala práci Kurta Gödela na teorii neúplnosti. Připravila své vlastní, různé důkazy o Gödelově díle.
Péter představila výsledky své práce o rekurzivní teorii „Rekursive Funktionen“ na Mezinárodním kongresu matematiků ve švýcarském Curychu v roce 1932. V létě roku 1933 pracovala s Paulem Bernaysem v německém Göttingenu na dlouhé kapitole o rekurzivní funkce v knize Grundlagen der Mathematik, která vyšla v roce 1934 pod jmény Davida Hilberta a Bernayse. Její hlavní výsledky jsou shrnuty v knize a objevily se také v několika článcích v předním časopise Mathematische Mathematische Annalen, prvním v roce 1934. Publikace byla pod názvem Politzer-Péter, protože si změnila své židovské příjmení Politzer na Péter. rok. Za svůj výzkum získala titul PhD summa cum laude v roce 1935. V roce 1936 představila příspěvek s názvem „Über rekursive Funktionen der zweiten Stufe“ Mezinárodnímu kongresu matematiků v Oslu. Tyto práce pomohly založit moderní pole teorie rekurzivních funkcí jako samostatnou oblast matematického výzkumu.
V roce 1937 byla jmenována redaktorkou časopisu Journal of Symbolic Logic .
Po přijetí židovských zákonů z roku 1939 v Maďarsku měla Péter kvůli svému židovskému původu zakázáno učit a krátce byla uvězněna v ghettu v Budapešti. Během druhé světové války napsala knihu Hra s nekonečnem: Matematické průzkumy a exkurze , dílo pro laické čtenáře na téma teorie čísel a logiky. Původně vyšlo v maďarštině a bylo přeloženo do angličtiny a nejméně do desítek dalších jazyků.
S koncem války v roce 1945 získala Péter své první učitelské místo na plný úvazek na budapešťské učilišti. V roce 1952 byla první maďarskou ženou, která získala titul akademického doktora matematiky. Poté, co byla vysoká škola uzavřena v roce 1955, učila na univerzitě Eötvös Loránd až do svého odchodu do důchodu v roce 1975. Byla oblíbenou profesorkou, která svým studentům říkala „teta Rózsa“.
V roce 1951 vydala své klíčové dílo Rekursive Funktionen, první knihu o moderní logice od ženské autorky, později přeloženou do angličtiny jako Rekurzivní funkce. Po celý život pokračovala v publikování důležitých článků o rekurzivní teorii. V roce 1959 představila na mezinárodním sympoziu ve Varšavě hlavní dokument „Über die Verallgemeinerung der Theorie der rekursiven Funktionen für abstrakte Mengen geeigneter Struktur als Definitionsbereiche“ (později publikovaný ve dvou částech v letech 1961 a 1962).
Počínaje polovinou padesátých let aplikoval Péter rekurzivní teorii funkcí na počítače. Její poslední kniha, publikovaná v roce 1976, byla Rekursive Funktionen in der Komputer-Theorie (Rekurzivní funkce v teorii počítače). Původně vyšla v maďarštině, byla to druhá maďarská matematická kniha, která vyšla v Sovětském svazu, protože její předmět byl považován za nepostradatelný pro teorii počítačů . Byl přeložen do angličtiny v roce 1981.
Vyznamenání
Péter byla oceněna Kossuthovou cenou v roce 1951. Získala cenu Manó Beke od Matematické společnosti Jánose Bolyai v roce 1953, stříbrnou státní cenu v roce 1970 a zlatou státní cenu v roce 1973. V roce 1973 se stala první ženou, která byla zvolena na maďarské akademie věd .