1630左右,法国数学家费马(P.D.Fermat)对古希腊丢番图的著作《著作》第二卷的第八命题进行了推广,得到了如下一个命题: 不定方程x^n+y^n=z^n(n为大于2正整数)不存在正整数解。这就是费马猜想。 自费马去世后,许多数学家如莱布尼兹、欧拉(L.Euler)、勒让德、高斯、柯西、狄利克雷和库默尔等试图证明这一猜想,但有的只给出了作为特殊情形的证明,有的甚至给出了错误的证明。
困难的问题愈发激起了人们探求的热情。1955年,日本数学家谷山和志村提出了谷山-志村猜想。1986年德国数学家费赖(G.Frey)发现,如果谷
山-志村猜想成立,则费马猜想成立。同年,美国数学家里贝(K.Ribet)证明了塞尔(J.P.Serre)的“水平约化猜想”。因此,只要证明谷山-
志村猜想成立,就证明费马猜想。上述工作为怀尔斯最终解决费马猜想铺平了道路。 英国数学家怀尔斯(Sir Andrew John
Wiles,1953、4、11-)十岁时就对费马猜想产生了浓厚兴趣,弗赖和里贝的工作极大地鼓舞了怀尔斯。他制定了详细的计划,全身心投入到了费马猜
想的研究中。1993年6月23日,怀尔斯在做完题为“椭圆曲线、模型式和伽罗瓦表示”的演讲后,以平静的语气向与会者宣布:“我证明了费马猜想。”然
后,怀尔斯没有立即发表论文,而是不断地检查其中的错误,经过近两年的修改、完善,才于1995年5月将论文全文发表。至此,困惑数学界多年的难题解决
了,怀尔斯也获得1998年菲尔兹特别贡献奖。
1925年6月23日
ATM发明人-英国发明家巴伦出生
1925年6月23日,英国发明家约翰·谢珀德-巴伦(John Adrian
Shepherd-Barron,1925、6、23-2010、5、15)出生。1967年6月,他发明的第一部电脑自动提款机,安装于英国伦敦北部的
巴克莱银行Enfield分行。此提款机是他借巧克力售卖机的意念,改装、设计而成为自动提款机。因此,巴伦在2004年,荣获英女皇颁授英帝国员佐勋
章。另外,巴伦也发明了提款机所用的个人识别号码。巴伦是英国印钞托马斯德纳罗印钞公司的职员。