zz:希尔伯特23个数学问题及其解决情况 - Mathematics版

本页内容为未名空间相应帖子的节选和存档，一周内的贴子最多显示50字，超过一周显示500字访问原贴

Mathematics版 - zz:希尔伯特23个数学问题及其解决情况

相关主题
● 怎么样证明一个SET可数那么他的平方跟组成的数列也可数呢	● 关于反证法的思路
● 分形的艺术-4	● 李文林 : 希尔伯特
● Re: 谁能介绍一下哥德尔德不完备性定理马？	● 夜深人静，谁能科普下老丘这段话是什么意思？
● 不知道这个哥德尔定理是不是否定了圣经的神圣性。。。	● 百字推翻五千年数学“常识”：无最小正数
● 我想问一下, 同时承认 "自然数" 和 "实数" 的公理体系, 会不会一定有矛盾?	● 重大误解：百年极限论使2500年芝诺悖论迎刃而解
● 庆祝中国人又啃下一个数学难题 (转载)	● unidentified_title
● Re: 想了解一下关于现代几何的分类	● 问个小问题，一个名词
● 讨论两个悖论	● 关于自由群的几个问题

相关话题的讨论汇总
话题: 公理话题: 矛盾性话题: 证明话题: zf话题: 基数

进入Mathematics版参与讨论

(共1页)

s*******o
发帖数: 9

发信人: 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页)

进入Mathematics版参与讨论

相关主题
● 关于自由群的几个问题	● 我想问一下, 同时承认 "自然数" 和 "实数" 的公理体系, 会不会一定有矛盾?
● 几何不等式	● 庆祝中国人又啃下一个数学难题 (转载)
● 请教一个问题	● Re: 想了解一下关于现代几何的分类
● 请教：algebra VS. sigma algebra	● 讨论两个悖论
● 怎么样证明一个SET可数那么他的平方跟组成的数列也可数呢	● 关于反证法的思路
● 分形的艺术-4	● 李文林 : 希尔伯特
● Re: 谁能介绍一下哥德尔德不完备性定理马？	● 夜深人静，谁能科普下老丘这段话是什么意思？
● 不知道这个哥德尔定理是不是否定了圣经的神圣性。。。	● 百字推翻五千年数学“常识”：无最小正数

相关话题的讨论汇总
话题: 公理话题: 矛盾性话题: 证明话题: zf话题: 基数

#	版面	帖数(主题数)
-	全站	4871 (796)
1	Military	3777 (569)
2	Stock	341 (51)
3	Joke	117 (17)
4	History	116 (3)
5	Automobile	100 (9)
6	USANews	55 (9)
7	Midlife	45 (1)
8	Headline	41 (41)
9	Dreamer	33 (13)
10	FleaMarket	32 (20)
11	Living	30 (7)

boards

未名新帖统计// 7月16日

历史上的今天