朱丽亚·罗宾逊7题》(DiophantineDecisionProblems),发表在《数论研究》(StudiesinNumberTheory)上,还有她在纽约的斯多尼布鲁克(StonyBrook)数论署期研究所做的发言:《希尔伯特第十问题》。1970年1月,22岁的俄罗斯数学家尤利·马提亚舍维奇(YuriMatijasevich)发现了满足罗宾逊猜想的丢番图方程,从而最终解决了丢番图方程。他指出,在n=F2m的关系中,当F2m是斐波那契序列的第2m个元素时,斐波那契数1,1.2,3,5.8,13,21....可以用含有n、2m的二项式丢番图方程和整数变量来表送。马提亚舍维奇构建的这个例子对罗宾逊猜想提出了必要的存在性定义,即存在一个比二项式增长得快,但不比靠幕方程增长得快的方程。因为最终解决了希尔伯特第十问题,朱丽亚·罗宾逊、马提亚舍维奇、达维斯和普特曼一起获得了国际广泛承认,被列为“荣誉级“数学家。在用否定法成功地解决了这个著名数学难题后朱丽亚·罗宾逊开始研究丢番图方程的其他属性。1971年,在罗马尼亚布加勒斯特举行的第四届逻辑、方法论和科学哲学国际会议上,她提交了题为《解决丢番图方程》(SolvingDiophantineEquations)的论文。在论文中,她对可以用已知方法求整数解去番图方程进行了归类。1973年发表在《代数和逻辑的一些选定问题》(SelectedQuestionsofAlgebraandLogic)的论文《数论方程的公理》(AxiomsforNumberThoreticFunctions)中,她对数论函数给出了有限组公理,从这些公理中可以推导出皮阿诺(Peano)公理接着朱丽亚·罗宾逊开始了和马提亚舍维奇的研究合作。她成功地找到了减少丢番图方程变量个数的方法。1974年,在他们的论文《可列举数列的两个普遍的三变量表达》(TwoUniversalThree-QuantifierRepresentationsofEnumerableSets)中,他们证明了幕增长关系仅用三个变量就可以定义。这篇论文发表在俄罗斯期刊数论和数学逻辑》(TheoryofAlgorithmsandMathematicalLogic)上。次年,他们的合作论文《把任意丢番图方程简约为一个由13个未知数组成的方程》(ReductionofanArbitaryDiophaantineEquationtoOnein13Unknowns)发表于《代数录集》(ActaArithmetica)上。论文反映了如何把一个任意的丢番图方程重新写为一个至多由13个变量组成的等价方程。不久,马提亚舍维奇成功地把必要变量的数量减少为9个。他坚持要把朱丽亚·罗宾逊列为共同作者,以肯定她对研究方法作出的贡献,但是朱丽亚罗宾逊拒绝接受这个荣誉。结果是,直到1982年,这个发现才被加拿大数学家詹姆斯·琼斯(JamesJones)写进了他的论文
8数学前沿《普通丢番图方程》(UniversalDiophantineEquation)中,发表在象征逻辑月刊》(JournalofSymbolicLogic)上。朱丽亚·罗宾逊、马提亚舍维奇和达维斯一起合作,于1974年完成了论文《希尔伯特第十问题。丢番图方程:一个负解的诸多积极面》(Hilbert'sTenthProblem.DiophantineEquations:Positive Aspectsof a Negative Solution)1974年5月,在迪卡尔布北伊利诺伊大学希尔伯特问题讨论会上,朱丽业·罗宾逊提交这篇论文。论文通俗地介绍了数学逻辑学家求解希尔伯特第士问所获得的很多结果。1976年,这篇论文在会议记录中发表.题自为《由希尔伯特问题而来的数学进展》(MathematicalDevelopmentsArisingfromHilbertsProblems)。这是她发表的最后一篇论文。专业领域中的荣誉和贡献从19761985年,朱丽亚·罗宾逊大部分时间都在协助她的同行工作,以及接受她在解决希尔伯特第十问中所扮演的角色所带来的荣誉。1976年,她人选国家科学院(NAS)同年,加利福尼亚伯克利大学聘请她为终身全职教授,同时减免她的教学负担。这是她曾经做过兼职讲师的地方。1978年,她被选为美国数学学会副主席,并被推荐为美国科学进步协会的成员。两个专门的数学学会邀请她在国家级的会议上做主要的演讲。1980年,美国数学学会邀请她出席安·阿尔伯在密歌根大学举行的第84届夏季会议声望最高的讨论式演讲。她的4个演讲总称为《在逻辑和算术之间》,讲述了她在数学逻辑和数论领域的兴趣所在:从古德尔的工作与可计算性,到希尔伯特第十问和指数方程,再到各种场和域的决定问题,最后到非标准的代数模型。女数学家协会(AWM)1982年1月在俄亥俄州辛辛那提召开的联合数学大会上,提名她为艾米·努德(EmmyNoether)讲师。在这次大会上,上千名来自工业与应用数学学会、美国数学学会以及女数学家学会的数学家汇聚一堂,听她演讲《代数中的函数等式》(FunctionalEquationsinArithmetic)。在过去儿年中,美国数学学会和其他一些组织仍然继续以各种方式背定朱丽亚·罗宾逊的成就。1982年,她被数学界的同事选为美国数学学会会长。在1982—1983年、1983-1984年的任期中,她支持给女数学家和未被充分代表的少数族商在数学和科学领域更多的发展机会。1983年,由于她对数学的贡献,她被
朱丽亚·罗宾逊9授予约翰·D.和凯瑟琳·T.麦克阿瑟基金奖,连续5年提供给她6万美元的年度研究经费。1985年,美国艺术与科学院选举她为成员,同年,科学学会主席团选举她为主席,但是因为健康状况恶化,她没有接受。1985年7月30日,在和白血病进行了长期的搏斗之后,朱丽亚·罗宾逊去世,享年65岁。圣迭戈高中设立了朱丽亚·罗宾逊数学奖,奖励那些毕业班数学成绩优异的学生,以纪念她。她的丈夫设立了朱丽亚·B.罗宾逊奖学基金,奖励伯克利的数学系研究生。这些奖项鼓励和帮助那些有天赋的人在数学领域从事他们感兴趣的工作。结语在去世前,朱丽亚·罗宾逊希望人们回忆起她时,不是想起她所获得的某项荣誉或者某个职位,而是记得她解决过的问题和证明过的定理。她是第一位人选国家科学院第一位担任美国数学学会的主席、第一位获得麦克阿感基金奖的女性,她的这些荣誉都来自她在数学逻辑和数论的发现。她在博士论文中得出的结论,以及在场和域决定问题上的研究论文,都为理解数学逻辑中的决定问题作出了贡献。她的罗宾逊猜想和她对指数丢番图方程关键定理的证明,是解决希尔伯特第十问题的关键步骤。扩展阅读洛雷塔·霍尔(Hall,Loretta),《朱丽亚·鲍曼·罗宾逊(1919一1985),美国逻辑学家和数论家》,刊载于《著名数学家:从古代至今》,罗宾·V.杨(RobynV.Young)编辑,第421一423页。密歌根,底特律:盖尔出版社,1998年。这是对朱丽亚·罗宾逊和她的研究简要和介绍性的文件。哈里·亨德森(Henderson,Harry),《朱丽亚·鲍曼·罗宾逊(1919一1985)》,刊载于《现代数学》:第103一111页,组约:Facts(nFile出版社,1996年。这是一篇传记文章,也讨论了她最重要的发现。雷恩·亨金(Henkin,Leon)等,《朱丽亚·鲍曼·罗宾逊(1919一1985)》,刊载于《美国数学学会通告32》(1985),第738—742页。这是13
10数学前沿位朱丽亚·罗宾逊的同事对他们之间关系的个人回忆。J.J.奥康纳,E.F.罗伯森(O'Connor,J.J.,E.F.Roberston),《朱丽亚·鲍曼·罗宾逊》,刊载于马克·图特尔数学史档案,圣安德鲁大学。网址:http://www-groups.des.st-andrews.ac.uk/~history/Mathematicians/RobinsonJulia,html。2o03年1月27日访向。科学家生平,由苏格兰圣安德鲁大学提供。康斯坦斯·菜德Reid,Constance),《朱丽亚·罗宾逊自传》,刊载于《数学院期刊17》(1986),第2一21页。这是地的姐姐写的”自传”,包括地生平的基本信息。康斯坦斯·莱德,《作为朱丽亚·罗宾逊的姐姐》,刊载于《美国数学学会通告43》(1996),第1486--1492页。这篇文章选择性地补充深入介绍了朱丽亚的生活。康斯坦斯·德,《朱丽亚:从事数学的一生》、华盛顿:美国数学学会,1996年。这是《自传》的再版,包括很多新加的照片和由地的同事里斯特·戈尔(ListGaal)、马丁·戴维斯(MartinDavis)和尤利·马提雅舍维奇(JuriMatijasevich)写的关于她的研究的3篇文章。康斯坦斯菜德,《朱丽亚·罗宾逊》,刊载于《数学人》、由唐纳德·J.阿尔博斯(DonaldJ.AIbers)、格拉德·L、亚历山德逊(GeraldLAlexanderson)和康斯坦斯·海德编辑,第262一280页。波士顿:哈尔科特(Harcourt)布菜斯(Brace),约凡诺维奇(Jocanovich),1990年。这是《数学学院期刊》中《自传》的再版。康斯坦斯·菜德、拉菲尔·M.罗宾逸(RaphaelM.Robinson),《朱丽亚·鲍受·罗宾迅》(1919一1985),刊载于《数学领的女性:生平资料集》,路易斯·S.格林施泰恩(LouiseS.Grinstein)和保罗·J坎普贝尔(PaulJ.Campbell)编辑,第182-—189页。纽约:格林伍德出版社,1987年。除了生平的介绍,本文还包括对她数学研究的评价,以及大量由她的丈夫和姐姐所写文章的参考文献。拉里·瑞德勒(RiddleIarry),《朱丽亚·鲍曼·罗宾逊》,艾格尼斯·斯科特(AgnesScott)学院。网址:http://www.agnesscott,edu/Iriddle/women/robinson.htm。2003年1月27日访问。这是对朱丽亚·罗宾逊生活和研究的介绍
朱丽亚·罗宾逊11C.斯莫林斯基(Smorynski,C.),《纪念朱丽亚·罗宾逊》,刊载于《数学情报员8》,第二卷(1986),第77一79页。这篇数学期刊中的文章介绍了她的博士论文和她对希尔伯特第十问题的解决,也提供了一些生平资料