数学建模社区-数学中国

标题: 发现罗素悖论错误 [打印本页]
作者: 林正峰    时间: 2014-7-31 23:36
标题: 发现罗素悖论错误
本帖最后由 林正峰 于 2014-8-7 00:00 编辑 6 Y) g# g/ ~5 }, ~" W8 j2 D

% |/ `) b# Y6 s' o发现罗素悖论错误
, i9 A( R. t. r林正峰
  B/ Q, [- }6 M6 P' F- K, g) D4 F    R（另有｛R｝等）恒定不是R的元素！不能作R的元素！R恒定不是R的元素：这由定义定成的！（同样定义定成了R是｛R｝的元素：｛R｝不是R的元素——也恒定！） 恒定不是R的元素作了R的元素：这成了不是元素又是元素！！！  
+ b/ v" A+ M; |6 o: R
作者: 方程equation    时间: 2014-8-1 08:32
http://zh.wikipedia.org/wiki/%E6 ... 6%E5%90%88%E8%AE%BA
& A( I( [' q3 l8 T. n见本维基中《类型论TST》一节
作者: 林正峰    时间: 2014-8-31 23:13
本帖最后由 林正峰 于 2014-8-31 23:41 编辑 , D3 W5 j3 [& {3 Z
2 k9 x) ?; E: H8 ?
《发现罗素悖论错误》 100%.jpg % p5 w5 i! s# D  y. |' v' m7 k
作者: 林正峰    时间: 2014-9-30 23:51
本帖最后由 林正峰 于 2014-10-1 07:42 编辑 ) Y  y8 Y7 O' ]: s, C

8 Q# S+ ^. A/ m9 k4 R0 A
    为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖001）。  
作者: 林正峰    时间: 2014-10-31 22:55
    为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖002）。  ! P- T, i2 J" P/ `% l! x% s) F$ \0 k
作者: enqi999    时间: 2014-12-24 11:22
厉害，学习了。
: A/ ^7 J9 H) |/ w5 L- U
作者: enqi999    时间: 2014-12-26 11:04
学习了，看看
$ u' e4 ?9 ^& p, A- L
作者: 林正峰    时间: 2014-12-31 21:24
    为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖003）。  4 U1 }6 H6 s3 _1 z1 E( X' A; ~3 _
作者: 林正峰    时间: 2015-6-29 18:37
    为人类尽责：《发现罗素悖论错误》已经完成， 今天顶帖子（顶帖004）。  1 w% V/ Q- f! I$ a5 g2 b, V




欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5