昨晚大半夜打开这部纪录片。
这个定理之前早有听闻,好歹我还是一个理科生。可惜里面很多数学知识不懂了,边看边百度术语也是够了,但是我感受了怀尔斯的两个很重要的品质。
1.热爱:从十岁就对数学感兴趣,之后成为了一个数学学家,7年可以完全沉浸在解决一个数学问题中。我觉得他对数学的热爱对他的人生产生了重大影响。试想,如果是一个你并不感兴趣的话题,你能心无旁骛地研究7,8年吗?这会很困难。
2.专注。他在找到可能解决问题的部分钥匙后,就开始全身心投入证明费马大定理,加上修正里面的错误,完全证明出来费马大定理大抵用了8年。在一个问题上耗费了这么多年,而且这还是一个被很多名家都努力证明都未得结果的一个定理,实在太有勇气和毅力。
3.巧合:怀尔斯跟世人第一次公布研究结果那天是我的生日。实在太巧了,注定我要看到这部纪录片吧!
这种专心与热爱科学的人是闪闪发光的啊!
Horizon系列,我蜜汁喜欢的费马大定理证明始末。
无数人类历史上顶尖聪明的人企图攻克它,从费马在书缝间写下“空白处太小了,写不下它”到真正被证明,期间三百多年的时光一晃而过。安德鲁.怀尔斯教授是幸运的,验证这个定理是他儿时的梦想,在这条路上他不断借鉴前辈同僚们的经验,经历失败、陷入死胡同、一个人保守灵感的踯躅前行,在片子中他说I've finally done it的时候,你无法不为他眼中的光芒所折服。费马大定理被证明的过程是人类智慧光芒大放异彩的过程,即使有了计算机、即使有了人工智能,人类的智慧并未在数学领域被完全替代,人之所以为人,依然是如此独特的存在。
观影笔记
This is the story of one man’s obsession with the world’s greatest mathematical problem.这个故事是关于一个人对于世界上最大数学难题的着迷。
安德鲁.怀尔斯教授Andrew Wiles最终解决此难题。
费马最后大定理Fermat’s last theorem
皮埃尔.德.费马,17世纪的法国数学家
You will never find any numbers that fit this equation, if n is greater than 2. That’s what Fermat said, and what’s more, he said he could prove it. This margin is too small to contain this.费马大定理:当整数n >2时,关于x, y, z的方程 x^n + y^n = z^n 没有正整数解。
这空白处太小了,写不下它。
Elliptic curves were the in thing to study, but perversely, elliptic curves are neither ellipses nor curves. They are cubic curves whose solution have a shape that looks like a doughnut. Every point on the doughnut is the solution to an equation.椭圆曲线是热门研究对象,但难点在于椭圆曲线既非椭圆也非曲线。它们是三次曲线,其解的形状看起来像个甜甜圈。甜甜圈上的每个点都是某个等式的解。
Together, Taniyama and Shimura worked on the complex mathematics of modular functions. Modular forms are functions on the complex plane that are inordinately symmetric.谷山丰和志村五郎一起进行模函数方面复杂数学的研究。模形式是有着非比寻常对称性的复平面的函数。
1955年一次国际学术报告会上提出谷山-志村猜想Every elliptic curve was really a modular form in disguise.(每条椭圆曲线实为改头换面的模形式)
In fact, Taniyama-Shimura became a foundation for other theories which all came to depend on it.事实上,谷山-志村猜想成为其他依靠它而建立的理论的基础。
1958年谷山丰自杀。1985年格尔哈德.弗莱提出如果费马是错的,谷山-志村猜想也是错的,理论上可以经由证实谷山来证实费马。
Andrew’s trick was to transform the elliptic curves into something called Galois representations which would make counting easier安德鲁的方法是将椭圆曲线转化为称为伽罗华表示的形式,这能使计数容易些。
岩泽Iwasawa理论:Iwasawa theory was supposed to help create something called a class number formula.岩泽理论可帮助创建出称为类数公式的东西。——马蒂亚斯.弗拉赫论文提及其生成了一个类数公式。
1993年1月开始尼克.凯兹教授加入与安德鲁.怀尔斯一起攻克费马大定理。
不明觉厉啊!
怀尔斯是幸运的,因为他专攻椭圆曲线,所以可以方便熟稔谷山-志村猜想,配合着弗莱的定理“骑驴找马”,但他自己能够独自守在小黑屋里钻研七年,包括后来的补充证明,都值得后辈膜拜。纪录片本身一般。
费马大定理已经被解决了。还有另一个大猜想,嗯,我记着的。就是这样。http://www.tudou.com/programs/view/HolrFnZhhH8/
Andrew Wiles讲着讲着自己就落泪了,我也跟着内心澎湃。
康康说很燃,看完之后一头雾水,我果然是数学世界的咸鱼😂。让我很感慨是志村提到好友自杀时那种克制的悲伤,以及听闻定理被证明居然激动地龅牙都笑出来了,还有一干数学家由衷地开心,都是很真挚的人啊。
【和数学有关的影视作品47】1994年9月19日安德鲁‧怀尔斯证明了谷山-志村猜想,表明所有有理数域上的椭圆曲线可以模表示。如果假设a^n+b^n=c^n(n>2)存在非零整数解,则用这组数可构造出形如y^2=x(x-a^n)(x+b^n)的费奈椭圆方程,但这类椭圆方程不能够模化,从而假设错误,a^n+b^n=c^n(n>2)不存在非零整数解。一百多年来,许多数学家为此付出了很多心血,怀尔斯用了8年时间。特别是第7年,怀尔斯宣布证明了费马大定理,世界为此欢呼,随之在评审时发现一个关键性错误,他用一年时间成功补救。虽然前七年是多么漫长的一段岁月,但第八年,1994年,也就是以为成功但却出现关键性错误需要补救的这一年,对于怀尔斯该是多么的煎熬?
最难的不是那隐秘而孤独的七年,而是这七年的辛苦之后,得到的证明是有漏洞的,然而这一切并未击倒Wiles,这才是他最令人佩服的地方。虽然Wiles的隐秘的工作方式也许值得商讨,但是也许正是这样的工作方式才会逼迫自己把这个世纪难题搞定。无论如何,Wiles对童年梦想的坚持都是所有人的榜样!致敬!
看完以后把李永乐看了个遍😂简直有毒😂数学是真的很迷人←出自一个高中数学课走了几次神睡了几次觉从此以后就再也听不懂数学课并且数学考过自己所有科目中最低分的人。但是数学确实是真的很迷人😂
片子里面展现的学术生活是那么的纯粹。
有Wiles的热情和坚持是一种多大的幸福!
on way or another
纪录片主要只提到怀尔斯教授的工作,仍然十分精彩。
300多年的梦想...向你们致敬...BBC.Fermat's.Last.Theorem.DivX511.AC3
看得人热血沸腾
我擦,太热血了,最后怀尔斯终于证明出费马大定理时我激动得哭出来了(虽然完全看不懂到底是怎么证明的)。看网上的评论说,怀尔斯可能是最后一个用传统证明形式来解决数学难题的人,未来对于数学难题的证明可能都交给计算机使用力迫法来进行证明了,感觉还蛮可惜的。
令人尊敬的接力棒证明。。。。
作为一头不折不扣的猪,我竟一向爱看这样的片子。
不同的数学分支,就像不同的平行世界,终究都会是相似的。只是黑暗中找寻照亮问题的开关,是个时间问题,而实际上金字塔也是畏惧时间的。立下目标,不断地朝着目标努力,不断地克服前行的路上遇到的困难,终究到达彼岸,最后喜极而泣,这样的人间喜剧,永远是人么最最喜欢的啦!
不明觉厉。数学家的太太好漂亮。 让我想起了Nash的老婆。
"There's no other problem that will mean the same to me. I had this very rare privilege of being able to pursue in my adult life what had been my childhood dream. I know it's a rare privilege but if one can do this, it's more rewarding than anything I could imagine."