数学建模社区-数学中国

标题: 发现罗素悖论错误 [打印本页]
作者: 林正峰    时间: 2014-7-31 23:36
标题: 发现罗素悖论错误
本帖最后由 林正峰 于 2014-8-7 00:00 编辑
3 y1 x& c3 w* q6 `+ h- O3 d/ T# W7 A
发现罗素悖论错误
7 H8 P; t4 d# C6 z4 S; G6 O林正峰
( O2 o0 R  w' b1 c0 f2 `3 H6 x1 a0 p6 H    R（另有｛R｝等）恒定不是R的元素！不能作R的元素！R恒定不是R的元素：这由定义定成的！（同样定义定成了R是｛R｝的元素：｛R｝不是R的元素——也恒定！） 恒定不是R的元素作了R的元素：这成了不是元素又是元素！！！    X0 e+ j, S8 E/ |
作者: 方程equation    时间: 2014-8-1 08:32
http://zh.wikipedia.org/wiki/%E6 ... 6%E5%90%88%E8%AE%BA$ P/ X$ [) P; D5 I) }4 D
见本维基中《类型论TST》一节
作者: 林正峰    时间: 2014-8-31 23:13
本帖最后由 林正峰 于 2014-8-31 23:41 编辑 * q8 D- j6 O- v
2 k4 M- c6 i1 f* ^. K7 T# |
《发现罗素悖论错误》 100%.jpg
2 O1 ?/ K8 G# O' ?0 x- @" s# L/ s% n
作者: 林正峰    时间: 2014-9-30 23:51
本帖最后由 林正峰 于 2014-10-1 07:42 编辑 ) b5 ?7 X, }+ T. U9 E8 x# H
  N& {! A( H& X% Z. ]
    为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖001）。  
作者: 林正峰    时间: 2014-10-31 22:55
    为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖002）。  9 x0 K. P& o8 n8 c, k- a8 i$ v
作者: enqi999    时间: 2014-12-24 11:22
厉害，学习了。
$ ]4 a% a: m! D' s, x3 K3 d2 m9 g
作者: enqi999    时间: 2014-12-26 11:04
学习了，看看
" E" h% R0 v& |; f# |
作者: 林正峰    时间: 2014-12-31 21:24
    为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖003）。  0 }# @9 q2 R. L
作者: 林正峰    时间: 2015-6-29 18:37
    为人类尽责：《发现罗素悖论错误》已经完成， 今天顶帖子（顶帖004）。  1 @% g' K+ W/ {2 W4 H" m4 W




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