5、鲁宾孙

　　鲁宾孙（Robinson，JuliaBowman，1919-1985）——AMS首位女主席，美国数学家。生于密苏里圣路易斯。早期就读于圣地亚哥师范学院，后转入加州大学伯克利分校随塔尔斯基研究数理逻辑，1948年获博士学位，博士论文是《算术中的可判定性和确定性》。1948-1976年，她一直在伯克利从事研究和教学工作，1976年被聘为教授直至1985年退休。1976年，被选为美国国家科学院第一位女院士。1978年，被选为AMS（美国数学会）副主席；1983年，当选为AMS首位女主席，两年后因白血病去世。

　　鲁宾孙把数论方法用到了解决数理逻辑问题上。1970年，她曾在解决希尔伯特第10问题方面做出了重要贡献，使该问题得到了否定的解决。1971年，她曾指出应改变问题的提法，“不是问一个给定的丢番图方程是否有解，而应问对于什么样的方程，已知道获得解的方法”。这一提法对丢番图方程的研究有重要意义。1973年，她建立了基于14条公理的一个单变量函数的理论，并证明了该理论满足皮亚诺公理的子理论。