数学建模社区-数学中国

标题: 发现罗素悖论错误 [打印本页]
作者: 林正峰    时间: 2014-7-31 23:36
标题: 发现罗素悖论错误
本帖最后由 林正峰 于 2014-8-7 00:00 编辑 ( W( w# G( o! M- N' M$ @: T
' ~% ]" K; a/ v# k% {2 E9 K
发现罗素悖论错误
. u7 K' V6 L, H林正峰
, t8 n; H% B5 l( ~    R（另有｛R｝等）恒定不是R的元素！不能作R的元素！R恒定不是R的元素：这由定义定成的！（同样定义定成了R是｛R｝的元素：｛R｝不是R的元素——也恒定！） 恒定不是R的元素作了R的元素：这成了不是元素又是元素！！！  0 z) n! @. X0 W& _6 n
作者: 方程equation    时间: 2014-8-1 08:32
http://zh.wikipedia.org/wiki/%E6 ... 6%E5%90%88%E8%AE%BA
3 W4 h' H. |# x* G+ X见本维基中《类型论TST》一节
作者: 林正峰    时间: 2014-8-31 23:13
本帖最后由 林正峰 于 2014-8-31 23:41 编辑 2 E* q! ]& W# F0 w. o

3 \% B0 ^( X4 Z 《发现罗素悖论错误》 100%.jpg 7 u! ^% ~# [" d* j* ^3 Y" J# q1 Q, w
作者: 林正峰    时间: 2014-9-30 23:51
本帖最后由 林正峰 于 2014-10-1 07:42 编辑
/ X7 f, W" M; N- H1 Q7 y6 B" h
    为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖001）。  
作者: 林正峰    时间: 2014-10-31 22:55
    为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖002）。  / t# y# b" B9 }# s6 `* C4 F0 K/ n
作者: enqi999    时间: 2014-12-24 11:22
厉害，学习了。
& ]9 c9 r1 |) w  O; e# H0 x2 t' C
作者: enqi999    时间: 2014-12-26 11:04
学习了，看看- }( V" s) t* b/ q
作者: 林正峰    时间: 2014-12-31 21:24
    为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖003）。  
$ L5 ?+ W5 n7 Q! P7 f) t
作者: 林正峰    时间: 2015-6-29 18:37
    为人类尽责：《发现罗素悖论错误》已经完成， 今天顶帖子（顶帖004）。  0 P: O  i' W" Q# M




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