拍摄让人有些感动,从Andrew身边的数学家们,Andrew自己说出对于过去的一些回忆。到了一些哽咽的地方,想到做他这种纯数学的学术工作的种种心酸,真的很难想象。但他说工作的每一分钟都很享受,这又很令人佩服。记忆比较深的是当他的理论被发现错误,他很喜欢自己钻研问题的private way,不喜欢在一种exposed way下工作。
二黄昨天说她看了《费马大定律》纪录片,抱着只要点开历史记录就能看的心态,果然有,今天我也看了一遍,结果她找错了,导致我看了一个93年的特别节目+96年的纪录片 在现有条件范围内能穷举的数组都满足一个猜想,那我们会趋于相信这个猜想是真的,但是当我们没有办法充分证明所有的情况下这个猜想都成立的时候,逻辑上我们无法肯定这一猜想是真的 证明它在逻辑上存在必要性:如果你相信它,那就需要证明它对所有条件正确;如果你不相信它,至少要给出一组符合的答案,证明它错误 350多年里,费马大定律无法被论证正确,也无发被证伪 所以这个证明真的有用么?在特别节目里怀尔斯曾说:“我们不期望这个证明有任何实际应用”,在350多年时间里,每一个为之过努力的数学家应该都知道这一点,但是还在不断地努力着 350年来做过探索的数学家一开始应该都不曾期望这个证明过程带来实际应用,但是证明的过程探索出更多方式方法、甚至开创了很多科学分支、打通更多学科分支,这是探索一开始不曾奢望带来的结果,但是确实是整个过程中带来的额外收获,怀尔斯能证明它,绝对不是他一个人的成果,一些思路的失败、一些思路的产生、新的数学分支的发展、他自身研究领域的重合,以及他自身的不断探索,最终引导他得出了最后的过程 当然怀尔斯也遇到了巨大的压力和挑战,你需要大家都认可这个证明过程,它不能有逻辑死角,这两个节目的时间点揭示了这个困难 特别节目是1993年在怀尔斯发表自己证明结束后制作的 纪录片则是在1994年怀尔斯的完善证明过程被专业领域期刊认可后的1996年制作的 黑暗中的摸索对于一开始就知道是黑暗的数学家来说,就算困难,就算失败,那是自己选择承受的。但是面对需要修补的逻辑死角,那似乎是短暂开灯后被拉入了另一个未知的黑暗角落,明明已经看到了希望,却又回到了原点,黎明前最黑暗,似乎没人能避开这个 这一切的巧合性和必然性,所谓:“机会是留给有准备的人” 人类对于理论科学的探索真的有意义么? 我还是觉得说:理论科学中证明和证据的给出,是人类探索中看似毫无意义但却也最有意义的事情了吧 关于特别节目演讲一些小点的反思: 节目宗旨大概是希望像向非数学家们传达“费马最后一个定律的证明已经实现”这一消息,所以并没有讲过多关于数学推导及方法应用的内容,浅浅地提及了一些,也用了很多可以展现的实验数学方法去更加通俗地讲述相关事项 1.1993年怀尔斯的关于证明结束的采访表述“当大部分专家认可这个证明”这个证明才是真的结束了。联想到:工作中个人经历了单一事情后,根据单一事件结论,后期所做出的决定会被质疑的原因:个人的判断往往来自于个人经历,而个人经验不具有普适信任性,被质疑很正常。解决质疑的方法(来自浪3的解读):1)拿出曾发事件证明经验;2)让质疑者参与事件,质疑者的经验积累也是很重要的一点(决定/过程中角色转换) 2.演讲者中出现的唯一女性演讲者展现了女性数学家的努力。不同性别及少数者的参与科学探索及观点提出的重要性:不同群体需要代表者发声,要鼓励群体中对不同领域有兴趣的人去探索去努力,理论科学是唯一的,但是思考方式和方法需要不同趋向性的群体提出和讨论,才会变得更加丰富有趣。当然,群体中的每一个个体也不尽相同,但标签化群体后,从已分类群体中的比例采样非常重要 3.展现实验的重要性。费马大定律中,n=3时的说明展现让我直呼绝妙:立方在数学的应用中主要为体积,但是多个物体体积是否相等很难做展现,但若把体积的展现转化为同材质物品重量的展现,就很直观了。有时候转化展示的表达方式会让展示更加容易被理解且让人影响深刻 4.对于节目本身,问答中给到了现代媒体的一个点:“现代科学研究的发表除了在期刊上以外,20年代后期因为电视和网络的发展,一个发布会形式或许能更加快速传达这个信息,媒体之间的竞争关系让媒体期待‘更快’、‘更独家’地去发布如此重要的信息,但是媒体无法判断专业领域成果的正确性。”,这个点似乎也是现阶段新闻媒体令人诟病的一点。新闻媒体行业技术发展同时,必须去思考:“如何去权衡报道的速度、真实性、权威性”。
Andrew Wiles讲着讲着自己就落泪了,我也跟着内心澎湃。
on way or another
最难的不是那隐秘而孤独的七年,而是这七年的辛苦之后,得到的证明是有漏洞的,然而这一切并未击倒Wiles,这才是他最令人佩服的地方。虽然Wiles的隐秘的工作方式也许值得商讨,但是也许正是这样的工作方式才会逼迫自己把这个世纪难题搞定。无论如何,Wiles对童年梦想的坚持都是所有人的榜样!致敬!
不同的数学分支,就像不同的平行世界,终究都会是相似的。只是黑暗中找寻照亮问题的开关,是个时间问题,而实际上金字塔也是畏惧时间的。立下目标,不断地朝着目标努力,不断地克服前行的路上遇到的困难,终究到达彼岸,最后喜极而泣,这样的人间喜剧,永远是人么最最喜欢的啦!
康康说很燃,看完之后一头雾水,我果然是数学世界的咸鱼😂。让我很感慨是志村提到好友自杀时那种克制的悲伤,以及听闻定理被证明居然激动地龅牙都笑出来了,还有一干数学家由衷地开心,都是很真挚的人啊。
"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."
我擦,太热血了,最后怀尔斯终于证明出费马大定理时我激动得哭出来了(虽然完全看不懂到底是怎么证明的)。看网上的评论说,怀尔斯可能是最后一个用传统证明形式来解决数学难题的人,未来对于数学难题的证明可能都交给计算机使用力迫法来进行证明了,感觉还蛮可惜的。
令人尊敬的接力棒证明。。。。
有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年,也就是以为成功但却出现关键性错误需要补救的这一年,对于怀尔斯该是多么的煎熬?
不明觉厉啊!
费马大定理已经被解决了。还有另一个大猜想,嗯,我记着的。就是这样。http://www.tudou.com/programs/view/HolrFnZhhH8/
怀尔斯是幸运的,因为他专攻椭圆曲线,所以可以方便熟稔谷山-志村猜想,配合着弗莱的定理“骑驴找马”,但他自己能够独自守在小黑屋里钻研七年,包括后来的补充证明,都值得后辈膜拜。纪录片本身一般。
作为一头不折不扣的猪,我竟一向爱看这样的片子。
300多年的梦想...向你们致敬...BBC.Fermat's.Last.Theorem.DivX511.AC3
看得人热血沸腾
不明觉厉。数学家的太太好漂亮。 让我想起了Nash的老婆。