关于数学基础的研究现状

这个课题,国内研究不多,特别是对于现代数学基础的研究更为少见。

1900年元旦,希尔伯特在巴黎召开的世界数学家代表大会上提出23个数学问题,其中第一个就是关于连续统假设(CH)的问题。

此问题立即引起德国“小毛头”Zermelo(1871 - 1953)的兴趣,一头钻进去了。

在18世纪70年代,德国数学家康托尔创立了朴素集合论,引发很大争议。部分大数学家对于康托尔提出的集合论很不习惯,不予承认。所谓“连续统”假设(CH),直观地说就是:在有理数集合与实数集合之间,不存在“中间”大小的集合了。康托尔的这个断言究竟对与不对,在那时,世界上没有人知道。

“小毛头”Zermelo独具慧眼,想用公理化的方法重新建立康托尔的朴素集合论,从而问鼎连续统假设问题。Zermelo苦心钻研8年之久,终于在1908年发表了第一个集合论的公理化系统,后来该系统又被Frannkel进一步完善。从1922年起,人们称其为集合论的ZF公理系统。至此,公理化的集合理论终于被世界大多数数学家所接受。

值得我们注意的是,ZF公理系统只处理抽象的集合对象。也就是说,集合论只研究集合以及集合的集合,除此之外,什么都不研究了。也就是说,自然数、整数、有理数、实数以及超实数统统都要用集合来定义。函数,当然也要用集合来定义(即函数是所谓“有序数偶”)。

实际情况是,后来,跟随Zermrlo 的足迹,围绕ZF公理系统的独立性、一致性,数学家奋勇向前,撸起袖子大干了起来。这就是现代数学基础研究的现状。

袁萌  10月13日

关于数学基础的研究现状相关推荐

  1. 机器学习在生物信息(如DNA比对等方面)的研究现状是怎样的?

    机器学习在生物信息(如DNA比对等方面)的研究现状是怎样的? 计算机研一小白一枚,实验室整体做的方向是机器学习,老板分给我的方向是机器学习在生物信息领域的应用.这方面我搜了些论文,但基本都是比较偏生物 ...

  2. 深度信念网络研究现状与展望

    来源:专知 摘要: 深度信念网络(Deep belief network, DBN)是一种基于深度学习的生成模型, 克服了传统梯度类学习算法在处理深层结构所面临的梯度消失问题, 近几年来已成为深度学习 ...

  3. 量子信息技术研究现状与未来——郭光灿

    来源: 中国科学杂志社 量子信息技术是量子力学与信息科学融合的新兴交叉学科, 它的诞生标志着人类社会将从经典技术迈进到量子技术的新时代, 本文将阐述量子信息技术的研究现状与未来. 文中描绘了量子技术发 ...

  4. 量子信息技术研究现状与未来

    来源:专知 量子信息技术是量子力学与信息科学融合的新兴交叉学科, 它的诞生标志着人类社会将从经 典技术迈进到量子技术的新时代, 本文将阐述量子信息技术的研究现状与未来. 文中描绘了量子技术 发展远景, ...

  5. 量子计算技术的研究现状与趋势

    来源:<中国科学> 2020年 第50卷   第9期 作者:郭光灿 导读:1900年 Max Planck 提出"量子"概念,宣告了"量子"时代的诞 ...

  6. 深度 | 量子计算技术的研究现状与未来

    来源:本源量子 导读 1900年 Max Planck 提出"量子"概念,宣告了"量子"时代的诞生.科学家发现,微观粒子有着与宏观世界的物理客体完全不同的特性. ...

  7. 《中国人工智能学会通讯》——4.14 相关研究现状

    4.14 相关研究现状 鉴于卷积神经网络在应用中表现出的优异性能,近年来很多研究工作都着力于挖掘这一种多层次模型的巨大潜能,尤其是对那些应用于大数据集图像分类的网络模型[2] .而这些改进的 CNN ...

  8. 《敏捷制造——敏捷集成基础结构设计》——1.2相关问题的国内外研究现状

    本节书摘来异步社区<敏捷制造--敏捷集成基础结构设计>一书中的第1章,第1.2节,作者:苏金泷,更多章节内容可以访问云栖社区"异步社区"公众号查看 1.2相关问题的国内 ...

  9. 图像检测技术的研究现状

    图像检测技术的研究现状 技术检测 图像处理知识库 · 2016-01-08 19:59 图像检测技术的研究现状 所谓图像检测,就是通过图像对感兴趣的特征区域(检测目标)进行提取的过程,其中图像是承载检 ...

最新文章

  1. OpenCV copyTo() 函数实现图片交集
  2. 他们隔空协作,打造出懂医学、知开源的智能机器人
  3. 以太坊go-ethereum项目源码本地环境搭建
  4. BZOJ5286:[HNOI/AHOI2018]转盘——题解
  5. 小程序与云服务器api接口,小程序云函数调用http api进行对云数据库的操作
  6. 修改ubuntu系统默认语言(linux中文乱码)
  7. 06 / LiveVideoStack主编观察:六岁的Frame.io被收购
  8. C语言控制流对应的汇编语句
  9. JeeSite 4.0 (1.0)开发环境部署运行
  10. LightGBM——提升机器算法(图解+理论+安装方法+python代码)
  11. javascript 判断string是否包含某个字符串
  12. java的字符串池_翻译-Java字符串池
  13. 矩阵分解之奇异值分解
  14. Unity拓展编辑器 一键导出图集工具
  15. 1024,今天给大家发100个现金红包和思否课程、掘金小册
  16. php的cmf框架哪个比较好,不要用这个CMF ThinkCMF内容管理框架,做最简约的ThinkPHP开源软件...
  17. java 转pem_将Java密钥库转换为PEM格式
  18. Power BI介绍
  19. 北语计算机基础知识作业1,【图】- 北京语言大学20秋《计算机基础》作业1 - 昆山经济开发区其他教育培训 - 昆山百姓网...
  20. LinkedList(链表)模仿先进先出或者先进后出

热门文章

  1. [IMX6Q][Android5.1]移植笔记 --- Kernel启动无法挂载文件系统
  2. D. Pythagorean Triples (math、暴力)
  3. AR体感游戏,体感互动游戏,AR大屏互动
  4. 最新超详细VMware虚拟机下载与安装(一篇足以带你上高速,附钥)
  5. 长盛兴业入股宝沃背后:为神州优车相关方 王百因是陆正耀同学
  6. un1que成员介绍
  7. 如何缓解百度网盘限速问题
  8. 10度角的三角函数计算(续)
  9. unity粒子系统碰撞
  10. 《茅屋为秋风所破歌》古诗鉴赏