Julia Robinson

朱莉娅·罗宾逊

1919 – 1985美国数学

Key Solver of Hilbert's Tenth Problem

Biography

Julia Robinson made fundamental contributions to the solution of Hilbert's tenth problem, which asked whether there exists an algorithm to determine if a Diophantine equation has integer solutions. Her work, combined with that of Martin Davis, Hilary Putnam, and Yuri Matiyasevich, proved that no such algorithm exists. In 1976, she became the first woman elected to the mathematics section of the National Academy of Sciences, and in 1983, she became the first woman president of the American Mathematical Society.

朱莉娅·罗宾逊对希尔伯特第十问题的解决做出了根本性贡献，该问题询问是否存在一种算法来判断丢番图方程是否有整数解。她的工作与马丁·戴维斯、希拉里·普特南和尤里·马蒂亚塞维奇的成果相结合，证明了这样的算法不存在。1976年，她成为首位当选美国国家科学院数学部门成员的女性；1983年，她成为美国数学学会第一位女性主席。

Key Achievements

Key contributor to solving Hilbert's tenth problem
对解决希尔伯特第十问题做出关键贡献
First woman elected to NAS mathematics section (1976)
首位当选美国国家科学院数学部门成员的女性（1976年）
First woman president of the American Mathematical Society (1983)
美国数学学会第一位女性主席（1983年）

References & Citations