Heinäkuun 30. päivänä vuonna 1985 kuoli amerikkalainen matemaatikko Julia Robinson. Saavutettuaan filosofian tohtorin arvon Alfred Tarskin ohjauksessa vuonna 1948 hän alkoi työskennellä Hilbertin kymmenennen ongelman parissa (tunnetaan Matiyasevichin teoreemana), ongelman, joka vei suurimman osan hänen ammatillisesta elämästään.
Hilbertin kymmenes ongelma voidaan esittää muodossa: Etsittävä algoritmi, jolla mistä tahansa polynomimuotoisesta kokonaislukukertoimisesta Diofantoksen yhtälöstä voidaan selvittää, onko sillä kokonaislukuratkaisuja.
Hilbertin kymmenes ongelma tuli ratkaistuksi vuonna 1970, ja siihen on kielteinen vastaus: tällaista yleistä algoritmia ei ole olemassa. Tämä on tulosta Martin Davisin , Juri Matiyasevichin , Hilary Putnamin ja Julia Robinsonin yhteisestä työstä.
Vuonna 1975 Robinson hyväksyttiin ensimmäisenä naisena National Academy of Sciences:iin ja vuonna 1982 hänet valittiin ensimmäisenä naisena American Mathematical Societyn presidentiksi. Edelleen vuonna 1982 Robinson sai Noether-palkinnon Association for Women in Mathematicsilta.
Kuva: Wikipedia
Ei kommentteja:
Lähetä kommentti