数学建模社区-数学中国
标题:
发现罗素悖论错误
[打印本页]
作者:
林正峰
时间:
2014-7-31 23:36
标题:
发现罗素悖论错误
本帖最后由 林正峰 于 2014-8-7 00:00 编辑
4 d8 _* @5 T, t# j7 C }' x
2 c" r. H' _+ K6 N' N4 N2 r
发现罗素悖论错误
- C+ C6 x4 d; M; Z8 ]6 l
林正峰
+ ^4 y; S# e$ ^, r6 K
R(另有{R}等)恒定不是R的元素!不能作R的元素!R恒定不是R的元素:这由定义定成的!(同样定义定成了R是{R}的元素:{R}不是R的元素——也恒定!) 恒定不是R的元素作了R的元素:这成了不是元素又是元素!!!
7 M0 L c z- o, J9 [9 S' u$ M
作者:
方程equation
时间:
2014-8-1 08:32
http://zh.wikipedia.org/wiki/%E6 ... 6%E5%90%88%E8%AE%BA
# z9 z4 j! S* _) _9 x
见本维基中《类型论TST》一节
作者:
林正峰
时间:
2014-8-31 23:13
本帖最后由 林正峰 于 2014-8-31 23:41 编辑
' x+ m7 h$ T4 l. E: ^
- {: E; y8 x: B; r' v
2014-8-31 23:39 上传
下载附件
(92.48 KB)
& x6 u! e$ M; @7 {' \) ~1 Z
作者:
林正峰
时间:
2014-9-30 23:51
本帖最后由 林正峰 于 2014-10-1 07:42 编辑
' R) s5 _/ `: a' u
# C0 j. l. v8 N& ^7 p/ k2 M
为人类尽责:《发现罗素悖论错误》已经完成,今天顶帖子(顶帖001)。
作者:
林正峰
时间:
2014-10-31 22:55
为人类尽责:《发现罗素悖论错误》已经完成,今天顶帖子(顶帖002)。
) R; M& K' o) [! T
作者:
enqi999
时间:
2014-12-24 11:22
厉害,学习了。
6 w9 R# j% T8 Z+ a& A9 `% W
作者:
enqi999
时间:
2014-12-26 11:04
学习了,看看
% A2 q" A; r, t3 e' d
作者:
林正峰
时间:
2014-12-31 21:24
为人类尽责:《发现罗素悖论错误》已经完成,今天顶帖子(顶帖003)。
0 y4 n: |7 a, ^ g$ L( O
作者:
林正峰
时间:
2015-6-29 18:37
为人类尽责:《发现罗素悖论错误》已经完成, 今天顶帖子(顶帖004)。
( ?$ b7 P* S% C3 N2 J2 j6 o
欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)
Powered by Discuz! X2.5