首页
论坛
未名存档
话题女王
小圈子
马甲追踪
版面排名
流量曲线
水枪排名
发帖量曲线
发帖版面饼图
发帖时间柱图
关于本站
帮助
boards
本页内容为未名空间相应帖子的节选和存档,一周内的贴子最多显示50字,超过一周显示500字
访问原贴
Mathematics版
- zz:希尔伯特23个数学问题及其解决情况
相关主题
●
怎么样证明一个SET可数 那么他的平方跟组成的数列也可数呢
●
分形的艺术-4
●
Re: 谁能介绍一下哥德尔德不完备性定理马?
●
不知道这个哥德尔定理是不是否定了圣经的神圣性。。。
●
我想问一下, 同时承认 "自然数" 和 "实数" 的公理体系, 会不会一定有矛盾?
●
庆祝中国人又啃下一个数学难题 (转载)
●
Re: 想了解一下关于现代几何的分类
●
讨论两个悖论
●
关于反证法的思路
●
李文林 : 希尔伯特
相关话题的讨论汇总
话题: 公理
话题: 矛盾性
话题: 证明
话题: zf
话题: 基数
进入Mathematics版参与讨论
1
(共1页)
s*******o
发帖数: 9
1
发信人: wolong (习惯), 信区: Mathematics
标 题: 希尔伯特23个数学问题及其解决情况
发信站: 北大未名站 (2003年10月05日01:49:45 星期天) , 站内信件
http://www.mathsedu.net/zong/wenhua620.htm
(1)康托的连续统基数问题。
1874年,康托猜测在可数集基数和实数集基数之间没有别的基数,即著名的连续统假设。
1938年,侨居美国的奥地利数理逻辑学家哥德尔证明连续统假设与ZF集合论公理系统的无
矛盾性。1963年,美国数学家科思(P.Choen)证明连续统假设与ZF公理彼此独立。因而
,连续统假设不能用ZF公理加以证明。在这个意义下,问题已获解决。
(2)算术公理系统的无矛盾性。
欧氏几何的无矛盾性可以归结为算术公理的无矛盾性。希尔伯特曾提出用形式主义计划的
证明论方法加以证明,哥德尔1931年发表不完备性定理作出否定。根茨(G.Gentaen,19
09-1945)1936年使用超限归纳法证明了算术公理系统的无矛盾性。
(3)只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。
问题
1
(共1页)
进入Mathematics版参与讨论
相关主题
●
李文林 : 希尔伯特
●
夜深人静,谁能科普下老丘这段话是什么意思?
●
百字推翻五千年数学“常识”:无最小正数
●
重大误解:百年极限论使2500年芝诺悖论迎刃而解
●
unidentified_title
●
问个小问题,一个名词
●
关于自由群的几个问题
●
几何不等式
●
请教一个问题
●
请教:algebra VS. sigma algebra
相关话题的讨论汇总
话题: 公理
话题: 矛盾性
话题: 证明
话题: zf
话题: 基数