朱莉娅·霍尔·鲍曼·罗宾逊是第一位入选美国国家科学院的女性数学家，这一殊荣反映了她在解决希尔伯特第十问题中的关键作用。在她的整个职业生涯中，她推动了数论和可计算性理论的发展，提供了必要的理论框架，最终导致了一个百年数学难题的否定性解决。
早期教育与影响
罗宾逊1919年出生于圣路易斯，童年时期克服了严重的健康挫折（包括猩红热和风湿热），这些疾病曾中断了她的学业。她在圣地亚哥高中表现优异，随后于1936年进入圣地亚哥州立大学。1939年，她转入加州大学伯克利分校，于1940年获得学士学位，并于1948年在阿尔弗雷德·塔斯基 (Alfred Tarski) 的指导下获得博士学位。
对可计算性理论的贡献
罗宾逊的博士研究专注于算术中的可定义性和判定问题，证明了初等数论在有理数范围内是不可判定的。1949年至1950年间，在兰德公司 (RAND Corporation) 工作期间，她开始研究希尔伯特第十问题。她发展的“J.R.假设”为尤里·马季亚谢维奇 (Yuri Matiyasevich) 最终证明不存在判定丢番图方程可解性的算法提供了必要的方法论。
博弈论与学术生涯
在兰德公司期间，罗宾逊对博弈论做出了显著贡献。她1949年的报告引入了“旅行商问题”这一术语，她1951年的论文证明了虚拟博弈动力学在零和博弈中收敛于纳什均衡。尽管她与同事拉斐尔·M·罗宾逊 (Raphael M. Robinson) 的婚姻使她几十年来无法加入伯克利数学系，但她最终于1976年获得了教授职位。
专业认可
1983年，罗宾逊被评为麦克阿瑟研究员，并于1983年至1984年担任加州大学伯克利分校数学系主任。她是美国数学学会和美国艺术与科学院的成员。1985年在伯克利去世后，她在计算复杂性方面的基础性工作使她的遗产得以巩固。
快速事实
- 出生：1919年，圣路易斯 - 逝世：1985年，伯克利 - 教育：加州大学伯克利分校 - 博士导师：阿尔弗雷德·塔斯基 - 麦克阿瑟研究员：1983年 - 美国国家科学院：第一位入选的女性数学家 - 主要研究：希尔伯特第十问题 - 国籍：美国
读者常见问题
### 罗宾逊在希尔伯特第十问题中扮演了什么角色？
她发展了 J.R. 假设和涉及佩尔方程的方法，为尤里·马季亚谢维奇在1970年解决该问题提供了逻辑基础。
### 为什么她被限制在加州大学伯克利分校任教？
她受到一项机构规则的限制，该规则禁止家庭成员在同一部门工作，因为她的丈夫拉斐尔·M·罗宾逊当时是那里的教授。
.jpg)
