数学家介绍.pptVIP

莱布尼兹（1646－1716） 发明微积分的哲学家 此人本身就是一所科学院 样样皆通的大师 出身书香门第，从小就凸显出超常的才智 15岁考入莱比锡大学法律系 莱布尼兹（1646－1716） 20岁完成法学博士学位，但校方以他太年轻为口实，拒授博士学位 听了《几何原本》的讲座，而对数学产生兴趣 20岁，发布《论组合的艺术》，为数理逻辑的开山著作之一 1675年，发现了微积分 莱布尼兹（1646－1716） 看到中国的《河图洛书》，而对中国文化与哲学产生兴趣 向康熙皇帝申请加入中国籍 并在北京建立科学院 希尔伯特（1862－1943） 1885年获博士学位 现代公理方法的奠基人。公理化方法起始于欧几里德，被高斯等发展，集大成于希尔伯特 希尔伯特提出公理组建的三条原则：相容性、独立性、完备性 希尔伯特（1862－1943） 1899年，名著《几何基础》出版，给出了5组21条公理，是现代公理化方法的样本 1922年，提出著名的“Hilbert纲领”：将古典数学公理化并形式化，用有穷的方法证明其无矛盾 （1931年哥德尔提出数论形式系统的不完全性，否定了该纲领） 希尔伯特（1862－1943） 1900年，在第二次世界数学家大会上提出23个重要的数学问题 20世纪数学界的领军人物，优秀的数学教师，主张科学无国界 “我们必须知道 我们必将知道” 哥德尔（1906－1978） 1930年获哲学博士学位 1931年发表《论“数学原理”及有关系统中的不可判定命题》，被誉为“20世纪最有意义的数学真理” 哥德尔（1906－1978） 哥德尔命题： A：“A不可证” 哥德尔命题与其否命题皆不可证。 传统观念：数学问题都必须而且能够严格加以证明或证伪 “真”大于“证明” 哥德尔（1906－1978） 光辉成就的数学史，同时也是一部数学灾难史，悖论和危机此伏彼起，矛盾和难题层出不穷 考试佯谬 老师在周末放学时对学生说：? 条件一：下周要进行一次考试； 条件二：到底哪天考试，你们在考试之前的任何一天都不能确知。 注：每周上课5天（周一至周五）， 每天都上一节课 考试佯谬 两个结论：1 学生推理没有错误 2 教师的两个条件符合事实，故应视为真命题 问题：似乎正确的前提和正确的推理导致了错误的结论 回答：佯谬之所以出现，是因为试图将一个广义哥德尔型命题（可粗略地理解为涉及系统元知识的命题）显式地作为系统公理，来建构系统的完备性。 考试佯谬 考试佯谬这类逻辑悖论促使人们深入省思逻辑系统的本质，它的能力和局限。对形式化的逻辑系统的研究有助于实现这个目的。在理论方面：形式化逻辑系统帮助人们澄清逻辑系统的元性质(一致性、完全性）、澄清基本的数学哲学问题（例如，数学是否可以形式化－希尔伯特方案）；在应用方面：形式化逻辑系统在理论计算机科学、计算机科学、人工智能、软件工程等领域有着深刻的应用。 考试佯谬 绝大多数实际数学系统的形式化是不完备的（哥德尔第一不完备性定理），甚至其一致性也无法在系统之内得到证明（哥德尔第二不完备性定理）。数学真理不可能由包括程序在内的任何机械过程所穷尽，而必然包含直觉和洞察的成份。存在着对于人的直觉来说明显为真，但无法形式证明的良定义数学命题（哥德尔） 庞加莱（1854－1912） 20世纪最伟大的数学家之一 具备成功者的一切素质： 从小诚实、正直、公平待人； 记忆迅速持久，富有想象力和直觉的能力； 思考问题时，注意力绝对集中。 庞加莱（1854－1912） 33岁当选法国科学院院士。 在34年的科学生涯中，发表500多篇创造性论文，30种学术专著。 几乎涵盖纯数学与应用数学的所有理论。 对全部数学都有创造性的掌握和开创性的贡献，能达到这种高度的最后一人。 庞加莱（1854－1912） 最大的成就在微分方程定性理论方面。 现代常微分方程的开山鼻祖。 随便拿出部分成果，就能拿菲尔兹奖与沃尔夫奖各10次的水平。 “人生就是持续的奋斗。” 庞加莱（1854－1912） 直觉主义的倡导者。 颇具哲学家气质的数学家。 “逻辑用于论证，直觉用于发明。” “逻辑并非不毛之地，它生长着矛盾。” 康托尔（1845－1918） 康托的集合论创立了数学上最广泛、最有力的一个部门，一个没有人能把我们赶出去的天堂。（希尔伯特） 数学家的乐园，数学思想最惊人的产物。（希尔伯特） 这个时代所能夸耀的最巨大的工作。（罗素） 康托尔（1845－1918） 集合论的创立是数学史上的重大事件。 提出集合的概念与运算 指出无穷集合的特征：部分＝整体 可数集与不可数集的概念（康托公理） 康托三分集：测度为零的不可数集 超限数理论：势、基数 集合论与第三次数学危机 康托的集合论被称为朴素集合论，1871年康托对集合给了一个朴素的