数学史常识(数学大事年表及数学史上的三次危机)

数学史上发生的大事

数学发展至今,不知道经历了多少人的呕心沥血,现在把数学历史上发生的大事的年表列出:

数学大事年表:

推荐约公元前3000年 埃及象形数字

公元前2400~前1600年 早期巴比伦泥版楔形文字,采用60进位值制记数法。已知勾股定理

公元前1850~前1650年 埃及纸草书(莫斯科纸草书与莱茵德纸草书),使用10进非位值制记数法

公元前1400~前1100年 中国殷墟甲骨文,已有10进制记数法 周公(公元前11世纪) 、商高时代已知勾三、股四、弦五 约公元前600年 希腊泰勒斯开始了命题的证明

约公元前540年 希腊毕达哥拉斯学派,发现勾股定理,并导致不可通约量的发现

约公元前500年 印度《绳法经》中给出√2相当精确的值,并知勾股定理

约公元前460年 希腊智人学派提出几何作图三大问题:化圆为方、三等分角和二倍立方

约公元前450年 希腊埃利亚学派的芝诺提出悖论

公元前430年 希腊安提丰提出穷竭法

约公元前380年 希腊柏拉图在雅典创办“学园”,主张通过几何的学习培养逻辑思维能力

公元前370年 希腊欧多克索斯创立比例论

约公元前335年 欧多莫斯著《几何学史》

中国筹算记数,采用十进位值制

约公元前300年 希腊欧几里得著《几何原本》,是用公理法建立演绎数学体系的最早典范

公元前287~前212年 希腊阿基米德,确定了大量复杂几何图形的面积与体积;给出圆周率的上下界;提出用力学方法推测问题答案,隐含近代积分论思想

公元前230年 希腊埃拉托塞尼发明“筛法”

公元前225年 希腊阿波罗尼奥斯著《圆锥曲线论》

约公元前150年 中国现存最早的数学书《算数书》成书(1983~1984年间在湖北江陵出土)

约公元前100年 中国《周髀算经》成书,记述了勾股定理 中国古代最重要的数学著作《九章算术》经历代增补修订基本定形(一说成书年代为公元 50~100年间),其中正负数运算法则、分数四则运算、线性方程组解法、比例计算与线性插值法盈不足术等都是世界数学史上的重要贡献

约公元62年 希腊海伦给出用三角形三边长表示面积的公式(海

伦公式)

约公元150年 希腊托勒密著《天文学》,发展了三角学 约公元250年 希腊丢番图著《算术》,处理了大量不定方程问题,并引入一系列缩写符号,是古希腊代数的代表作

约公元263年 中国刘徽注解《九章算术》,创割圆术,计算圆周率, 证明圆面积公式, 推导四面体及四棱锥体积等,包含有极限思想 约公元300年 中国《孙子算经》成书,系统记述了筹算记数制,卷下“物不知数”题是孙子剩余定理的起源

公元320年 希腊帕普斯著《数学汇编》,总结古希腊各家的研究成果, 并记述了“帕普斯定理”和旋转体体积计算法

公元410年 希腊许帕提娅,历史上第一位女数学家,曾注释欧几里得、丢番图等人的著作

公元462年 中国祖冲之算出圆周率在 3.1415926与3.1415927之间, 并以22/7为约率,355/113为密率(现称祖率)

中国祖冲之和他的儿子祖暅提出“幂势既同则积不容异”的原理,现称祖暅原理,相当于西方的卡瓦列里原理(1635)

公元499年 印度阿耶波多著《阿耶波多文集》,总结了当时印度的天文、算术、代数与三角学知识。已知π=3.1416,尝试以连分数解不定方程

公元600年 中国刘焯首创等间距二次内插公式,后发展出不等间距二次内插法(僧一行,724)和三次内插法(郭守敬,1280) 约公元625年 中国王孝通著《缉古算经》,是最早提出数字三次

方程数值解法的著作

公元628年 印度婆罗摩笈多著《婆罗摩历算书》,已知圆内接四边形面积计算法,推进了一、二次不定方程的研究

公元656年 中国李淳风等注释十部算经,后通称《算经十书》 公元820年 阿拉伯花拉子米著《代数学》,以二次方程求解为主要内容,12世纪该书被译成拉丁文传入欧洲

约公元870年 印度出现包括零的十进制数码,后传入阿拉伯演变为现今的印度-阿拉伯数码

约公元1050年 中国贾宪提出二项式系数表(现称贾宪三角和增乘开方法)

公元1100年 阿拉伯奥马·海亚姆首创用两条圆锥曲线的交点来表示三次方程的根

公元1150年 印度婆什迦罗第二著《婆什迦罗文集》为中世纪印度数学的代表作,其中给出二元不定方程x ⒉=1+py⒉若干特解,对负数有所认识,并使用了无理数

公元1202年 意大利L. 斐波那契著《算盘书》,向欧洲人系统地介绍了印度-阿拉伯数码及整数、分数的各种算法

公元1247年 中国秦九韶著《数书九章》,创立解一次同余式的大衍求一术和求高次方程数值解的正负开方术,相当于西方的霍纳法(1819)

公元1248年 中国李冶著《测圆海镜》,是中国现存第一本系统论述天元术的著作

约公元1250年 阿拉伯纳西尔丁·图西开始使三角学脱离天文学而独立, 将欧几里得《几何原本》译为阿拉伯文

公元1303年 中国朱世杰著《四元玉鉴》,将天元术推广为四元术,研究高阶等差数列求和问题

公元1325年 英国T. 布雷德沃丁将正切、余切引入三角计算 公元14世纪 珠算在中国普及

约公元1360年 法国N. 奥尔斯姆撰《比例算法》,引入分指数概念,又在《论图线》等著作中研究变化与变化率,创图线原理,即用经、纬度(相当于横、

纵坐标)表示点的位置并进而讨论函数图像

公元1427年 阿拉伯卡西著《算术之钥》,系统论述算术、代数的原理、方法,并在《圆周论》中求出圆周率17位准确数字 公元1464年 德国J. 雷格蒙塔努斯著《论一般三角形》,为欧洲第一本系统的三角学著作,其中出现正弦定律

公元1482年 欧几里得《几何原本》(拉丁文译本) 首次印刷出版 公元1489年 捷克韦德曼最早使用符号+、-表示加、减运算 公元1545年 意大利G. 卡尔达诺的《大术》出版,载述了S ·费罗(1515)、N. 塔尔塔利亚(1535)的三次方程解法和L. 费拉里(1544)的四次方程解法

公元1572年 意大利R. 邦贝利的《代数学》出版,指出对于三次方程的不可约情形,通过虚数运算必可得三个实根,给出初步的虚数理论

公元1585年 荷兰S. 斯蒂文创设十进分数(小数) 的记法 公元1591年 法国F. 韦达著《分析方法入门》,引入大量代数符号,改良三、四次方程解法,指出根与系数的关系,为符号代数学的奠基者

公元1592年 中国程大位写成《直指算法统宗》,详述算盘的用法,载有大量运算口诀,该书明末传入日本、朝鲜

公元1606年 中国徐光启和利玛窦合作将欧几里得《几何原本》前六卷译为中文

公元1614年 英国J. 纳皮尔创立对数理论

公元1615年 德国开普勒著《酒桶新立体几何》,有求酒桶体积的方法,是阿基米德求积方法向近代积分法的过渡

公元1629年 荷兰吉拉尔最早提出代数基本定理

法国费马已得解析几何学要旨,并掌握求极大极小值方法 公元1635年 意大利(F. )B. 卡瓦列里建立“不可分量原理”

公元1637年 法国R. 笛卡儿的《几何学》出版,创立解析几何学 法国费马提出“费马大定理”

公元1639年 法国G. 德扎格著《试论处理圆锥与平面相交情况初稿》,为射影几何先驱

公元1640年 法国B. 帕斯卡发表《圆锥曲线论》

公元1642年 法国B. 帕斯卡发明加减法机械计算机

公元1655年 英国J. 沃利斯著《无穷算术》,导入无穷级数与无穷乘积,首创无穷大符号∞

公元1657年 荷兰C. 惠更斯著《论骰子游戏的推理》,引入数学期望概念,是概率论的早期著作。在此以前B. 帕斯卡、费马等已由处理赌博问题而开始考虑概率理论

公元1665年 英国I. 牛顿一份手稿中已有流数术的记载,这是最早的微积分学文献,其后他在《无穷多项方程的分析》(1669年撰,1711年发表)、《流数术方法与无穷级数》(1671年撰, 1736年发表)等著作中进一步发展流数术并建立微积分基本定理

公元1666年 德国G.W. 莱布尼茨写成《论组合的技术》,孕育了数理逻辑思想

公元1670年 英国I. 巴罗著《几何学讲义》,引进“微分三角形”概念

约公元1680年 日本关孝和始创和算,引入行列式概念,开创“圆理”研究

公元1684年 德国G.W. 莱布尼茨在《学艺》上发表第一篇微分学论文《一种求极大极小与切线的新方法》,两年后又发表第一篇积分学论文,创用积分符号

公元1687年 英国I. 牛顿的 《自然哲学的数学原理》出版,首次以几何形式发表其流数术

公元1689年 瑞士约翰第一·伯努利提出“最速降曲线”问题,后导致变分法的产生

法国 G.-F.-洛必达出版《无穷小分析》,其中载有求极限的洛必达法则

公元1707年 英国I. 牛顿出版《广义算术》,阐述了代数方程理论 公元1713年 瑞士雅各布第一·伯努利的《猜度术》出版,载有伯努利大数律

公元1715年 英国B. 泰勒出版《正的和反的增量方法》,内有他1712年发现的把函数展开成级数的泰勒公式

公元1722年 法国A. 棣莫弗给出公式(cos φ+i sin φ)n =cos n φ+ i sin nφ

公元1730年 苏格兰J. 斯特林发表《微分法,或关于无穷级数的简述》,其中给出了Ν! 的斯特林公式

公元1731年 法国A. -C. 克莱罗著《关于双重曲率曲线的研究》,开创了空间曲线的理论

公元1736年 瑞士L. 欧拉解决了柯尼斯堡七桥问题

公元1742年 英国C. 马克劳林出版《流数通论》,试图用严谨的方法来建立流数学说,其中给出了马克劳林展开

公元1744年 瑞士L. 欧拉著《寻求具有某种极大或极小性质的曲线的技巧》,标志着变分法作为一个新的数学分支的诞生

公元1747年 法国J.le R. 达朗贝尔发表《弦振动研究》, 导出了弦振动方程, 是偏微分方程研究的开端

公元1748年 瑞士L. 欧拉出版《无穷小分析引论》,与后来发表的《微分学》(1755)和《积分学》(1770)一起,以函数概念为基础综合处理微积分理论,给出了大量重要的结果,标志着微积分发展的新阶段

公元1750年 瑞士G. 克莱姆给出解线性方程组的克莱姆法则 瑞士L. 欧拉发表多面体公式:V-E+F =2

公元1770年 法国J. -L. 拉格朗日深入探讨代数方程根式求解问题,考虑有理函数当变量发生置换时所取值的个数,成为置换群论的先导

德国J.H. 朗伯开创双曲函数的全面研究

公元1777年 法国G.-L.L 布丰提出投针问题, 是几何概率理论的早期研究

公元1779年 法国□. 贝祖著《代数方程的一般理论》,系统论述消元法理论

公元1788年 法国J. -L. 拉格朗日的《分析力学》出版,使力学分析化,并总结了变分法的成果

公元1794年 法国A. -M. 勒让德的《几何学基础》出版,是当时标准的几何教科书

法国建立巴黎综合工科学校和巴黎高等师范学校

公元1795年 法国G. 蒙日发表《关于把分析应用于几何的活页论文》,成为微分几何学先驱

公元1797年 法国J.-L. 拉格朗日著《解析函数论》,主张以函数的幂级数展开为基础建立微积分理论

挪威C. 韦塞尔最早给出复数的几何表示

公元1799年 法国G. 蒙日出版《画法几何学》,使画法几何成为几何学的一个专门分支

德国C.F. 高斯给出代数基本定理的第一个证明

公元1799~1825年 法国P.-S. 拉普拉斯的5卷巨著《天体力学》出版,其中包含了许多重要的数学贡献,如拉普拉斯方程、位势函数等

公元1801年 德国C.F. 高斯的《算术研究》出版,标志着近代数论的起点

公元1802年 法国J.E. 蒙蒂克拉与拉朗德合撰的《数学史》共4卷全部出版, 成为最早的较系统的数学史著作

公元1807年 法国J. -B. -J. 傅里叶在热传导研究中提出任意函数的三角级数表示法(傅里叶级数),他的思想总结在1822年发表的《热的解析理论》中

公元1810年 法国J. -D. 热尔岗创办《纯粹与应用数学年刊》,这是最早的专门数学期刊

公元1812年 英国剑桥分析学会成立

法国 P.-S. 拉普拉斯著《概率的解析理论》, 提出概率的古典定义, 将分析工具引入概率论

公元1814年 法国 A.-L. 柯西宣读复变函数论第一篇重要论文《关于定积分理论的报告》(1827年正式发表),开创了复变函数论的研究

公元1817年 捷克B. 波尔查诺著《纯粹分析的证明》,首次给出连续性、导数的恰当定义,提出一般级数收敛性的判别准则 公元1818年 法国S.-D. 泊松导出波动方程解的“泊松公式”

公元1821年 法国A.-L. 柯西出版《代数分析教程》,引进不一定具有解析表达式的函数概念;独立于B. 波尔查诺提出极限、连续、导数等定义和级数收敛判别准则,是分析严密化运动中第一部影响深远的著作

公元1822年 法国J. -V. 彭赛列著《论图形的射影性质》,奠定了射影几何学基础

公元1826年 挪威N.H. 阿贝尔著《关于很广一类超越函数的一个一般性质》,开创了椭圆函数论研究

德国A.L. 克雷尔创办《纯粹与应用数学杂志》

法国J.-D. 热尔岗与J.-V. 彭赛列各自建立对偶原理

公元1827年 德国C.F. 高斯著《关于曲面的一般研究》,开创曲面内蕴几何学

德国A.F. 麦比乌斯著《重心演算》,引进齐次坐标,与J. 普吕克等开辟了射影几何的代数方向

公元1828年 英国G. 格林著《数学分析在电磁理论中的应用》,发展位势理论

公元1829年 德国C.G.J. 雅可比著《椭圆函数论新基础》,是椭圆函数理论的奠基性著作

俄国Н. И. 罗巴切夫斯基发表最早的非欧几何论著《论几何基础》 公元1829~1832年 法国E. 伽罗瓦彻底解决代数方程根式可解性问题,确立了群论的基本概念

公元1830年 英国G. 皮科克著《代数通论》,首创以演绎方式建

立代数学,为代数中更抽象的思想铺平了道路

公元1832年 匈牙利J. 波尔约发表《绝对空间的科学》,独立于Н. И. 罗巴切夫斯基提出了非欧几何思想

瑞士J. 施泰纳著《几何形的相互依赖性的系统发展》,利用射影概念从简单结构构造复杂结构,发展了射影几何

公元1836年 法国J. 刘维尔创办法文的《纯粹与应用数学杂志》 公元1837年 德国P.G.L. 狄利克雷提出现今通用的函数定义(变量之间的对应关系)

公元1840年 法国 A.-L. 柯西证明了微分方程初值问题解的存在性

公元1841~1856年 德国K. (T.W. )外尔斯特拉斯关于分析严密化的工作,主张将分析建立在算术概念的基础之上,给出极限的ε-δ说法和级数一致收敛性概念;同时在幂级数基础上建立复变函数论

公元1843年 英国W.R. 哈密顿发现四元数

公元1844年 德国E.E. 库默尔创立理想数的概念

德国H.G. 格拉斯曼出版《线性扩张论》。建立Ν个分量的超复数系, 提出了一般的Ν维几何的概念

公元1847年 德国K.G.C.von 施陶特著《位置的几何学》,不依赖度量概念建立射影几何体系

公元1849~1854年 英国的A. 凯莱提出抽象群概念 公元1851年 德国(G.F. )B. 黎曼著《单复变函数的一般理论基

础》,给出单值解析函数的黎曼定义,创立黎曼面的概念,是复变函数论的一篇经典性论文

公元1854年 德国(G.F. )B. 黎曼著《关于几何基础的假设》, 创立Ν维流形的黎曼几何学

英国G. 布尔出版《思维规律的研究》,建立逻辑代数(即布尔代数)

公元1855年 英国A. 凯莱引进矩阵的基本概念与运算

公元1858年 德国(G.F. )B. 黎曼给出ζ函数的积分表示与它满足的函数方程,提出黎曼猜想德国A. F. 麦比乌斯发现单侧曲面(麦比乌斯带)

公元1859年 中国李善兰与英国的伟烈亚力合译的《代数学》、《代微积拾级》以及《几何原本》后9卷中文本出版, 这是翻译西方近代数学著作的开始 中国李善兰建立了著名的组合恒等式(李善兰恒等式)

公元1861年 德国K. (T.W. )外尔斯特拉斯在柏林讲演中给出连续但处处不可微函数的例子

公元1863年 德国P.G.L. 狄利克雷出版《数论讲义》,是解析数论的经典文献

公元1865年 伦敦数学会成立,是历史上第一个成立的数学会 公元1866年 俄国П. Л. 切比雪夫利用切比雪夫不等式建立关于独立随机变量序列的大数律,成为概率论研究的中心课题

公元1868年 意大利E. 贝尔特拉米著《论非欧几何学的解释》,

在伪球面上实现罗巴切夫斯基几何,这是第一个非欧几何模型 德国(G.F. )B. 黎曼的《用三角级数表示函数的可表示性》正式发表,建立了黎曼积分理论

公元1871年 德国(C. )F. 克莱因在射影空间中适当引进度量而得到双曲几何与椭圆几何,这是不用曲面而获得的非欧几何模型 德国G. (F.P. )康托尔在三角级数表示的惟一性研究中首次引进

了无穷集合的概念,并在以后的一系列论文中奠定了集合论的基础 公元1872年 德国(C. )F. 克莱因发表《埃尔朗根纲领》,建立了把各种几何学看作为某种变换群的不变量理论的观点,以群论为基础统一几何学

实数理论的确立:G. (F.P. )康托尔的基本序列论;J.W.R. 戴德金的分割论;K.(T.W.)外尔斯特拉斯的单调序列论

公元1873年 法国C. 埃尔米特证明e 的超越性

公元1874年 挪威M.S. 李开创连续变换群的研究,现称李群理论

公元1879年 德国(F.L. )G. 弗雷格出版《概念语言》, 建立量词理论, 给出第一个严密的逻辑公理体系,后又出版《算术基础》(1884)等著作,试图把数学建立在逻辑的基础上

公元1881~1884年 德国(C.)F.克莱因与法国(J. -)H. 庞加莱创立自守函数论

公元1881~1886年 法国(J. -)H. 庞加莱关于微分方程确定的曲线的论文,创立微分方程定性理论

公元1882年 德国M. 帕施给出第一个射影几何公理系统 德国F.von 林德曼证明π的超越性

公元1887年 法国(J. -)G. 达布著《曲面的一般理论》,发展了活动标架法

公元1889年 意大利G. 皮亚诺著《算术原理新方法》,给出自然数公理体系

公元1894年 荷兰T. (J. )斯蒂尔杰斯发表《连分数的研究》,引进新的积分(斯蒂尔杰斯积分)

公元1895年 法国(J. -)H. 庞加莱著《位置几何学》,创立用剖分研究流形的方法,为组合拓扑学奠定基础

德国F.G. 弗罗贝尼乌斯开始群的表示理论的系统研究

公元1896年 德国H. 闵科夫斯基著《数的几何》,创立系统的数的几何理论

法国J. (-S. )阿达马与瓦里-布桑证明素数定理

公元1897年 第一届国际数学家大会在瑞士苏黎世举行 公元1898年 英国K. 皮尔逊创立描述统计学

公元1899年 德国D. 希尔伯特出版《几何基础》,给出历史上第一个完备的欧几里得几何公理系统, 开创了公理化方法, 并预示了数学基础的形式主义观点

公元1900年 德国D. 希尔伯特在巴黎第二届国际数学家大会上作题为《数学问题》的报告。提出了23个著名的数学问题

数学史上的三次危机

无理数的发现──第一次数学危机

大约公元前5世纪,不可通约量的发现导致了毕达哥拉斯悖论。当时的毕达哥拉斯学派重视自然及社会中不变因素的研究,把几何、算术、天文、音乐称为“四艺”,在其中追求宇宙的和谐规律性。他们认为:宇宙间一切事物都可归结为整数或整数之比,毕达哥拉斯学派的一项重大贡献是证明了勾股定理,但由此也发现了一些直角三角形的斜边不能表示成整数或整数之比(不可通约) 的情形,如直角边长均为1的直角三角形就是如此。这一悖论直接触犯了毕氏学派的根本信条,导致了当时认识上的“危机”,从而产生了第一次数学危机。 到了公元前370年,这个矛盾被毕氏学派的欧多克斯通过给比例下新定义的方法解决了。他的处理不可通约量的方法,出现在欧几里得《原本》第5卷中。欧多克斯和狄德金于1872年给出的无理数的解释与现代解释基本一致。今天中学几何课本中对相似三角形的处理,仍然反映出由不可通约量而带来的某些困难和微妙之处。第一次数学危机对古希腊的数学观点有极大冲击。这表明,几何学的某些真理与算术无关,几何量不能完全由整数及其比来表示,反之却可以由几何量来表示出来,整数的权威地位开始动摇,而几何学的身份升高了。危机也表明,直觉和经验不一定靠得住,推理证明才是可靠的,从此希腊人开始重视演译推理,并由此建立了几何公理体系,这不能不说是数

学思想上的一次巨大革命!

无穷小是零吗?──第二次数学危机

18世纪,微分法和积分法在生产和实践上都有了广泛而成功的应用,大部分数学家对这一理论的可靠性是毫不怀疑的。

1734年,英国哲学家、大主教贝克莱发表《分析学家或者向一个不信正教数学家的进言》,矛头指向微积分的基础--无穷小的问题,提出了所谓贝克莱悖论。他指出:“牛顿在求xn 的导数时,采取了先给x 以增量0,应用二项式(x+0)n,从中减去xn 以求得增量,并除以0以求出xn 的增量与x 的增量之比,然后又让0消逝,这样得出增量的最终比。这里牛顿做了违反矛盾律的手续──先设x 有增量,又令增量为零,也即假设x 没有增量。”他认为无穷小dx 既等于零又不等于零,召之即来,挥之即去,这是荒谬,“dx 为逝去量的灵魂”。无穷小量究竟是不是零?无穷小及其分析是否合理?由此而引起了数学界甚至哲学界长达一个半世纪的争论。导致了数学史上的第二次数学危机。

18世纪的数学思想的确是不严密的,直观的强调形式的计算而不管基础的可靠。其中特别是:没有清楚的无穷小概念,从而导数、微分、积分等概念也不清楚,无穷大概念不清楚,以及发散级数求和的任意性,符号的不严格使用,不考虑连续就进行微分,不考虑导数及积分的存在性以及函数可否展成幂级数等等。

直到19世纪20年代,一些数学家才比较关注于微积分的严格基础。从波尔查诺、阿贝尔、柯西、狄里赫利等人的工作开始,到威尔斯特拉斯、戴德金和康托的工作结束,中间经历了半个多世纪,基本上解决了矛盾,为数学分析奠定了严格的基础。

悖论的产生——第三次数学危机

数学史上的第三次危机,是由1897年的突然冲击而出现的,到现在,从整体来看,还没有解决到令人满意的程度。这次危机是由于在康托的一般集合理论的边缘发现悖论造成的。由于集合概念已经渗透到众多的数学分支,并且实际上集合论成了数学的基础,因此集合论中悖论的发现自然地引起了对数学的整个基本结构的有效性的怀疑。

1897年,福尔蒂揭示了集合论中的第一个悖论。两年后,康托发现了很相似的悖论。1902年,罗素又发现了一个悖论,它除了涉及集合概念本身外不涉及别的概念。罗素悖论曾被以多种形式通俗化。其中最著名的是罗素于1919年给出的,它涉及到某村理发师的困境。理发师宣布了这样一条原则:他给所有不给自己刮脸的人刮脸,并且,只给村里这样的人刮脸。当人们试图回答下列疑问时,就认识到了这种情况的悖论性质:“理发师是否自己给自己刮脸?”如果他不给自己刮脸,那么他按原则就该为自己刮脸;如果他给自己刮脸,那么他就不符合他的原则。

罗素悖论使整个数学大厦动摇了。无怪乎弗雷格在收到罗素的信之后,在他刚要出版的《算术的基本法则》第2卷末尾写道:“一位科学家不会碰到比这更难堪的事情了,即在工作完成之时,它的基础垮掉了,当本书等待印出的时候,罗素先生的一封信把我置于这种境地”。于是终结了近12年的刻苦钻研。承认无穷集合,承认无穷基数,就好像一切灾难都出来了,这就是第三次数学危机的实质。尽管悖论可以消除,矛盾可以解决,然而数学的确定性却在一步一步地丧失。现代公理集合论的大堆公理,简直难说孰真孰假,可是又不能把它们都消除掉,它们跟整个数学是血肉相连的。所以,第三次危机表面上解决了,实质上更深刻地以其它形式延续着。

数学史上发生的大事

数学发展至今,不知道经历了多少人的呕心沥血,现在把数学历史上发生的大事的年表列出:

数学大事年表:

推荐约公元前3000年 埃及象形数字

公元前2400~前1600年 早期巴比伦泥版楔形文字,采用60进位值制记数法。已知勾股定理

公元前1850~前1650年 埃及纸草书(莫斯科纸草书与莱茵德纸草书),使用10进非位值制记数法

公元前1400~前1100年 中国殷墟甲骨文,已有10进制记数法 周公(公元前11世纪) 、商高时代已知勾三、股四、弦五 约公元前600年 希腊泰勒斯开始了命题的证明

约公元前540年 希腊毕达哥拉斯学派,发现勾股定理,并导致不可通约量的发现

约公元前500年 印度《绳法经》中给出√2相当精确的值,并知勾股定理

约公元前460年 希腊智人学派提出几何作图三大问题:化圆为方、三等分角和二倍立方

约公元前450年 希腊埃利亚学派的芝诺提出悖论

公元前430年 希腊安提丰提出穷竭法

约公元前380年 希腊柏拉图在雅典创办“学园”,主张通过几何的学习培养逻辑思维能力

公元前370年 希腊欧多克索斯创立比例论

约公元前335年 欧多莫斯著《几何学史》

中国筹算记数,采用十进位值制

约公元前300年 希腊欧几里得著《几何原本》,是用公理法建立演绎数学体系的最早典范

公元前287~前212年 希腊阿基米德,确定了大量复杂几何图形的面积与体积;给出圆周率的上下界;提出用力学方法推测问题答案,隐含近代积分论思想

公元前230年 希腊埃拉托塞尼发明“筛法”

公元前225年 希腊阿波罗尼奥斯著《圆锥曲线论》

约公元前150年 中国现存最早的数学书《算数书》成书(1983~1984年间在湖北江陵出土)

约公元前100年 中国《周髀算经》成书,记述了勾股定理 中国古代最重要的数学著作《九章算术》经历代增补修订基本定形(一说成书年代为公元 50~100年间),其中正负数运算法则、分数四则运算、线性方程组解法、比例计算与线性插值法盈不足术等都是世界数学史上的重要贡献

约公元62年 希腊海伦给出用三角形三边长表示面积的公式(海

伦公式)

约公元150年 希腊托勒密著《天文学》,发展了三角学 约公元250年 希腊丢番图著《算术》,处理了大量不定方程问题,并引入一系列缩写符号,是古希腊代数的代表作

约公元263年 中国刘徽注解《九章算术》,创割圆术,计算圆周率, 证明圆面积公式, 推导四面体及四棱锥体积等,包含有极限思想 约公元300年 中国《孙子算经》成书,系统记述了筹算记数制,卷下“物不知数”题是孙子剩余定理的起源

公元320年 希腊帕普斯著《数学汇编》,总结古希腊各家的研究成果, 并记述了“帕普斯定理”和旋转体体积计算法

公元410年 希腊许帕提娅,历史上第一位女数学家,曾注释欧几里得、丢番图等人的著作

公元462年 中国祖冲之算出圆周率在 3.1415926与3.1415927之间, 并以22/7为约率,355/113为密率(现称祖率)

中国祖冲之和他的儿子祖暅提出“幂势既同则积不容异”的原理,现称祖暅原理,相当于西方的卡瓦列里原理(1635)

公元499年 印度阿耶波多著《阿耶波多文集》,总结了当时印度的天文、算术、代数与三角学知识。已知π=3.1416,尝试以连分数解不定方程

公元600年 中国刘焯首创等间距二次内插公式,后发展出不等间距二次内插法(僧一行,724)和三次内插法(郭守敬,1280) 约公元625年 中国王孝通著《缉古算经》,是最早提出数字三次

方程数值解法的著作

公元628年 印度婆罗摩笈多著《婆罗摩历算书》,已知圆内接四边形面积计算法,推进了一、二次不定方程的研究

公元656年 中国李淳风等注释十部算经,后通称《算经十书》 公元820年 阿拉伯花拉子米著《代数学》,以二次方程求解为主要内容,12世纪该书被译成拉丁文传入欧洲

约公元870年 印度出现包括零的十进制数码,后传入阿拉伯演变为现今的印度-阿拉伯数码

约公元1050年 中国贾宪提出二项式系数表(现称贾宪三角和增乘开方法)

公元1100年 阿拉伯奥马·海亚姆首创用两条圆锥曲线的交点来表示三次方程的根

公元1150年 印度婆什迦罗第二著《婆什迦罗文集》为中世纪印度数学的代表作,其中给出二元不定方程x ⒉=1+py⒉若干特解,对负数有所认识,并使用了无理数

公元1202年 意大利L. 斐波那契著《算盘书》,向欧洲人系统地介绍了印度-阿拉伯数码及整数、分数的各种算法

公元1247年 中国秦九韶著《数书九章》,创立解一次同余式的大衍求一术和求高次方程数值解的正负开方术,相当于西方的霍纳法(1819)

公元1248年 中国李冶著《测圆海镜》,是中国现存第一本系统论述天元术的著作

约公元1250年 阿拉伯纳西尔丁·图西开始使三角学脱离天文学而独立, 将欧几里得《几何原本》译为阿拉伯文

公元1303年 中国朱世杰著《四元玉鉴》,将天元术推广为四元术,研究高阶等差数列求和问题

公元1325年 英国T. 布雷德沃丁将正切、余切引入三角计算 公元14世纪 珠算在中国普及

约公元1360年 法国N. 奥尔斯姆撰《比例算法》,引入分指数概念,又在《论图线》等著作中研究变化与变化率,创图线原理,即用经、纬度(相当于横、

纵坐标)表示点的位置并进而讨论函数图像

公元1427年 阿拉伯卡西著《算术之钥》,系统论述算术、代数的原理、方法,并在《圆周论》中求出圆周率17位准确数字 公元1464年 德国J. 雷格蒙塔努斯著《论一般三角形》,为欧洲第一本系统的三角学著作,其中出现正弦定律

公元1482年 欧几里得《几何原本》(拉丁文译本) 首次印刷出版 公元1489年 捷克韦德曼最早使用符号+、-表示加、减运算 公元1545年 意大利G. 卡尔达诺的《大术》出版,载述了S ·费罗(1515)、N. 塔尔塔利亚(1535)的三次方程解法和L. 费拉里(1544)的四次方程解法

公元1572年 意大利R. 邦贝利的《代数学》出版,指出对于三次方程的不可约情形,通过虚数运算必可得三个实根,给出初步的虚数理论

公元1585年 荷兰S. 斯蒂文创设十进分数(小数) 的记法 公元1591年 法国F. 韦达著《分析方法入门》,引入大量代数符号,改良三、四次方程解法,指出根与系数的关系,为符号代数学的奠基者

公元1592年 中国程大位写成《直指算法统宗》,详述算盘的用法,载有大量运算口诀,该书明末传入日本、朝鲜

公元1606年 中国徐光启和利玛窦合作将欧几里得《几何原本》前六卷译为中文

公元1614年 英国J. 纳皮尔创立对数理论

公元1615年 德国开普勒著《酒桶新立体几何》,有求酒桶体积的方法,是阿基米德求积方法向近代积分法的过渡

公元1629年 荷兰吉拉尔最早提出代数基本定理

法国费马已得解析几何学要旨,并掌握求极大极小值方法 公元1635年 意大利(F. )B. 卡瓦列里建立“不可分量原理”

公元1637年 法国R. 笛卡儿的《几何学》出版,创立解析几何学 法国费马提出“费马大定理”

公元1639年 法国G. 德扎格著《试论处理圆锥与平面相交情况初稿》,为射影几何先驱

公元1640年 法国B. 帕斯卡发表《圆锥曲线论》

公元1642年 法国B. 帕斯卡发明加减法机械计算机

公元1655年 英国J. 沃利斯著《无穷算术》,导入无穷级数与无穷乘积,首创无穷大符号∞

公元1657年 荷兰C. 惠更斯著《论骰子游戏的推理》,引入数学期望概念,是概率论的早期著作。在此以前B. 帕斯卡、费马等已由处理赌博问题而开始考虑概率理论

公元1665年 英国I. 牛顿一份手稿中已有流数术的记载,这是最早的微积分学文献,其后他在《无穷多项方程的分析》(1669年撰,1711年发表)、《流数术方法与无穷级数》(1671年撰, 1736年发表)等著作中进一步发展流数术并建立微积分基本定理

公元1666年 德国G.W. 莱布尼茨写成《论组合的技术》,孕育了数理逻辑思想

公元1670年 英国I. 巴罗著《几何学讲义》,引进“微分三角形”概念

约公元1680年 日本关孝和始创和算,引入行列式概念,开创“圆理”研究

公元1684年 德国G.W. 莱布尼茨在《学艺》上发表第一篇微分学论文《一种求极大极小与切线的新方法》,两年后又发表第一篇积分学论文,创用积分符号

公元1687年 英国I. 牛顿的 《自然哲学的数学原理》出版,首次以几何形式发表其流数术

公元1689年 瑞士约翰第一·伯努利提出“最速降曲线”问题,后导致变分法的产生

法国 G.-F.-洛必达出版《无穷小分析》,其中载有求极限的洛必达法则

公元1707年 英国I. 牛顿出版《广义算术》,阐述了代数方程理论 公元1713年 瑞士雅各布第一·伯努利的《猜度术》出版,载有伯努利大数律

公元1715年 英国B. 泰勒出版《正的和反的增量方法》,内有他1712年发现的把函数展开成级数的泰勒公式

公元1722年 法国A. 棣莫弗给出公式(cos φ+i sin φ)n =cos n φ+ i sin nφ

公元1730年 苏格兰J. 斯特林发表《微分法,或关于无穷级数的简述》,其中给出了Ν! 的斯特林公式

公元1731年 法国A. -C. 克莱罗著《关于双重曲率曲线的研究》,开创了空间曲线的理论

公元1736年 瑞士L. 欧拉解决了柯尼斯堡七桥问题

公元1742年 英国C. 马克劳林出版《流数通论》,试图用严谨的方法来建立流数学说,其中给出了马克劳林展开

公元1744年 瑞士L. 欧拉著《寻求具有某种极大或极小性质的曲线的技巧》,标志着变分法作为一个新的数学分支的诞生

公元1747年 法国J.le R. 达朗贝尔发表《弦振动研究》, 导出了弦振动方程, 是偏微分方程研究的开端

公元1748年 瑞士L. 欧拉出版《无穷小分析引论》,与后来发表的《微分学》(1755)和《积分学》(1770)一起,以函数概念为基础综合处理微积分理论,给出了大量重要的结果,标志着微积分发展的新阶段

公元1750年 瑞士G. 克莱姆给出解线性方程组的克莱姆法则 瑞士L. 欧拉发表多面体公式:V-E+F =2

公元1770年 法国J. -L. 拉格朗日深入探讨代数方程根式求解问题,考虑有理函数当变量发生置换时所取值的个数,成为置换群论的先导

德国J.H. 朗伯开创双曲函数的全面研究

公元1777年 法国G.-L.L 布丰提出投针问题, 是几何概率理论的早期研究

公元1779年 法国□. 贝祖著《代数方程的一般理论》,系统论述消元法理论

公元1788年 法国J. -L. 拉格朗日的《分析力学》出版,使力学分析化,并总结了变分法的成果

公元1794年 法国A. -M. 勒让德的《几何学基础》出版,是当时标准的几何教科书

法国建立巴黎综合工科学校和巴黎高等师范学校

公元1795年 法国G. 蒙日发表《关于把分析应用于几何的活页论文》,成为微分几何学先驱

公元1797年 法国J.-L. 拉格朗日著《解析函数论》,主张以函数的幂级数展开为基础建立微积分理论

挪威C. 韦塞尔最早给出复数的几何表示

公元1799年 法国G. 蒙日出版《画法几何学》,使画法几何成为几何学的一个专门分支

德国C.F. 高斯给出代数基本定理的第一个证明

公元1799~1825年 法国P.-S. 拉普拉斯的5卷巨著《天体力学》出版,其中包含了许多重要的数学贡献,如拉普拉斯方程、位势函数等

公元1801年 德国C.F. 高斯的《算术研究》出版,标志着近代数论的起点

公元1802年 法国J.E. 蒙蒂克拉与拉朗德合撰的《数学史》共4卷全部出版, 成为最早的较系统的数学史著作

公元1807年 法国J. -B. -J. 傅里叶在热传导研究中提出任意函数的三角级数表示法(傅里叶级数),他的思想总结在1822年发表的《热的解析理论》中

公元1810年 法国J. -D. 热尔岗创办《纯粹与应用数学年刊》,这是最早的专门数学期刊

公元1812年 英国剑桥分析学会成立

法国 P.-S. 拉普拉斯著《概率的解析理论》, 提出概率的古典定义, 将分析工具引入概率论

公元1814年 法国 A.-L. 柯西宣读复变函数论第一篇重要论文《关于定积分理论的报告》(1827年正式发表),开创了复变函数论的研究

公元1817年 捷克B. 波尔查诺著《纯粹分析的证明》,首次给出连续性、导数的恰当定义,提出一般级数收敛性的判别准则 公元1818年 法国S.-D. 泊松导出波动方程解的“泊松公式”

公元1821年 法国A.-L. 柯西出版《代数分析教程》,引进不一定具有解析表达式的函数概念;独立于B. 波尔查诺提出极限、连续、导数等定义和级数收敛判别准则,是分析严密化运动中第一部影响深远的著作

公元1822年 法国J. -V. 彭赛列著《论图形的射影性质》,奠定了射影几何学基础

公元1826年 挪威N.H. 阿贝尔著《关于很广一类超越函数的一个一般性质》,开创了椭圆函数论研究

德国A.L. 克雷尔创办《纯粹与应用数学杂志》

法国J.-D. 热尔岗与J.-V. 彭赛列各自建立对偶原理

公元1827年 德国C.F. 高斯著《关于曲面的一般研究》,开创曲面内蕴几何学

德国A.F. 麦比乌斯著《重心演算》,引进齐次坐标,与J. 普吕克等开辟了射影几何的代数方向

公元1828年 英国G. 格林著《数学分析在电磁理论中的应用》,发展位势理论

公元1829年 德国C.G.J. 雅可比著《椭圆函数论新基础》,是椭圆函数理论的奠基性著作

俄国Н. И. 罗巴切夫斯基发表最早的非欧几何论著《论几何基础》 公元1829~1832年 法国E. 伽罗瓦彻底解决代数方程根式可解性问题,确立了群论的基本概念

公元1830年 英国G. 皮科克著《代数通论》,首创以演绎方式建

立代数学,为代数中更抽象的思想铺平了道路

公元1832年 匈牙利J. 波尔约发表《绝对空间的科学》,独立于Н. И. 罗巴切夫斯基提出了非欧几何思想

瑞士J. 施泰纳著《几何形的相互依赖性的系统发展》,利用射影概念从简单结构构造复杂结构,发展了射影几何

公元1836年 法国J. 刘维尔创办法文的《纯粹与应用数学杂志》 公元1837年 德国P.G.L. 狄利克雷提出现今通用的函数定义(变量之间的对应关系)

公元1840年 法国 A.-L. 柯西证明了微分方程初值问题解的存在性

公元1841~1856年 德国K. (T.W. )外尔斯特拉斯关于分析严密化的工作,主张将分析建立在算术概念的基础之上,给出极限的ε-δ说法和级数一致收敛性概念;同时在幂级数基础上建立复变函数论

公元1843年 英国W.R. 哈密顿发现四元数

公元1844年 德国E.E. 库默尔创立理想数的概念

德国H.G. 格拉斯曼出版《线性扩张论》。建立Ν个分量的超复数系, 提出了一般的Ν维几何的概念

公元1847年 德国K.G.C.von 施陶特著《位置的几何学》,不依赖度量概念建立射影几何体系

公元1849~1854年 英国的A. 凯莱提出抽象群概念 公元1851年 德国(G.F. )B. 黎曼著《单复变函数的一般理论基

础》,给出单值解析函数的黎曼定义,创立黎曼面的概念,是复变函数论的一篇经典性论文

公元1854年 德国(G.F. )B. 黎曼著《关于几何基础的假设》, 创立Ν维流形的黎曼几何学

英国G. 布尔出版《思维规律的研究》,建立逻辑代数(即布尔代数)

公元1855年 英国A. 凯莱引进矩阵的基本概念与运算

公元1858年 德国(G.F. )B. 黎曼给出ζ函数的积分表示与它满足的函数方程,提出黎曼猜想德国A. F. 麦比乌斯发现单侧曲面(麦比乌斯带)

公元1859年 中国李善兰与英国的伟烈亚力合译的《代数学》、《代微积拾级》以及《几何原本》后9卷中文本出版, 这是翻译西方近代数学著作的开始 中国李善兰建立了著名的组合恒等式(李善兰恒等式)

公元1861年 德国K. (T.W. )外尔斯特拉斯在柏林讲演中给出连续但处处不可微函数的例子

公元1863年 德国P.G.L. 狄利克雷出版《数论讲义》,是解析数论的经典文献

公元1865年 伦敦数学会成立,是历史上第一个成立的数学会 公元1866年 俄国П. Л. 切比雪夫利用切比雪夫不等式建立关于独立随机变量序列的大数律,成为概率论研究的中心课题

公元1868年 意大利E. 贝尔特拉米著《论非欧几何学的解释》,

在伪球面上实现罗巴切夫斯基几何,这是第一个非欧几何模型 德国(G.F. )B. 黎曼的《用三角级数表示函数的可表示性》正式发表,建立了黎曼积分理论

公元1871年 德国(C. )F. 克莱因在射影空间中适当引进度量而得到双曲几何与椭圆几何,这是不用曲面而获得的非欧几何模型 德国G. (F.P. )康托尔在三角级数表示的惟一性研究中首次引进

了无穷集合的概念,并在以后的一系列论文中奠定了集合论的基础 公元1872年 德国(C. )F. 克莱因发表《埃尔朗根纲领》,建立了把各种几何学看作为某种变换群的不变量理论的观点,以群论为基础统一几何学

实数理论的确立:G. (F.P. )康托尔的基本序列论;J.W.R. 戴德金的分割论;K.(T.W.)外尔斯特拉斯的单调序列论

公元1873年 法国C. 埃尔米特证明e 的超越性

公元1874年 挪威M.S. 李开创连续变换群的研究,现称李群理论

公元1879年 德国(F.L. )G. 弗雷格出版《概念语言》, 建立量词理论, 给出第一个严密的逻辑公理体系,后又出版《算术基础》(1884)等著作,试图把数学建立在逻辑的基础上

公元1881~1884年 德国(C.)F.克莱因与法国(J. -)H. 庞加莱创立自守函数论

公元1881~1886年 法国(J. -)H. 庞加莱关于微分方程确定的曲线的论文,创立微分方程定性理论

公元1882年 德国M. 帕施给出第一个射影几何公理系统 德国F.von 林德曼证明π的超越性

公元1887年 法国(J. -)G. 达布著《曲面的一般理论》,发展了活动标架法

公元1889年 意大利G. 皮亚诺著《算术原理新方法》,给出自然数公理体系

公元1894年 荷兰T. (J. )斯蒂尔杰斯发表《连分数的研究》,引进新的积分(斯蒂尔杰斯积分)

公元1895年 法国(J. -)H. 庞加莱著《位置几何学》,创立用剖分研究流形的方法,为组合拓扑学奠定基础

德国F.G. 弗罗贝尼乌斯开始群的表示理论的系统研究

公元1896年 德国H. 闵科夫斯基著《数的几何》,创立系统的数的几何理论

法国J. (-S. )阿达马与瓦里-布桑证明素数定理

公元1897年 第一届国际数学家大会在瑞士苏黎世举行 公元1898年 英国K. 皮尔逊创立描述统计学

公元1899年 德国D. 希尔伯特出版《几何基础》,给出历史上第一个完备的欧几里得几何公理系统, 开创了公理化方法, 并预示了数学基础的形式主义观点

公元1900年 德国D. 希尔伯特在巴黎第二届国际数学家大会上作题为《数学问题》的报告。提出了23个著名的数学问题

数学史上的三次危机

无理数的发现──第一次数学危机

大约公元前5世纪,不可通约量的发现导致了毕达哥拉斯悖论。当时的毕达哥拉斯学派重视自然及社会中不变因素的研究,把几何、算术、天文、音乐称为“四艺”,在其中追求宇宙的和谐规律性。他们认为:宇宙间一切事物都可归结为整数或整数之比,毕达哥拉斯学派的一项重大贡献是证明了勾股定理,但由此也发现了一些直角三角形的斜边不能表示成整数或整数之比(不可通约) 的情形,如直角边长均为1的直角三角形就是如此。这一悖论直接触犯了毕氏学派的根本信条,导致了当时认识上的“危机”,从而产生了第一次数学危机。 到了公元前370年,这个矛盾被毕氏学派的欧多克斯通过给比例下新定义的方法解决了。他的处理不可通约量的方法,出现在欧几里得《原本》第5卷中。欧多克斯和狄德金于1872年给出的无理数的解释与现代解释基本一致。今天中学几何课本中对相似三角形的处理,仍然反映出由不可通约量而带来的某些困难和微妙之处。第一次数学危机对古希腊的数学观点有极大冲击。这表明,几何学的某些真理与算术无关,几何量不能完全由整数及其比来表示,反之却可以由几何量来表示出来,整数的权威地位开始动摇,而几何学的身份升高了。危机也表明,直觉和经验不一定靠得住,推理证明才是可靠的,从此希腊人开始重视演译推理,并由此建立了几何公理体系,这不能不说是数

学思想上的一次巨大革命!

无穷小是零吗?──第二次数学危机

18世纪,微分法和积分法在生产和实践上都有了广泛而成功的应用,大部分数学家对这一理论的可靠性是毫不怀疑的。

1734年,英国哲学家、大主教贝克莱发表《分析学家或者向一个不信正教数学家的进言》,矛头指向微积分的基础--无穷小的问题,提出了所谓贝克莱悖论。他指出:“牛顿在求xn 的导数时,采取了先给x 以增量0,应用二项式(x+0)n,从中减去xn 以求得增量,并除以0以求出xn 的增量与x 的增量之比,然后又让0消逝,这样得出增量的最终比。这里牛顿做了违反矛盾律的手续──先设x 有增量,又令增量为零,也即假设x 没有增量。”他认为无穷小dx 既等于零又不等于零,召之即来,挥之即去,这是荒谬,“dx 为逝去量的灵魂”。无穷小量究竟是不是零?无穷小及其分析是否合理?由此而引起了数学界甚至哲学界长达一个半世纪的争论。导致了数学史上的第二次数学危机。

18世纪的数学思想的确是不严密的,直观的强调形式的计算而不管基础的可靠。其中特别是:没有清楚的无穷小概念,从而导数、微分、积分等概念也不清楚,无穷大概念不清楚,以及发散级数求和的任意性,符号的不严格使用,不考虑连续就进行微分,不考虑导数及积分的存在性以及函数可否展成幂级数等等。

直到19世纪20年代,一些数学家才比较关注于微积分的严格基础。从波尔查诺、阿贝尔、柯西、狄里赫利等人的工作开始,到威尔斯特拉斯、戴德金和康托的工作结束,中间经历了半个多世纪,基本上解决了矛盾,为数学分析奠定了严格的基础。

悖论的产生——第三次数学危机

数学史上的第三次危机,是由1897年的突然冲击而出现的,到现在,从整体来看,还没有解决到令人满意的程度。这次危机是由于在康托的一般集合理论的边缘发现悖论造成的。由于集合概念已经渗透到众多的数学分支,并且实际上集合论成了数学的基础,因此集合论中悖论的发现自然地引起了对数学的整个基本结构的有效性的怀疑。

1897年,福尔蒂揭示了集合论中的第一个悖论。两年后,康托发现了很相似的悖论。1902年,罗素又发现了一个悖论,它除了涉及集合概念本身外不涉及别的概念。罗素悖论曾被以多种形式通俗化。其中最著名的是罗素于1919年给出的,它涉及到某村理发师的困境。理发师宣布了这样一条原则:他给所有不给自己刮脸的人刮脸,并且,只给村里这样的人刮脸。当人们试图回答下列疑问时,就认识到了这种情况的悖论性质:“理发师是否自己给自己刮脸?”如果他不给自己刮脸,那么他按原则就该为自己刮脸;如果他给自己刮脸,那么他就不符合他的原则。

罗素悖论使整个数学大厦动摇了。无怪乎弗雷格在收到罗素的信之后,在他刚要出版的《算术的基本法则》第2卷末尾写道:“一位科学家不会碰到比这更难堪的事情了,即在工作完成之时,它的基础垮掉了,当本书等待印出的时候,罗素先生的一封信把我置于这种境地”。于是终结了近12年的刻苦钻研。承认无穷集合,承认无穷基数,就好像一切灾难都出来了,这就是第三次数学危机的实质。尽管悖论可以消除,矛盾可以解决,然而数学的确定性却在一步一步地丧失。现代公理集合论的大堆公理,简直难说孰真孰假,可是又不能把它们都消除掉,它们跟整个数学是血肉相连的。所以,第三次危机表面上解决了,实质上更深刻地以其它形式延续着。


相关内容

  • 单招面试题3
  • 1.蔬菜价格上涨超过肉类,怎么看这个现象? 2.怎么看逆向思维? 3.英国一思想家说,"国家的首要荣誉应该属于立法者和国家缔造者."怎么看这句话? 4.中国目前是否有信仰,与道德.伦理和法制是否冲突? 5.水蒸气也是温室气体,为什么只治理二氧化碳? 6.怎样看教育多元化和教育公平 ...

  • 数学史上的三次数学危机
  • 数学史上的三次数学危机分别是什么 ? 悬赏分:0 - 解决时间:2006-11-30 18:57 提问者: 多彩的雨季 - 助理 二级 最佳答案 毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家.他曾创立了一个合政治.学术.宗教三位一体的神秘主义派别:毕达哥拉斯学派.由毕达哥拉斯提出的著名命题&q ...

  • 数学思维与文化选修课论文
  • 数学思维与文化选修课论文 通过11周的选修课学习,我已经对近现代数学史和数学文化思想与各个领域的关系有了一个整体的学习.在我看来,数学已经不再仅仅只是一个学科,一种工具,而是一种思想,只要掌握了这些思想就可以将它运用在许许多多地方.数学是一门创造性学科,一方面它是一种创造性的活动,另一方面他又为自然 ...

  • 来自:荷花小女子 百科大全
  • 荷花医缘馆 发信 关注 1615215 贡献15394 关注5624783 访问 收藏千年知识,不懈,打造一流书馆,繁忙! 2011年03月02日建馆 http://pwrs.360doc.com 秘方  智慧  备考 馆藏 (共16751篇) 馆藏分类思想殿堂(28) 备考资源(54) 名医秘方( ...

  • [原创]整理:世界近代历史事件年表
  • 世界近现代历史事件年表 1487-1488 迪亚士到达好望角(葡) 1492-1493 哥伦布到达美洲(西) 1497-1498 达伽马到达印度(葡) 15世纪晚期 英国开始圈地运动 1517 马丁路德<九十五条论纲> 宗教改革开始 1519-1522 麦哲伦环球航行(西) 1581 尼 ...

  • 小事从思,大事从心--一个厦大历史系研究生的25述怀
  • 当我改完毕业论文的最后一个字时,我清楚的知道,我的厦大之缘在此告一段落了. 七年时间,驻足于尽头感到时光是如此之快,快到怀疑自己是否对得起这个阶段的人生--不论求学还是省己,回味还未殆尽便要奔赴下一个人生现场. 一 作为厦大最后几届被发配漳州校区的学生之一,大一时在下船换车时便有了一种深深的被欺骗感 ...

  • 高考前十天如何复习
  • 本文由wgwe489489贡献 doc文档可能在WAP端浏览体验不佳.建议您优先选择TXT,或下载源文件到本机查看. 高考前十天, 高考前十天,还能怎么复习 http://www.sina.com.cn 2006 年 05 月 29 日 01:29 海峡都市报 N本报记者 叶琦 宋晖 高考进入 10 ...

  • 为什么要读书
  • 受某友之托,分享一下自己参加公务员考试的心得,希望能对大家有所帮助.如果各位对于应考还有什么疑问,请在留言中提出,我将尽己所能解答. 2010年12月参加国考,职位外交部英语,行测72.5,笔试总分125.7,北外第一. 2011年4月参加北京市公务员考试,职位东城区安定门街道办城市综合管理办公室, ...

  • 从"天宫一号"的高度解读 "中国模式"
  • 从"天宫一号"的高度解读 "中国模式" 这些年,围绕"中国模式"的争论不绝于耳.在中华人民共和国成立62周年之际,我谈一下对"中国模式"的感受与理解,希望有助年轻读者认清"中国模式"与国家.政党.世界 ...