数学建模社区-数学中国
标题:
发现罗素悖论错误
[打印本页]
作者:
林正峰
时间:
2014-7-31 23:36
标题:
发现罗素悖论错误
本帖最后由 林正峰 于 2014-8-7 00:00 编辑
4 `, t4 l% [& [: f$ P# k
& E3 m* M, L' t
发现罗素悖论错误
0 W! N% p- \" h' e
林正峰
6 v. O/ q( N* \1 _
R（另有｛R｝等）恒定不是R的元素！不能作R的元素！R恒定不是R的元素：这由定义定成的！（同样定义定成了R是｛R｝的元素：｛R｝不是R的元素——也恒定！） 恒定不是R的元素作了R的元素：这成了不是元素又是元素！！！
8 K, ^4 S/ Z; S9 I$ `
作者:
方程equation
时间:
2014-8-1 08:32
http://zh.wikipedia.org/wiki/%E6 ... 6%E5%90%88%E8%AE%BA
- q+ M) b% Q# `1 H' G- [
见本维基中《类型论TST》一节
作者:
林正峰
时间:
2014-8-31 23:13
本帖最后由 林正峰 于 2014-8-31 23:41 编辑
, w" ?2 p% e' F/ }) g; s& R
& v# J( f" j F0 u/ s' D
2014-8-31 23:39 上传
下载附件
(92.48 KB)
& u9 Q z7 A: \: f
作者:
林正峰
时间:
2014-9-30 23:51
本帖最后由 林正峰 于 2014-10-1 07:42 编辑
8 W, m" C9 l' s4 K
. M* `; I8 L5 S4 e$ H. i+ A2 Q
为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖001）。
作者:
林正峰
时间:
2014-10-31 22:55
为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖002）。
0 C7 l1 g, Y& R) t" M
作者:
enqi999
时间:
2014-12-24 11:22
厉害，学习了。
( ^0 b' K" x$ U. D! @6 p* R, r/ a: J1 A9 O
作者:
enqi999
时间:
2014-12-26 11:04
学习了，看看
8 R! ^' a" H' H$ ~
作者:
林正峰
时间:
2014-12-31 21:24
为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖003）。
- T! i8 `* U. N6 ]2 P7 r$ L% b, S
作者:
林正峰
时间:
2015-6-29 18:37
为人类尽责：《发现罗素悖论错误》已经完成， 今天顶帖子（顶帖004）。
$ ~; t5 e1 H8 {; E4 _/ L# u+ G
欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)
Powered by Discuz! X2.5
