Julia Robinson

Julia Hall Bowman Robinson (8 Aralık 1919 - 30 Temmuz 1985), hesaplanabilirlik teorisi ve hesaplama karmaşıklığı teorisi alanlarına -özellikle karar problemlerine olan katkılarından ötürü tanınan Amerikalı bir matematikçiydi. Hilbert'in 10. problemi üzerine çalışması (şimdi Matiyasevich teoremi veya MRDP teoremi olarak bilinir) nihai çözümünde çok önemli bir rol oynadı. Robinson bir 1983 MacArthur Üyesiydi.Robinson, Ralph Bowers Bowman ve Helen (Hall) Bowman'ın kızı olarak St. Louis, Missouri'de doğdu. Annesi evlenmeden önce okul öğretmeniyken babasının bir makine teçhizatı şirketi vardı. Robinson 2 yaşındayken annesi öldü ve babası yeniden evlendi. Ablası matematiksel konuları popülerleştirmeyi amaçlayan bir kişi (mathematical popularizer) ve biyografi yazarı Constance Reid ve küçük kız kardeşi Billie Comstock'tur.Dokuz yaşındayken, kısa süre sonra romatizmal ateş olan kızıl hastalığı teşhisi kondu. Bu onun iki yıllık okulu kaçırmasına neden oldu. Tekrar iyileştiğinde, emekli bir ilkokul öğretmeni tarafından özel ders aldı. Sadece bir yılda beşinci, altıncı, yedinci ve sekizinci yıl müfredatını tamamlayabildi. San Diego Lisesi'ne gitti ve ortalamanın birkaç puan altında 98 puan alan bir IQ testi aldı. Yine de Julia, lisede matematik ve fizik alanında ileri düzey dersler alan tek kız öğrenci olarak öne çıktı. Liseden bilimde genel olarak üstün olduğu için Bausch-Lomb ödülüyle mezun oldu.Robinson, 1936'da 16 yaşında San Diego Eyalet Üniversitesi'ne girdi. San Diego Eyalet Üniversitesi'ndeki matematik müfredatından memnun olmadığından, 1939'da Kaliforniya Üniversitesi, Berkeley'e son yılı için transfer oldu. UC Berkeley'e nakledilmeden önce babası mali güvensizlikler nedeniyle 1937'de intihar etti. Berkeley'de ilk yılında beş matematik dersi aldı; bunlardan biri Raphael M. Robinson tarafından verilen sayı teorisi dersiydi. B. A. derecesini 1940'ta aldı ve daha sonra 1941'de Raphael ile evlendi.Robinson mezun olduktan sonra Berkeley'de yüksek lisans çalışmalarına devam etti. Robinson, lisansüstü öğrencisi olarak Matematik Bölümü'nde öğretim asistanı olarak ve daha sonra Berkeley İstatistik Laboratuvarı'nda Jerzy Neyman tarafından istatistik laboratuvarı asistanı olarak çalıştı ve burada yaptığı çalışmalar, "Tam Sıralı Analiz Üzerine Bir Not (A Note on Exact Sequential Analysis)" başlıklı ilk yayınlanmış makalesi ile sonuçlandı.Robinson doktora derecesini 1948 yılında Alfred Tarski tarafından "Aritmetikte Tanımlanabilirlik ve Karar Problemleri (Definability and Decision Problems in Arithmetic)" üzerine bir tez ile aldı. Doktora tezi, rasyonel sayılar teorisinin, temel sayı teorisinin rasyonel terimler açısından tanımlanabileceğini göstererek, bir karar verilemez problem olduğunu gösterdi. (Temel sayı teorisinin Gödel'in ilk Eksiklik Teoremi tarafından kararlaştırılamaz olduğu zaten biliniyordu.)Hilbert'in onuncu problemi, bir Diophantine denkleminin tam sayılarda herhangi bir çözümü olup olmadığını belirlemek için bir algoritma ister. Robinson, 1948'de RAND Corporation'da iken bu problem için yöntemler araştırmaya başladı. Üs alma için Diophantine gösterimi ve Pell denklemini kullanma yöntemi ile ilgili çalışmaları 1950'de J. R. hipotezine (Robinson'un adını verdi) yol açtı. Bu hipotezi kanıtlamak, nihai çözümün merkezinde yer alacaktır. Araştırma yayınları, Martin Davis, Hilary Putnam ve Yuri Matiyasevich ile işbirliğine yol açacaktı.Robinson, 1950'de ilk olarak, Urbana-Champaign'deki Illinois Üniversitesi'nde öğretim görevlisi olan Martin Davis'le tanıştı ve bu, sıralanabilirlik özelliğine sahip tüm kümelerin Diophantine olduğunu göstermeye çalışıyordu, ancak Robinson'un birkaç özel küme -asal sayıları ve 2'nin kuvvetlerini içeren- Diophantine idi. Robinson ve Davis, 1959'da işbirliğine başladılar ve daha sonra Hilary Putnam ile birleştiler, daha sonra "Goldilocks" denkleminin çözümlerinin Hilbert'in onuncu probleminin anahtarı olduğunu gösterdiler.1970 yılında problem olumsuz olarak çözüldü; yani böyle bir algoritmanın var olamayacağını gösterdiler. Robinson 1970'ler boyunca, Matiyasevich ile çözümlerinin sonuçlarından biri üzerinde çalışmaya devam etti.Çözüm ilk yayınlandığında, yazarlar  tespit etti. Robinson ve Matiyasevich'in ortak çalışması, 9 bilinmeyene daha fazla indirgeme sağlayacaktır.Robinson, 1940'ların sonlarında Santa Monica'daki RAND Corporation'da oyun teorisini araştırmak için yaklaşık bir yıl geçirdi. 1949 tarihli teknik raporu, "Hamilton oyunuyla ilgili (gezici satıcı problemi)" , "gezgin satıcı problemi" ifadesini kullanan ilk yayındır. Kısa bir süre sonra 1951'de "Bir Oyunu Çözmenin Yinelemeli Bir Yöntemi (An Iterative Method of Solving a Game)" adlı bir makale yayınladı. Makalesinde, hayali oyun dinamiklerinin iki oyunculu sıfır toplamlı oyunlarda karma strateji Nash dengesine yakınsadığını kanıtladı. Bu, George W. Brown tarafından RAND Corporation'da bir ödül problemi olarak ortaya atıldı.1941'de Raphael M. Robinson ile evlendikten sonra Robinson'un Berkeley'deki Matematik Bölümü'nde öğretmenlik yapmasına izin verilmedi, çünkü aile üyelerinin aynı bölümde birlikte çalışmasını engelleyen bir kural vardı. Robinson daha sonra matematik öğretmek istemesine rağmen istatistik bölümünde kaldı. Raphael 1973'te emekli olmasına rağmen, 1976'ya kadar, bölüm Ulusal Bilimler Akademisi'ne aday olduğunu duyduktan sonra Berkeley'de tam zamanlı bir profesörlük teklifi aldı.Robinson, Hilbert'in onuncu problemini çözdükten sonra, Saunders Mac Lane onu Ulusal Bilimler Akademisi'ne aday gösterdi. Alfred Tarski ve Jerzy Neyman da Ulusal Bilimler Akademisi'ne çalışmasının neden bu kadar önemli olduğunu ve matematiğe nasıl büyük katkı sağladığını açıklamak için Washington D.C.'ye uçtular. 1975'te Ulusal Bilimler Akademisi'ne seçilen ilk kadın matematikçiydi.Robinson, Amerikan Matematik Derneği'nin ilk kadın başkanı seçildi. Otobiyografisinde belirtilen adaylığı kabul etmesi zaman aldı:Robinson, 1982'de Matematikte Kadınlar Derneği aracılığıyla Noether ödülüne layık görüldü ve Aritmetikte Fonksiyonel Denklemler (Functional Equations in Arithmetic) adlı bir konferans dizisi yaptı. Bu süre zarfında ona 60.000 $'lık MacArthur Burs Ödülü de verildi. 1985'te Amerikan Sanat ve Bilim Akademisi'ne üye oldu.1950'lerde Robinson yerel Demokrat parti faaliyetlerinde aktifti. Alan Cranston'ın ilk siyasi ofisi olan eyalet kontrolörü için koştuğunda Contra Costa County'deki kampanya yöneticisiydi.2013'te Amerikan Matematik Enstitüsü'nün ve 2007–2013 Matematik Bilimleri Araştırma Enstitüsü'nün sponsorluğunu yaptığı Julia Robinson Matematik Festivali, onun onuruna adlandırıldı.George Csicsery, 7 Ocak 2008'de San Diego'daki Joint Mathematics Meeting'de galası yapılan Julia Robinson and Hilbert's Tenth Problem adlı Robinson hakkında bir saatlik bir belgesel hazırladı ve yönetti. Amerikan Matematik Derneği Bildirileri (Notices of the American Mathematical Society) bir film eleştirisi ve yönetmenle bir röportaj yayınladı. College Mathematics Journal da bir film eleştirisi yayınladı.