深夜赶稿的折磨 · HD中字播放

深夜赶稿的折磨 · 剧情与内容介绍

深夜赶稿的折磨剧情概览：本片从证🚤明了费玛最后🐝定理的安德鲁‧怀尔斯 🐶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) 每一🌗个椭 💚类型：电影解说；语言：英语。