5、魯賓孫

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

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