数学史与科学史数学与数学猜想.ppt

第九讲 数与数学猜想 一、历史性背景 1、万物皆数 1、万物皆数 1、万物皆数 1、万物皆数 一、历史性背景 2、反证法 2、反证法 一、历史性背景 3、不定方程 3、不定方程 附：数系的发展与完善 附：数系的发展与完善 附：数系的发展与完善 二、猜想与证明 1、谜面的诞生 1、谜面的诞生 1、谜面的诞生 1、谜面的诞生 二、猜想与证明 2、解谜的方法 2、解谜的方法 2、解谜的方法 2、解谜的方法 2、解谜的方法 2、解谜的方法 二、猜想与证明 3、产下金蛋 3、产下金蛋 3、产下金蛋 3、产下金蛋 3、产下金蛋 3、产下金蛋 3、产下金蛋 三、神秘终结者 1、终终者降生 三、神秘终结者 2、朗兰兹纲领 2、朗兰兹纲领 2、朗兰兹纲领 2、朗兰兹纲领 2、朗兰兹纲领 2、朗兰兹纲领 三、神秘终结者 3、终结之路 3、终结之路 3、终结之路 四、无尽的追求 1、未解之谜 1、未解之谜 四、无尽的追求 2、目标何在 2、目标何在 2、目标何在 2、目标何在 2、目标何在 四、无尽的追求 3、解决之道 二、猜想与证明 《算术研究》(1801) C. F. Gauss 1777-1855 数论作为现代数学的一个重要分支得到了系统的发展。 同余理论 复整数理论 型的理论 二、猜想与证明 David Hilbert, 1862-1943 我为什么要杀死一只会产金蛋的鹅？ 二、猜想与证明 1909年请数学家庞加莱来讲学； 1910年请物理学家洛仑兹来讲学： 1911年奖给数学理逻辑学家策梅罗； 1912年请物理学家索沫菲尔德来讲学； 1913年组织气体分子运动论的会议； 1914年首次用利息来请客座教授。 二、猜想与证明 根据在达姆斯塔特世纪的保罗·沃尔夫斯凯尔（Paul Wolfskehl）博士授予我们的权力，我们在此设立10万马克的奖赏，准备授予第一个证明费尔大定理的人。 ………… 如果到2007年9月尚未颁发此奖，将不再继续接受申请。 格丁根皇家科学协会 1908年6月27日 二、猜想与证明 虽然全世界的业余数学家们在这个世纪中尝试证明费马大定理和赢得沃尔夫斯凯尔奖并且都失败了，但专业数学家们则依然对其置之不理。数学家们不再在库默尔和其他的19世纪数论学家的工作上添砖加瓦，而是开始探索他们自己学科的基础，目的在于提出关于数的一些最基本的问题。 二、猜想与证明 如果费马大定理结果是不可判定的，那么这将隐含它必定是对的。 费马大定理称xn+ yn= zn 在n 2时无整数解。如果大定理事实上错的，那么就有可能通过确定一个解（一个反例）来证明这一点。于是，大定理将是可判定的。也就是说，是错的将与不可判定不相容。 1、终结者降生 2、朗兰兹纲领 3、终结之路 三、神秘终结者 Andrew John Wiles, 1953.04.11-- 从我孩提时代第一次遇到费马大定理，它就一直是我最大的兴趣所在。 椭圆方程 L-序列 1、终结者降生 2、朗兰兹纲领 3、终结之路 三、神秘终结者 Robert Langlands 1936.10.06 - 朗兰兹纲领 Langlands Programme 朗兰兹猜想Langlands Conjectures 三、神秘终结者 朗兰兹纲领：寻找所有主要数学课题之间存在着的统一的连接的环链。 在某个数学领域中无法解答的任何问题，可以被转换成另一个领域中相应的问题，而在那里有一整套新武器可以用来对付它。如果仍然难以找到解答，那么可以把问题再转换到另一个数学领域中，继续下去直到它被解决为止。 三、神秘终结者 谷山 丰（1927-1958） 志村 五郎 谷山 - 志村 猜想 三、神秘终结者 模形式 modular forms 无限 对称性 M –序列 三、神秘终结者 当（且仅当）费马大定理不真，则存在弗赖椭圆方程 费赖椭圆方程是如此的古怪以致它决不可能被模形式化 谷山 – 志村断言每一个椭圆方程必定可以模形式化 因而，谷山 – 志村猜想必定是错的。 三、神秘终结者 里贝特的工作使得费马大定理不可摆脱地与谷山志村猜想联结在了一起，如果有人能证明每一个椭圆方程是模形式，那么这就隐含着费马方程无解，于是立即证明了费马大定理。 三个半世纪以之后，费马大定理这个孤立的问题，这个在数学的边缘上使人好奇的而无法解答地谜。现在，重新回到台前。17世纪的最重要的问题