美国学者称：费马大定理可用简易方法证明(2)

　　此后的350多年间,虽然许多数学家及众多的业余数学爱好者试图解决费马大定理,并为之绞尽脑汁,但都未得出证明。1995年,怀尔斯用现代数学的方法证明了费马大定理;此事成为轰动全球的重大新闻。不过他的证明深奥而冗长：用到了模形式、谷山-志村猜想、伽罗瓦群和科利瓦金-弗莱切方法等深奥的数学知识,浓缩的论文达130页;另外,世界上能看懂其证明的顶级数学家寥寥无几。这与费马当时的证明构想相差甚远。因此,不少人相信费马大定理应该有一个巧妙且简易的证明(但也有人认为17世纪的数学工具不可能证明这一命题)。

　　迈克拉蒂2003年开始寻找费马大定理证明的简易方法，他在2010年第3期《符号逻辑公告》上曾发表过题为“用什么来证明费马大定理?格罗滕迪克与数论的逻辑”的论文。其文探讨了目前公布的证明费马大定理所用的集合论假设，怀尔斯如何使用这些假设，以及使用较弱的假设证明费马大定理的前景。他的一些观点引起了人们的关注和讨论。读过这篇论文的中国数学家和语言学家周海中认为,迈克拉蒂从数学哲学的角度分析了证明费马大定理所用的公理化方法,提出了某些与他人有本质不同的观点,为解决数论难题提供了一种有益探索和尝试。

　　今年1月,迈克拉蒂在美国圣地亚哥举行的联合数学会议上报告了他用皮亚诺算法证明费马大定理的初步成果。美国数理逻辑学家哈维·弗里德曼认为,迈克拉蒂的工作迈出了第一步,希望他的工作扩大到是否仅由数字而不用集合就可以证明这一定理。迈克拉蒂说,“我相信是可以做到的，但它需要许多对数字的新见解，这将是非常困难的。”

　　今年5月,迈克拉蒂将在加拿大滑铁卢大学举行的北美符号逻辑协会的年会上对具体结果作进一步的讨论。他是否真的找到证明费马大定理的简易方法?让我们拭目以待