QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 6331|回复: 6
打印 上一主题 下一主题

错用罗素悖论----康托在集合论中的两个逻辑性错误

[复制链接]
字体大小: 正常 放大

2

主题

3

听众

27

积分

升级  23.16%

该用户从未签到

新人进步奖

跳转到指定楼层
1#
发表于 2008-12-23 17:20 |只看该作者 |正序浏览
|招呼Ta 关注Ta
28卷第3# O1 ?+ a  O4 Q! H3 l. i; j9 H
& O7 U/ B4 e: y: b, K0 `
6 d; t- U9 K) v+ b
数学理论与应用- k" W( r! v9 f3 H2 C# ^, a

6 t4 l/ W1 z; B3 [' `! C+ Z8 h; x- A% A* I9 [% d3 e0 u
6 \" [! a7 O1 e

1 ~# _) ~2 z0 y, {, SVol. 28
. ?7 C5 U5 ?# S' n2 bNo.3

6 L4 c8 O, [$ p: j1 w4 [6 ?20089  z) a) y: y9 B6 S7 L- Y

' u4 m, e7 y$ X9 ^1 F, J( n1 N3 Q; I& S" V0 v* ]% _  t
MATHEMATICAL THEORY AND APPLICATIONS
% f! Q8 [/ [5 |6 E
* z0 K3 s. U% g! ?% J9 a5 K% X. ~5 }  Y: g0 k

/ b9 N7 G, _1 R3 p/ tSep. 2008

. d3 {% u! Y, J- X7 e6 w+ ^$ b7 O; R8 W9 m
错用罗素悖论----康托在集合论中的两个逻辑性错误

$ W5 |1 q# E  u( q欧阳耿/ i( m5 r0 v( [, r* R( V. B
(漳州师范学院数学系,福建漳州,363000
摘要: 分析了罗素悖论与康托的实数集合不可数证明及康托定理 证明之间的本质性联系, 发现康托的这两个非构造性证明与罗素悖论有完全相同的思路, 但是康托犯了两个逻辑性错误而使他误用了这个悖论思路。得到明确的结论:康托在集合论中如上两个证明里的核心部分实际上是罗素悖论的翻版, 这两个证明中的思路与做法是错误的,这样的证明结果没有科学性。- c" N. e% z7 A0 k6 d1 ?: x4 |
关键词:康托定理 实数集合不可数性  罗素悖论  无穷理论体系 4 a2 Q0 |1 ^# @0 E5 j% @9 V8 W  B
部分 全体 认识论  逻辑
: W: ^" `( O0 Q8 ~9 ^2 q! B
# n% B. z0 i) g
7 t7 P* D0 H6 d: `; s' j3 X

% j0 D6 L+ |4 a) _
1
0 J& F2 k6 d: g& P. G: r
-----------------------------------1 j* {' l. @: ?7 _1 R5 h. s  L% ]
蔡海涛  教授推荐
$ D* z4 Q/ z7 _4 `. d& A* f收稿日期:2008220
& F9 s7 b3 q+ d2 e% z2 ^用罗素悖论----康托在集合论中的两个逻辑性错误  Q" `( e6 o4 g" P! R

1 b6 O7 I6 u( Y, H45
9 t) B& @8 m4 {

* d" d: c" D0 i- B  z$ Y+ H/ S% X
6 G1 ^) Q7 r  U! J! }: V, ] ; p& C& W/ o! U+ ]
2. [* B1 i6 |* l8 w' p8 {% s
对角线方法与康托的重要证明
  ) O% v9 J1 z+ i8 N% G! w
2.1! F& b+ n$ Q/ G) G8 O* R
关于实数集合不可数的证明
8 V% y/ [, A( o. a1 I

6 A! O+ x' O7 c5 v5 r
% e1 N0 h2 X2 `+ h# B: W5 i  V5 @.......
. Q3 J, p; _* S8 ]1 y/ X/ W' U2.2
4 {/ s, F" q/ O/ b8 X' E关于康托定理
的证明
# Q5 `4 L. l5 C! }' j! b
33 R4 ~8 l! Z) I7 w- I: `
对角线方法与罗素悖论
7 n2 E. \; ]. b; r3 q
* m6 _+ ^0 \/ s& q7 F8 p. M
4
' t5 C/ j3 F% U4 T% U0 e
康托重要证明与罗素悖论之间的本质联系

6 [3 p$ H5 w  [5 Z/ Q  H% D  Z3 v

( a3 _  }0 H" ?( R6 t$ L( n$ G! O# p3 ~( G

错用罗素悖论----康托在集合论中的两个逻辑性错误.doc

145.5 KB, 下载次数: 23, 下载积分: 体力 -2 点

zan
转播转播0 分享淘帖0 分享分享1 收藏收藏0 支持支持0 反对反对0 微信微信

1

主题

9

听众

297

积分

升级  98.5%

  • TA的每日心情
    开心
    2024-9-1 01:07
  • 签到天数: 34 天

    [LV.5]常住居民I

    群组数学建模培训课堂2

    回复

    使用道具 举报

    e271828        

    5

    主题

    5

    听众

    46

    积分

    升级  43.16%

    该用户从未签到

                               集合论悖论的解决V7.0: t( g$ ?) L% g' U  J
                李均宇(李林星)   2010.12.22  email:myvbvc@tom.com  QQ:165442523
    / U7 ?5 ~. m% o( K9 k* v% h    虽然我知道公理集合论是为了解决罗素悖论而产生的,但我认为公理集合论是在走弯路,甚至是误入岐路了.如果不包含下列的理论,我认为<<集合论>>是不完整的.- e& _6 U/ T7 m- G; i
        广义连续统假设:无限集合的基数必是X0,X1,...Xn...之一." Z7 ]4 u0 E& ~" u: `4 G
    其中的基数X就是阿列夫,因为我找不到这个字符,所以用英文字母X表示了.( ^) u6 e- w. X: b) |, j
        无意义公理:一个无限集的基数是limXn(n→∞),则这个集合是没有什么意义的.4 t. C; x7 y2 B( k( J0 V$ `7 X7 `
    这个公理是我引入的,我还没在别处见到过。1 B+ w) G& z' u0 A9 P5 ]
    这个公理是易理解的,它就相当于公理集合论中的真类的概念,但公理集合论引入这个类的概念后就误入岐路了,至少作者是这样认为的。
    8 z% M4 H6 I) l9 l3 t    李均宇第一定理:如果一个集合包含广义连续统假设中全部的基数,则这个集合的基数是limXn(n→∞)
    9 D- r4 V; D5 g) {5 F- w这个定理是显而易见的,用反证法不难证明的。
    $ U+ }9 s3 ]6 y4 |    李均宇第二定理:如果一个无限集合又包含自身的幂集,则这个集合的基数是limXn(n→∞)
    # |# a; |$ o! H. _5 @证明:设无限集合A的基数是Xn,n是固定不变的.因为无限集合A又包含自身的所有子集或幂集,而幂集的基数是 X(n+1)=2^Xn,所以无限集合A的势变成X(n+1),这与原先假设无限集合A的基   
    / V" d0 n  @: ?) h* [2 ]
    ; l8 k- a' H- Y. }) j9 I数是Xn,n是固定不变的相矛盾,所以无限集合A的基数是limXn(n→∞).0 }  ^5 J+ p; X$ f. l6 I
        李均宇第三定理: 如果一个集合包含一个无穷集的所有幂集,则这个集合的基数是limXn(n→∞)
    2 ?% i. p1 ~  \所有幂集,假设无穷集A,则其幂集P(A),幂集的幂集P(P(A)),幂集的幂集的幂集P(P(P(A))),...Pn(A).....称为其所有幂集。
    2 n9 C* Z3 ~- M2 g因为一个无穷集的所有幂集的基数就是广义连续统假设中全部的基数,所以由李均宇第一定理知此定理成立。
    - y7 T2 P& v) f9 C7 g2 C+ V    李均宇第四定理: 与幂集等势的集合,也就是基数与幂集一样的集合,也相当于幂集一样适用于李均宇第二和第三定理中。6 `( U2 c9 r% b, I, N
    一。基数悖论
    - I. t6 a5 h' M0 H4 s0 p; o    定理1:所有集合的集合的基数是limXn(n→∞).- v# l4 l, g  C) y' X
    这个显而易见,这在<<集合论>>中早已有之,这里重述而已。因为所有集合的集合包含自身幂集,由李均宇第二定理知其基数是limXn(n→∞).所以这种集合在公理集合论中称为真类。
    & |" s# W9 Z: D9 N. a4 P二。罗素悖论) w) K1 z( r1 I8 W
        李均宇第五定理:任何一个不包含自身的集合的任一子集或幂集也是不包含自身的集合.0 t5 ?9 ]1 X2 q" j
        证明:用反证法.假设任何一个不包含自身的集合为集合A,假设集合A的任一子集B是包含自身的集合,则子集B中有元素B,元素B是包含自身的集合,而元素B又是集合A的元素,集合A的元素都
    4 A1 S/ I9 p0 O  u' o+ d
    9 [8 @+ q7 o9 D0 I是不包含自身的集合的,所以元素B是不包含自身的集合,矛盾.所子集B是不包含自身的集合.幂集一样可用反证法证明.假设集合A的幂集是集合C,假设集合C是包含自身的集合,则集合C有一个元6 T; v* J& l( M/ d* N& l
    / M1 T  A+ d) D8 W: U* [
    素C,元素C是包含自身的集合,但元素C又是集合A的子集,根据上面已用反证法证明的过程知集合A的子集也是不包含自身的集合,则元素C是不包含自身的集合,矛盾,所以幂集也是不包含自身的7 q5 |* R5 {- o/ V6 T( }

    7 D% }' A& R# |+ \集合.
    # t9 k- q, h/ R8 P  Z$ D) G    这点不难理解的,例如集合{1,2,3}不包含自身,则其所有子集和幂集也是不包含自身的,这很易理解的,只是推广到无限集合中去而已。再如实数集R不包含自身,则R的任一子集和幂集
    ; a3 _  v) V8 }3 W
    0 B' y: ~& q+ P% v$ Z也是不包含自身的。' E9 w' m# k* r7 ^% U
        定理2:所有不包含自身的集合的基数也是limXn(n→∞).( M( H  q( E) v, X* V5 d- y
        证明:因为实数集R是不包含自身的集合,由李均宇第五定理所以R的所有幂集也是不包含自身的,也就是R的幂集R1,R的幂集的幂集R2,R的幂集的幂集的幂集R3。。。。全不包含自身% y. A; d: N: S$ f$ k
    8 l2 J+ z1 m! @+ n7 r  f0 P6 P! \
    ,则所有不包含自身的集合必含R的所有幂集,由李均宇第三定理所以其基数也就是limXn(n→∞).( s( x9 P& M3 ?
       所以罗素悖论中的“所有不包含自身的集合”,这个集合的基数就是limXn(n→∞),也就是公理集合论中的真类。
    $ _& s2 F! `( I' s& C三。序数悖论   2 Y, k0 M" N+ d) l4 A
        定理3:任何序数的非空集合都有最小数,从而任何序数的集合在小于等于关系下都是良序集." ~/ j1 J9 \" D9 w; x5 }
    定理3是<<集合论>>已有的定理,所以这里无须证明.
      G4 n+ l, r0 c    李均宇第六定理:任何序数的集合的幂集也是序数.
    + Q/ E& B' x, g7 ]8 h9 |    证明:因为任何序数的集合的子集也是序数的集合,所以由定理3知其子集也是良序数,所以子集也是一个序数,则所有子集组成的幂集也就是序数的集合,由定理3知此幂集也是良序集,所以此) h5 y) V& \: V
    . g% |$ g* S6 q: Y0 m) y
    幂集也是一个序数.  P1 n& R9 z1 O. _3 j9 m4 L
        定理4:所有序数的集合的基数也是limXn(n→∞).2 I: k/ }1 Q1 s: p2 h3 }
        证明:设所有序数的集合为集合A,由李均宇第六定理知此集合A的幂集也是序数,所以也应包含在集合A中,则集合A包含自身的幂集,由李均宇第二定理知此集合的基数是limXn(n→∞).
    8 I* Q1 d& {- Z- h
    ' f; R) R+ I; b+ |& U    基数悖论的问题在于"所有集合的集合",序数悖论的问题在于"所有序数的集合",罗素悖论的问题在于"所有不包含自身的集合组成的集合".因为根据上面证明,这三个集合的基数都是limXn(n
    $ @6 m+ f) s# x/ n2 b& J8 {" u, b1 E7 d: c* u) a/ d# g
    →∞).则这三个集合是没有什么意义的,所以集合论悖论没有动摇现有科学的基础.
      c: }) r% a* h% m" k. r    作者认为公理集合论引进了类的概念是正确的,但随后是把简单的问题复杂化,作者把集合论悖论的解决用最简单的语言讲明白出来,抛弃了公理集合论这个科学上的怪胎,意义是十分重大5 f7 E7 T+ [& A% N
    5 x* d" m4 a3 @2 i
    的。, _- B$ P$ ?/ s* C! q' `0 u. f
    四。下面深入讨论下的一些集合的性质2 H8 ^7 e/ E1 W" A% {' w( ^
        命题一:所有不包含自身幂集的集合是真类吗?是的。
    5 t5 s% T; F+ I6 ?- J& m/ F因为实数集R的所有幂集都是不包含自身幂集的集合。所以所有不包含自身幂集的集合必包含实数集R的所有幂集,由李均宇第三定理知其为真类。为什么实数集R的所有幂集都是不包含自身
    # N- {. _) ?+ D+ E+ \& n& B7 T6 L& |$ [$ }& _8 I( L+ U% c# O; q  Z
    幂集的集合呢,因为假设其任一幂集Rn包含自身幂集,则由李均宇第二定理知其为真类,这与Rn有固定Xn矛盾的。
    6 \( ~2 Y; W0 B1 T   命题二:所有不包含1的集合是真类吗?是的。
    2 D; ^" ~/ R2 C% s$ N% Q因为不包含1的集合的幂集也是不包含1的,这用反证法不难证明,因为它根本没有元素1了,所以其幂集也不可能包含有元素1.则其所有幂集也不包含元素1,假设实数集R去掉1后为数集r,
    7 M9 S- P3 T# K. T9 g' Z
    6 q. ~6 @8 U5 a6 \' g3 p+ v则r的所有幂集r1,r2,...rn,...也不包含元素1,由李均宇第三定理知其为真类。
    6 e, {" y$ L. }* V   命题三:所有包含1的集合是真类吗?是的。) w# D3 i5 N  B, C
    因为实数集R的幂集必包含元素{1},将括号去掉后就是元素1,去掉括号后的幂集与原幂集一一对应,仅仅{1}变成1,所以去掉括号后的幂集与原幂集等势,也就是相同基数,同理,实数集R5 M- Q9 f* M+ K6 k4 J0 i& p
      @+ d; S  G) E  Z0 s$ z9 `
    的所有幂集都有等势幂集包含元素1,由李均宇第四定理和第三定理知其为真类。3 H# S; X1 _: L( W; x
       那么所有不包含1的集合就真的无意义了吗?不是的。这就是全集的问题。如果全集是某个有固定基数Xn的集合,在这个全集内的所有子集中再讨论所有不包含1的集合,这就有意义了,
    , j/ U  R3 R. \0 V$ Q, ]: c/ {9 T
      J5 @. B- ~- c4 h不是真类了。如果全集是真类所有集合的集合,基数是limXn(n→∞),那么才会可能是真类的。也就是说,任何将“所有集合的集合”划分为有限个子集的集合,都必定有一个子集是真类。再2 A% O. H* x- d& o2 R- I) `( [

    , l, L. _  Y5 x; x7 j论罗素悖论中的“所有不包含自身的集合”,也是因为它的全集是所有集合的集合,才会无意义的,如果是某个集合内的“所有不包含自身的集合”,则有意义矣。
    $ c* e, P7 `" U/ G
    回复

    使用道具 举报

    e271828        

    5

    主题

    5

    听众

    46

    积分

    升级  43.16%

    该用户从未签到

                               集合论悖论的解决V6.0: l% V6 b/ r6 ?% ~3 Y. e
                李均宇(李林星)   2008.1.19  email:myvbvc@tom.com  QQ:165442523, W; U6 R- |4 e6 r2 y
        虽然我知道公理集合论是为了解决罗素悖论而产生的,但我认为公理集合论是在走弯路,甚至是误入岐路了.如果不包含下列的理论,我认为<<集合论>>是不完整的.) `& K" q+ g  {; ~3 C1 ~9 O
        让我们首先讨论无限集合的势开始.* N8 Z7 g9 `+ I$ a( E
        定义1:自然数集,整数集,有理数集的势叫X0.
      P% Z- e+ c# X    定义2:实数集,直线中点集,平面中点集,立体空间中点集的势叫X1.8 I3 V9 X( S7 Y* N. D4 j# Q
        广义连续统假设:无限集合的势必是X0,X1,...Xn...之一.
    # b- u7 M  V4 j& o/ c  W    其中的X就是阿列夫,因为我找不到这个字符,所以用英文字母X表示了.
    5 {6 M' r+ W. O    李均宇定理:如果一个无限集合又包含自身的所有子集或幂集,则这个集合的势是limXn(n→∞),或者说,一个无限集合不可以再包含自身的所有子集或幂集.% |+ Q! t# W: u7 W7 h& A
        证明:设无限集合A的势是Xn,n是固定不变的.因为无限集合A又包含自身的所有子集或幂集,而幂集的势是 X(n+1)=2^Xn,所以无限集合A的势变成X(n+1),这与原先假设无限集合A的势是Xn,n是固定不变的相矛盾,所以无限集合A的势是limXn(n→∞).) Y% G7 D$ U, O
        推论一:所有集合的集合的势是limXn(n→∞)./ \. ]+ c. f3 y; M' ^. X
        证明:假设所有集合的集合为集合A,集合A的所有子集或幂集也是集合,所以也应包含在其中,所以集合A就是包含自身所有子集或幂集的集合,根据李均宇定理知其势是limXn(n→∞).! a9 R2 h# g$ g; \4 r- M
        定理1:任何序数的非空集合都有最小数,从而任何序数的集合在小于等于关系下都是良序集.4 T: @1 ]* |3 l
        定理1是<<集合论>>已有的定理,所以这里无须证明.' ~; I+ Y. \! D4 O6 m: I# A" Q- \
        李均宇第二定理:任何序数的集合的幂集也是序数.3 v) l) q( x8 l  H$ {3 m4 l2 `5 x
        证明:因为任何序数的集合的子集也是序数的集合,所以由定理1知其子集也是良序数,所以子集也是一个序数,则所有子集组成的幂集也就是序数的集合,由定理1知此幂集也是良序集,所以此幂集也是一个序数.- P) o0 c9 i; B) z5 q4 S1 n* h  [0 ~
        推论二:所有序数的集合的势也是limXn(n→∞).
    6 R0 G- }  j: t- Y5 C4 v    证明:设所有序数的集合为集合A,由李均宇第二定理知此集合A的幂集也是序数,所以也应包含在集合A中,则集合A包含自身的幂集,由李均宇定理知此集合的势是limXn(n→∞).
    ; x* U4 Y8 U% a! }; M! t    李均宇第三定理:任何一个不包含自身的集合的集合的任一子集或幂集也是不包含自身的集合.
    ' h+ L$ \9 F/ @- |& l. o2 C    证明:用反证法.假设任何一个不包含自身的集合的集合为集合A,假设集合A的任一子集B是包含自身的集合,则子集B中有元素B,元素B是包含自身的集合,而元素B又是集合A的元素,集合A的元素都是不包含自身的集合的,所以元素B是不包含自身的集合,矛盾.所子集素B是不包含自身的集合.幂集一样可用反证法证明.假设集合A的幂集是集合C,假设集合C是包含自身的集合,则集合C有一个元素C,元素C是包含自身的集合,但元素C又是集合A的子集,根据上面已用反证法证明的过程知集合A的子集也是不包含自身的集合,则元素C是不包含自身的集合,矛盾,所以幂集也是不包含自身的集合.
    , W* W  j9 G. p) `4 E    推论三:所有不包含自身的集合的集合的势也是limXn(n→∞).
    , t, q4 ^9 Z( U1 E/ d8 |: _    证明:假设所有不包含自身的集合的集合是A,则由李均宇第三定理知集合A的所有子集或幂集也是不包含自身的集合.所以,集合A也应包括自身的所有子集或幂集,根据李均宇定理知其势是limXn(n→∞).
    # d7 I* q- u8 l% `7 T. P; j; O# i$ b' u& P    无意义公理:一个无限集的势是limXn(n→∞),则这个集合是没有什么意义的.% Y  X& ^4 m2 ?" k4 ]
        基数悖论的问题在于"所有集合的集合",序数悖论的问题在于"所有序数的集合",罗素悖论的问题在于"所有不包含自身的集合组成的集合".因为根据上面证明的推论一二三,这三个集合的势都是limXn(n→∞).则这三个集合是没有什么意义的,所以集合论悖论没有动摇现有科学的基础.
    . G! n" p+ C/ ?0 V& l+ k, t    作者认为公理集合论引进了类的概念,是把简单的问题复杂化,作者把集合论悖论的解决用最简单的语言讲明白出来,抛弃了公理集合论这个科学上的怪胎,意义是十分重大的,所以作者是伟大的.
    回复

    使用道具 举报

    souldump        

    0

    主题

    4

    听众

    7

    积分

    升级  2.11%

    该用户从未签到

    新人进步奖

    回复

    使用道具 举报

    0

    主题

    4

    听众

    6

    积分

    升级  1.05%

    该用户从未签到

    新人进步奖

    回复

    使用道具 举报

    470569544 实名认证       

    14

    主题

    4

    听众

    1185

    积分

    升级  18.5%

  • TA的每日心情
    慵懒
    2016-11-7 23:17
  • 签到天数: 8 天

    [LV.3]偶尔看看II

    新人进步奖

    群组LINGO

    群组数学建模

    群组数学趣味、游戏、IQ等

    回复

    使用道具 举报

    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2026-6-3 07:57 , Processed in 0.493467 second(s), 90 queries .

    回顶部