Julia Robinson (1919–1985), matematiksel mantık, hesaplanabilirlik ve sayı kuramı alanlarında çalışmış Amerikalı matematikçidir. Berkeley'de Alfred Tarski danışmanlığında hazırladığı doktorasını 1948'de tamamladı. Araştırmaları, aritmetik soruların hangi koşullarda genel bir hesaplama yöntemiyle çözülebileceğini inceleyen çalışmalar içinde yer alır.[1]
HİLBERT'İN ONUNCU PROBLEMİ
Hilbert'in onuncu problemi, tam sayı katsayılı bir denklemin tam sayılı çözümü bulunup bulunmadığını her durumda belirleyen bir algoritma olup olmadığını sorar. Robinson, Martin Davis ve Hilary Putnam ile bu sorunun çözümüne temel oluşturan sonuçlar geliştirdi. Yuri Matiyasevich'in 1970'te tamamladığı çalışma, böyle genel bir algoritmanın bulunmadığını gösterdi. Sonuç, tek tek denklemlerin çözülemeyeceği anlamına gelmez.[1]
DİĞER ÇALIŞMALARI
Doktora araştırmasında rasyonel sayılar aritmetiğinin karar verilebilirliğini inceledi. RAND'daki çalışmaları sırasında oyun teorisiyle de ilgilendi; iki kişili sıfır toplamlı oyunlara ilişkin yinelemeli bir yöntem üzerinde çalıştı. Bilimsel katkıları, matematiksel problemlerin çözümü kadar hesaplama yöntemlerinin sınırlarını da aydınlatmıştır.[1]