5、魯賓孫

　　魯賓孫（Robinson，JuliaBowman，1919-1985）——AMS首位女主席，美國數(shù)學(xué)家。生于密蘇里圣路易斯。早期就讀于圣地亞哥師范學(xué)院，后轉(zhuǎn)入加州大學(xué)伯克利分校隨塔爾斯基研究數(shù)理邏輯，1948年獲博士學(xué)位，博士論文是《算術(shù)中的可判定性和確定性》。1948-1976年，她一直在伯克利從事研究和教學(xué)工作，1976年被聘為教授直至1985年退休。1976年，被選為美國國家科學(xué)院第一位女院士。1978年，被選為AMS（美國數(shù)學(xué)會）副主席；1983年，當(dāng)選為AMS首位女主席，兩年后因白血病去世。

　　魯賓孫把數(shù)論方法用到了解決數(shù)理邏輯問題上。1970年，她曾在解決希爾伯特第10問題方面做出了重要貢獻，使該問題得到了否定的解決。1971年，她曾指出應(yīng)改變問題的提法，“不是問一個給定的丟番圖方程是否有解，而應(yīng)問對于什么樣的方程，已知道獲得解的方法”。這一提法對丟番圖方程的研究有重要意義。1973年，她建立了基于14條公理的一個單變量函數(shù)的理論，并證明了該理論滿足皮亞諾公理的子理論。