Julia Robinson
Szablon:Naukowiec infobox Julia Hall Bowman Robinson (ur. 8 grudnia 1919[1][2][3][4] w Saint Louis[1][2][4][5][6], zm. 30 lipca 1985[1][2][3][4] w Oakland[2][4]) – amerykańska matematyczka, znana ze swoich badań nad teorią równań diofantycznych w kontekście dziesiątego problemu Hilberta[2][3][4][5][7][8].
Życiorys
Dzieciństwo
Gdy Julia miała 2 lata, zmarła jej matka[1][5][7][6]. Wychowywali ją dziadkowie[5][7] w maleńkiej mieścinie liczącej zaledwie 4 domy na pustyni w Arizonie[1]. Jako dziecko Julia wolno uczyła się mówić, z kolei bardzo wcześnie zafascynowała się liczbami naturalnymi – to właśnie ich dotyczą pierwsze wspomnienia Julii z dzieciństwa[6]. Gdy ojciec Julii poślubił inną kobietę, ponownie zamieszkał z dziećmi i wielokrotnie zmieniali miejsce zamieszkania[1][7]. Gdy miała 9 lat, zachorowała na szkarlatynę oraz gorączkę reumatyczną, i przez rok musiała leżeć w łóżku[1][2][4][5][7][6]. Pierwsza zaatakowała szkarlatyna, w wyniku czego jej rodzina została poddana kwarantannie na miesiąc, a natychmiast po wyleczeniu szkarlatyny pojawiła się gorączka reumatyczna[1][7][6]. Dziewczynka w ten sposób przez ponad dwa lata nie pobierała żadnej nauki w szkole[1][6]. Jej serce zostało poważnie uszkodzone[4]. Lekarze uważali, że Julia umrze nim skończy 40 lat[5][9]. Po przebyciu chorób, zaczęła edukację szkolną od samego początku[1]. Już od wieku dziecięcego wykazywała zdolności matematyczne, a wolny czas spędzała grając w skomplikowane gry liczbowe przy użyciu kamieni[5]. Rodzina zatrudniła korepetytora, który przychodził do Julii trzy razy w tygodniu[1]. W ciągu jednego roku przerobiła z korepetytorem cały materiał szkolny do ósmej klasy włącznie[1][7][6]. Szczególnie zafascynował ją dowód niewymierności liczby przedstawiony przez korepetytora[7]. W 1933 zaczęła uczęszczać do San Diego High School[1][2][4][7], gdzie była jedyną dziewczyną w klasie o profilu matematycznym[1][5][6].
Studia
Od 1936 studiowała na San Diego University, początkowo planując zostać nauczycielem matematyki[1][2][7][6], gdyż nie wiedziała, że oprócz nauczycieli matematyki istnieją również matematycy[5][7][10], a od 1939 studiowała na Uniwersytecie Kalifornijskim w Berkeley[2][4][5][7]. We wrześniu 1937 roku jej ojciec popełnił samobójstwo z powodu Wielkiego Kryzysu[1][7][10]. W 1940 roku zaczęła pobierać lekcje teorii liczb u Raphaela Robinsona, profesora tegoż uniwersytetu, specjalizującego się w teorii liczb, a 22 grudnia 1941 wzięła z nim ślub[1][2][4][5][7][10]. Zaszła w ciążę, lecz poroniła, a ze względu na słaby stan jej serca, lekarze zabronili jej ponownie zachodzić w ciążę[7][9]. Co więcej, tuż po poronieniu ciężko zachorowała na wirusowe zapalenie płuc, które m.in. pogorszyło stan uszkodzonego już w dzieciństwie serca[9]. Niemożność posiadania dzieci ze względu na stan zdrowia wywołała u Robinson długotrwałą, ciężką depresję[9]. Mimo ciężkiej depresji, zachęcana przez męża, nadal rozwijała się matematycznie[9]. W 1940 roku uzyskała tytuł licencjata, a w 1941 – magistra[8][10].
Praca zawodowa
Początkowo utrzymywała się jako asystent profesora Jerzego Neymana[10]. W 1946 roku poznała wybitnego polskiego matematyka, Alfreda Tarskiego, o którym później napisała: Tarski was a very inspiring teacher. He had a way of setting results into a framework so that they all fit nicely together, and he was always full of problems – he just bubbled over with problems.[1] W roku 1948 obroniła swoją rozprawę doktorską Definability and Decision Problems in Arithmetic, której promotorem był Alfred Tarski[2][4][7][11]. Julia uważała Alfreda Tarskiego oraz Raphaela Robinsona za dwie najważniejsze osoby, które wpłynęły na jej postrzeganie matematyki[9]. Obojga uważała za wybitnych nauczycieli zarówno w klasie, jak i podczas rozmów w cztery oczy[10]. Szybko udało jej się rozwiązać pewien otwarty matematyczny problem postawiony przez Alfreda Tarskiego i Andrzeja Mostowskiego[12]. Podczas jednej z konferencji naukowych w 1971 roku, wygłosiła referat Rozwiązywanie równań diofantycznych, podczas którego postawiła hipotezę o negatywnym rozstrzygnięciu dziesiątego problemu Hilberta[1]. Julia Robinson została profesorem Uniwersytetu Kalifornijskiego w Berkeley w roku 1975/76[2][4][7][8][13]. Z powodu postępującej choroby, pracowała jedynie na ćwierć etatu[2][4][7][13]. Umożliwiło to jej także poświęcanie dużo mniej czasu na uczenie studentów i znacznie więcej czasu na prowadzenie własnych badań naukowych[4]. Robinson pracowała nad hipotezą o nieistnieniu ogólnej metody stwierdzenia, czy dane równanie diofantyczne ma jakieś rozwiązania w zbiorze liczb całkowitych – badania te rozpoczęła już podczas doktoratu i kontynuowała je aż do lat siedemdziesiątych[2][4][5]. Jej obsesją był dziesiąty problem Hilberta, twierdziła wręcz, że nie chce umrzeć, nim ten problem nie zostanie rozwiązany[5]. Jej prace pomogły Jurijowi Matijasiewiczowi udowodnić, że taki algorytm nie istnieje, co negatywnie rozwiązało dziesiąty problem Hilberta i zapewniło Julii sławę w środowisku matematycznym na całym świecie[2][4][5][7][14]. Okazało się, że w swojej publikacji z 1952 Robinson była niezwykle blisko rozwiązania dziesiątego problemu Hilberta[14]. W latach 70. Julia i Jurij odwiedzali się oraz współpracowali naukowo ze sobą[14].
Śmierć
W 1984 roku zdiagnozowano u niej białaczkę[2][4][15]. Mimo podjętego leczenia, zmarła rok później[2][4][15].
Nagrody
Julia Robinson została nagrodzona wieloma prestiżowymi wyróżnieniami, m.in. słynnym grantem MacArthurów (1983)[1][2][7][8][15], była pierwszą kobietą matematykiem, która została członkiem National Academy of Sciences (1976)[1][2][4][7][8][13] oraz pierwszą kobietą, która została prezydentem Amerykańskiego Towarzystwa Matematycznego (1982)[1][2][3][4][5][7][8][15].
Julia Robinson uważała, że nie chce być zapamiętana jako „pierwsza kobieta, która...”, lecz by zapamiętane były jej osiągnięcia matematyczne[uwaga 1][1].
Uwagi
Przypisy
Szablon:Kontrola autorytatywna
- ↑ 1,00 1,01 1,02 1,03 1,04 1,05 1,06 1,07 1,08 1,09 1,10 1,11 1,12 1,13 1,14 1,15 1,16 1,17 1,18 1,19 1,20 1,21 1,22 Błąd rozszerzenia cite: Błąd w składni znacznika
<ref>; brak tekstu w przypisie o nazwieMT - ↑ 2,00 2,01 2,02 2,03 2,04 2,05 2,06 2,07 2,08 2,09 2,10 2,11 2,12 2,13 2,14 2,15 2,16 2,17 2,18 2,19 Błąd rozszerzenia cite: Błąd w składni znacznika
<ref>; brak tekstu w przypisie o nazwiefm - ↑ 3,0 3,1 3,2 3,3 Błąd rozszerzenia cite: Błąd w składni znacznika
<ref>; brak tekstu w przypisie o nazwiejbr453 - ↑ 4,00 4,01 4,02 4,03 4,04 4,05 4,06 4,07 4,08 4,09 4,10 4,11 4,12 4,13 4,14 4,15 4,16 4,17 4,18 4,19 Błąd rozszerzenia cite: Błąd w składni znacznika
<ref>; brak tekstu w przypisie o nazwiefmD - ↑ 5,00 5,01 5,02 5,03 5,04 5,05 5,06 5,07 5,08 5,09 5,10 5,11 5,12 5,13 5,14 Błąd rozszerzenia cite: Błąd w składni znacznika
<ref>; brak tekstu w przypisie o nazwiefilm - ↑ 6,0 6,1 6,2 6,3 6,4 6,5 6,6 6,7 6,8 Błąd rozszerzenia cite: Błąd w składni znacznika
<ref>; brak tekstu w przypisie o nazwiejbr454 - ↑ 7,00 7,01 7,02 7,03 7,04 7,05 7,06 7,07 7,08 7,09 7,10 7,11 7,12 7,13 7,14 7,15 7,16 7,17 7,18 7,19 7,20 7,21 Błąd rozszerzenia cite: Błąd w składni znacznika
<ref>; brak tekstu w przypisie o nazwieency - ↑ 8,0 8,1 8,2 8,3 8,4 8,5 Błąd rozszerzenia cite: Błąd w składni znacznika
<ref>; brak tekstu w przypisie o nazwieArthur - ↑ 9,0 9,1 9,2 9,3 9,4 9,5 Błąd rozszerzenia cite: Błąd w składni znacznika
<ref>; brak tekstu w przypisie o nazwiejbr456 - ↑ 10,0 10,1 10,2 10,3 10,4 10,5 Błąd rozszerzenia cite: Błąd w składni znacznika
<ref>; brak tekstu w przypisie o nazwiejbr455 - ↑ Błąd rozszerzenia cite: Błąd w składni znacznika
<ref>; brak tekstu w przypisie o nazwiejbr465 - ↑ Błąd rozszerzenia cite: Błąd w składni znacznika
<ref>; brak tekstu w przypisie o nazwiejbr457 - ↑ 13,0 13,1 13,2 Błąd rozszerzenia cite: Błąd w składni znacznika
<ref>; brak tekstu w przypisie o nazwiejbr472 - ↑ 14,0 14,1 14,2 Błąd rozszerzenia cite: Błąd w składni znacznika
<ref>; brak tekstu w przypisie o nazwiejbr471 - ↑ 15,0 15,1 15,2 15,3 Błąd rozszerzenia cite: Błąd w składni znacznika
<ref>; brak tekstu w przypisie o nazwiejbr473
Błąd rozszerzenia cite: Istnieje znacznik <ref> dla grupy o nazwie „uwaga”, ale nie odnaleziono odpowiedniego znacznika <references group="uwaga"/>