席南华:基础数学的一些过去和现状
2024年7月3日 - 新浪财经
1874年,康托尔提出有名的连续统假设:实数集合的任何无穷子集要么与实数集合等势,要么与自然数集合等势。1940年哥德尔证明了这个假设与现有的公理体系不矛盾。20世纪60年代,科恩建立了强有力的力迫法,证明了连续统假设之否与现有的公理体系不矛盾,他因为这项工作获得1966年的菲尔兹奖。现代数学是建立在集合论上...
详情
理解黎曼猜想——从自然数到复数,最重要的数论难题
2022年10月20日 - 网易
黎曼猜想起源于素数的分布问题。大约公元前350年,欧几里得证明了每一个大于1的计数数要么是素数,要么具有唯一的素数分解。这称为算术基本定理。掌握了某个整数的唯一素数分解就能知道这个整数的许多数学性质。那么“黎曼假设”又是什么呢?猜想的诞生黎曼于1826年9月出生于汉诺威王国(现属德国)的布雷斯伦茨(Breslen...
详情
你认真了解算术吗?—算术的前世今生
2019年9月22日 - 网易
算术是数学的分支,或者说是数学的最初形式,它起源于人类早期的生产活动,产生于商业上计算的需要、了解数字间的关系、测量土地及预测天文事件。01中西古籍话算术“算术”这个词,在我国古代是全部数学的统称。至于几何、代数等许多数学分支学科的名称都是后来很晚的时候才有的。举例来说,两千多年前,我国有一部十分...
详情