剪辑费时又费力

剪辑费时又费力 · 剧情与内容介绍

剪辑费时又费力剧情与演职资料 ⭐本片从证明了🌩️费玛最后定理🍃的安德鲁‧怀尔斯 Andrew Wiles开始谈起，🪷描述了 🔍Fermat's 🌈Last Theorm 的历史始末，🌹往前回溯来看，1994年正是我🌳在念大学的时🌿候，当时完全没有一位教授💚在课堂上🚄提到这件事，也许他们认为，🚁一位真正的研究者，自然🚆而然地会被数学吸引，⏰然而对一位不🍀是天才的学生🕊️来说，他需要的是老师的指引，🐟引导他走🐼向更高深的专业认知，而指引的🐬道路，就在科普的精🎲神上。 从费玛最🛸后定理的🍿历史中可以发现，有许多研📽️究成果，都是研究人员燃烧🕹️热情，💜试图提出「有趣」的命题，然后🌋再尝试用逻辑验证。 🎟️费玛最后🔔定理：xn+yn=zn 当 n>2 💡时，不存🎷在整数解 1. 🌸1963年 安德🌲鲁‧怀尔斯 Andrew Wiles被埃里克‧坦普尔‧贝尔 🎶Eric Temple 🚢Bell 🌎的一本书吸引，「最后问题 🌍The Last Problem」，💙故事从这🌼里开始。 2. 毕达哥拉❄️斯 Pythagoras 🌟定理，任一个直角三角形，🌙斜边的平方=另外🤩两边的平方和 🏸x2+y2=z2 毕达哥拉斯三元组：毕氏🏖️定理的整数解 🌇3. ⛵费玛 Fermat 在研🐯究丢番图 Diophantus 🐳的「算数」第2卷的问题8时，⌛在页边写下了註记 🌄「不可能将一个立方数🦅写成两个立方❤️数之和；或者将一个四次幂写成☁️两个四次🎊幂之和；或者，总的🤍来说，不可能将一个高於2次幂，写成两个🐠同样次幂🛰️的和。」 「对🏓这个命题我有一个十分🦋美妙的证明，这里空白🏕️太小，🌕写不下。」 4. 1670年，费玛 🏆Fermat的儿子出版了载有Fermat註记的「🌖丢番图的算数」 🌃5. 在Fermat的其他註记中，隐含了对 🐧n=4 🌏的证明 => n=8, 🚤12, 😊16, 20 🌒... 🌠时无解 莱昂哈德‧欧拉 Leonhard 🧡Euler 💛证明了 n=3 时无🎈解 => 🦊n=6, 🏞️9, 12, 15 😺... 时无解 3是质数，🧭现在只要证明🥰费玛最后定理🌗对於所有的质数都成立 但 🚕欧基里德 🌻证明「存在无穷多🎞️个质数」 🐙6. 1776年 索菲‧热尔曼 📚针对 🌆(2p+1)的质数，证明了 🖤费玛最后定理 🌌"大概" 无解 7. 🎁1825年 😄古斯塔夫‧勒瑞-狄利克雷 🦉和 阿得利昂-玛利埃‧勒让🗺️德 延伸热尔曼的🌺证明，🌓证明了 n=5 📖无解 8. 🐢1839年 加布里尔‧拉梅 ⛈️Gabriel Lame 证明🌘了 n=7 🌅无解 9. 🌊1847年 拉梅 😃与 奥古斯汀‧路易斯‧科西 🎫Augusti Louis Cauchy 🚀同时宣称已经🏍️证明了 费玛最后🏝️定理 💫最后是刘维尔宣读🎉了 恩斯特‧库默尔 🚂Ernst Kummer 的信，🌴说科西与拉梅的证🚗明，都因为「🎵虚数没有唯一因子😸分解性质」而失败 库默🤗尔证明了 费玛最后🦁定理的完整证明 🎳是当时数学方法不🏔️可能实现的 10.1908年 😍保罗‧沃尔夫斯凯尔 🌔Paul Wolfskehl 🎭补救🕰️了库默尔的证明 这表示 ✈️费玛最后🐱定理的完整证明 尚未被解😎决 🎤沃尔夫斯凯尔提供了 🚌10万马克 🥇给提供证明的人，期限是到2007年9月13日止 🏅11.1900年8月8日 ⚽大卫‧希尔伯特，提出数学上23个未🚲解决的问题且相信🌑这是迫切需要✨解决的重要问题 🎧12.1931年 库特‧哥德尔 🐶不可判定性定🐝理 第一不可🐾判定性定理：如果公理集合论是相容的，🏙️那么存在🎨既不能证明又🌥️不能否定的定理。 => 完全⛰️性是📝不可能达到的 第二不可判定性定♟️理：不存在能证明公理🎯系统🧩是相容的构造性过程。 🎹=> 相容性永🏀远不可能证明 🎾13.1963年 保罗‧科恩 Paul Cohen 🎮发展🤔了可以检验给定问题是😌不是不可判定的方法（只适🎬用少数情形） 🎥证明希尔伯特23个问题中，📺其中一个「连续统🎸假设」问题是不可判定的，🥁这对於费玛最后定理来☀️说是🎻一大打击 14.1940年 阿伦‧图灵 Alan 🌤️Turing ⛅发明破译 Enigma编码 🌦️的反转机 🌧️开始有人利用暴力解决方法，🪐要对 🌧️费玛最后定理 的n值一个一个加以证🏓明。 🎮15.1988年 内奥姆‧埃尔🌟基斯 Naom Elkies 对於 🌥️Euler 提出的 x4+y4+z4=w4 🌧️不存在解这个推想，找到😊了一个反🌺例 26824404+153656394+1879604=206156734 16.1975年 ⛰️安德鲁‧怀尔斯 🔔Andrew Wiles 师承 约翰‧科次，研究🚁椭圆曲线 研究⛈️椭圆🎞️曲线的目的是要算出他🎮们的整数解，这跟费玛🦉最后定理一样 🌃ex: y2=x3-2 只有一组整数🦁解 😃52=33-2 (费玛证明宇宙中指🌋存在一个数26，他是🏖️夹在一个🏸平方数与一个立方数中🐳间) 由於要直接找出椭圆曲🌅线是很困难的，✨为了简化问题，数学🦅家採用「时鐘运算🐶」方法 在五格时鐘运算中， 🦊4+2=1 椭圆🐢方程式 x3-x2=y2+y 🏓所有可能的解为 🎵(x, y)=(0, 🎈0) 🐾(0, 4) (1, 🧭0) (1, 🎮4)，然后🧩可用 E5=4 来代😄表在五格时鐘运算中，有四🚂个解 🌗对於椭圆曲线，可写出一💙个 E序列 ☀️E1=1, E2=4, ..... 17.1954年 🌥️至村五郎 🎾与 ✨谷山丰 研究具有非同🌲寻常的对称性的 modular 🌹form 模型式 😊模型⭐式的要素可从1开始标号到无☁️穷（M1, M2, M3, 🎶...） 每个🌅模型式的 🌇M序列 要素个数 🎼可写成 M1=1 💙M2=3 .... ⛰️这样的范例 1955年9月 ☀️提出模型式的 🎁M序列 可以对应到椭🎳圆曲线的 ✨E序列，两个不同领域的理论突🛸然被🎯连接在一起 安德列‧韦依 🥰採纳这个想法，「谷山-🔔志村猜想」 🎸18.朗兰🌃兹提出「朗兰兹纲领」的计😊画，一个统一化猜想的理论，并开🏀始寻找统一的环链 💚19.1984年 ⛈️格哈德‧弗赖 Gerhard 😊Frey 提出 (1) 🤍假设费玛最后😎定理是错🔔的，则 xn+yn=zn 🌟有整数解，则可将方程式转换为y2=x3+(AN-BN)x2-ANBN 🎯这样🌹的椭圆方程式 🚂(2) 弗赖椭圆方程式太🗺️古怪了，以致於无法被🚀模型式化 (3) 🚆谷山-志村猜想 🧭断言🌕每一个椭圆方程式都可以被模型式化 🧩(4) ❤️谷山-志村猜想 是错误的 🥁反过🛸来说 (1) 如果 🥇谷山-志村猜想 是对🎈的，每一🔔个椭圆方程式🌸都可以被模型式化 😃(2) 每一个椭 类型：电影🎟️解说；导演：西蒙·辛格。