2015-07-27
收藏
由于alf(0)是无穷基数,阿拉夫是有异于有限运算的神奇运算,因而,以下的结果也不足为怪:
alf(0)+ 1 = alf(0) alf(0) + n = alf(0) alf(0) + alf(0) = alf(0) alf(0) X n = alf(0) alf(0) X alf(0) = alf(0)
alf(0)是自然数集的基数。一个无穷基数,只要是可数集,其基数必为alf(0)。由可排序性,可知如整数集、有理数集的基数为alf(0);或由它们的基数为alf(0),得它们为可数集。而实数集不可数(可由康托粉尘线反证不可数)推之存在比alf(0)更大的基数。乘法运算无法突破alf(0),但幂集可突破:2alf(0) = alf(1) 可以证明实数集的基数card(R) = alf(1)。进而,阿拉夫"家族"一发而不可收:2alf(1) = alf(2); 2alf(2) = alf(3); …… alf(2)究竟有何意义?人们冥思苦想,得出:空间所有曲线的数目。但而后的alf(3),人类绞尽脑汁,至今为能道出眉目来。此外,还有一个令人困惑的连续统之迷:"alf(0)与alf(1)之间是否还存在另一个基数?"
公元1878年,康托提出了这样的猜想:在alf(0)与alf(1)之间不存在其它的基数。但当时康托本人对此无法予以证实。
公元1900年,在巴黎召开的第二次国际数学家会议上,德国哥庭根大学教授希尔伯特提出了举世闻名的23个二十世纪须攻克的数学问题中,连续统假设显赫的排在第一个。然而这个问题的最终结果却是完全出人意料的。
公元1938年,奥地利数学家哥德尔证明了"连续统假设决不会引出矛盾",意味着人类根本不可能找出连续统假设有什么错误。1963年,美国数学家柯亨居然证明了:"连续统假设是独立的",也就是说连续统假设根本不可能被证明。
推荐文章
猜你喜欢
附近的人在看
推荐阅读
拓展阅读
数学视频
更多
相关趣味数学推荐
大家都在看
2012华师大版七上1.2《让我们来做数学》word学案3
2012华师大版七上2.6《有理数的加法》word教案2
2012华师大版七上1.2《让我们来做数学》word教案(2)
2012华师大版七上2.7《有理数的减法》word学案
2012华师大版七上2.5《有理数的大小比较》word学案
2012华师大版七上2.6《有理数的加法》word教案1
2012华师大版七上2.13《有理数的混合运算》word教案1
2012华师大版七上2.11《有理数的乘方》(2个课时)word教案
2012华师大版七上1.2《让我们来做数学》word学案
2012华师大版七上2.8《有理数的加减混合运算》word学案(2)
2012华师大版七上2.13《有理数的混合运算》word教案(2)
2012华师大版七上2.5《有理数的大小比较》word教案
2012华师大版七上2.15《用计算器进行数的简单运算》word教案
2012华师大版七上1.2《让我们来做数学》word教案(1)
2012华师大版七上2.6《有理数的加法》word教案(1)
2012华师大版七上2.14《近似数和有效数字》word教案1
2012华师大版七上2.10《有理数的除法》word教案
2012华师大版七上2.4《绝对值》word教案
2012华师大版七上2.4《绝对值》word教案1
华师大版数学九下《第28章圆》word教案
2012华师大版七上2.6《有理数的加法》word教案4
2012华师大版七上1.2《让我们来做数学》word教案
华师大版数学九下《二次函数》word教案
2012华师大版七上2.8《有理数的加减混合运算》word学案(1)
2012华师大版七上1.1《与数学交朋友》word教案(1)
2012华师大版七上2.14《近似数和有效数字》word教案
2012华师大版七上2.6《有理数的加法》word教案5
2012华师大版七上2.7《有理数的减法》word教案
2012华师大版七上2.11《有理数的乘方》word教案
2012华师大版七上1.2《让我们来做数学》word学案2
| 小学 |
| 初中 |
| 高中 |
| 不限 |
| 一年级 | 二年级 |
| 三年级 | 四年级 |
| 五年级 | 六年级 |
| 初一 | 初二 |
| 初三 | 高一 |
| 高二 | 高三 |
| 小考 | 中考 |
| 高考 |
| 不限 |
| 数学教案 |
| 数学课件 |
| 数学试题 |
| 不限 |
| 人教版 | 苏教版 |
| 北师版 | 冀教版 |
| 西师版 | 浙教版 |
| 青岛版 | 北京版 |
| 华师大版 | 湘教版 |
| 鲁教版 | 苏科版 |
| 沪教版 | 新课标A版 |
| 新课标B版 | 上海教育版 |
| 部编版 |
| 不限 |
| 上册 |
| 下册 |
| 不限 |