对埃米尔·阿廷《伽罗瓦理论》的历史分析

用抽象代数来处理伽罗瓦理论由阿廷完成,他重视线性代数方法,成功绕过本原元素定理而证明了伽罗瓦理论的基本定理。文章在已有研究的基础上,分析了阿廷成功解读伽罗瓦理论的多种因素及其著作《伽罗瓦理论》的背景、结构及定位。在伽罗瓦理论的抽象化历程中,阿廷受到戴德金、希尔伯特、施泰尼茨等人的影响,这说明代数学在19世纪和20世纪发展环境的变化是阿廷《伽罗瓦理论》成功的前提。最后,文章调查了《伽罗瓦理论》对现代伽罗瓦理论专著及代数学教材的影响。     

克劳德·谢瓦莱:布尔巴基巨匠、数学结构代言人

谢瓦莱是法国布尔巴基学派的创始人之一,在代数数论和李群领域的工作对数学有重要贡献,其追求体现结构和严谨抽象的写作风格对布尔巴基学派有深刻影响。20世纪30年代谢瓦莱曾到德国去访学,跟随阿廷、哈塞等数学家学习,德国数学的代数学方法和技巧对他日后数学工作有着深远影响,也影响了布尔巴基学派。通过对谢瓦莱工作的分析可以更好地认识布尔巴基学派,更好地理解和把握代数数论在20世纪上半叶的发展。     

鲁津:苏联早期杰出的数学家

鲁津是苏联20世纪二、三十年代最有影响的数学家之一。他是现代实变函数论的主要奠基人。在他的努力下形成的鲁津学派使苏联跻身于世界数学强国之林。鲁津学派涌现出很多世界级别的数学家。但是,鲁津案使他处于命运的低谷。     

爱因斯坦与数学

爱因斯坦是一位现代物理学大师,他赋予数学以特别崇高的地位,数学家对他的帮助和与数学家的交流成就了他一生事业的顶峰,而他的相对论对数学起了很大的推进作用.影响爱因斯坦的数学思想是多方面的.     

阿兰·图林

图林(Alan Mathison Turing,1912—1954)是英国著名的数学家,也是近代计算机理论的创始人之一。他由于曾提出理想计算机——图林机的理论而享有盛誉。他在1950年发表的《计算机和智力》(其中提出了著名的图林测验)曾在西方世界引起巨大反响,并引起关于机器能否思维的长期、广泛的争论。     

吴文俊--从拓扑学到数学机械化

吴文梭是中国少数几位有国际声誉和重要影响的数学家之一。本文简短地介绍吴文俊不平坦的学术经历，着重论述他在拓扑学及数学机械化的学术成就及影响。     

兰伯特的几何学思想探析

德国数学家兰伯特在《平行线理论》中通过类比球面提出锐角假设在虚半径球面上成立,这一思想成为后来数学家建立和发展非欧几何的关键.兰伯特在对公理和定义的讨论中体现的几何哲学,使得他证明平行公设时回避了困扰前人的几何直观.他在同时期的数学工作中将圆函数和双曲函数类比,反映出其虚半径球面类比思想的来源和应用.     

"贪玩"的数学大师

他是数学界泰斗、是院士、是首届国家最高科技奖获得者,是我国最具国际影响的数学家之一.他在拓扑学领域作出了奠基性贡献,他在机器证明数学定理领域作出先驱性工作.他的研究成果被国际数学界称为"吴公式"、"吴示性类"、"吴示嵌类",至今仍被国际同行广泛引用,影响深远、享誉世界.     

对发展我国数学研究的浅见

数学是我国基础理论科学中相对来说发展得较好的学科之一。解放以来,我国数学家作出了一批在当时或当前国际上领先的重要数学成果,有相当大的一支理论基础坚实、科研能力强、有一定经验和较高水平的中、青年数学家队伍。这是老一辈数学家辛勤培养的结果。     

惠特尼对图论的贡献

惠特尼是20世纪美国最有影响的数学家之一。文章在对原始文献进行分类研究的基础上,论述他在转向拓扑学之前的图论工作:他不仅对可平面图、平面图的哈密顿回路问题、色多项式理论做出了巨大贡献,还使图论产生全新的分支——拟阵论,并在《关于线性相关性的抽象性质》(1935年)中奠定了拟阵论的基本理论。研究表明惠特尼的这些贡献均与求解四色猜想密切相关,他虽未成功解决四色猜想,但由此取得的理论成果对现代图论的发展影响深远。他开展数学研究的基本特征是寻求表象内在的原因,另一个特征是他在图论研究中的拓扑学思维方式,这对图论本身及之后的拓扑学研究都产生重大影响。