数学建模社区-数学中国
标题:
发现罗素悖论错误
[打印本页]
作者:
林正峰
时间:
2014-7-31 23:36
标题:
发现罗素悖论错误
本帖最后由 林正峰 于 2014-8-7 00:00 编辑
5 Y: S: n( [& ]. E4 |. d
! b x# h/ C8 x1 k
发现罗素悖论错误
1 j/ E: ^# t# N8 s
林正峰
/ P c9 t8 ^) ~: |7 x) P# ^/ t$ y
R(另有{R}等)恒定不是R的元素!不能作R的元素!R恒定不是R的元素:这由定义定成的!(同样定义定成了R是{R}的元素:{R}不是R的元素——也恒定!) 恒定不是R的元素作了R的元素:这成了不是元素又是元素!!!
1 l/ S0 b9 [) a6 W) g" F
作者:
方程equation
时间:
2014-8-1 08:32
http://zh.wikipedia.org/wiki/%E6 ... 6%E5%90%88%E8%AE%BA
& p% F% y3 ]$ u9 ^! t' A9 P, M
见本维基中《类型论TST》一节
作者:
林正峰
时间:
2014-8-31 23:13
本帖最后由 林正峰 于 2014-8-31 23:41 编辑
1 j6 u! p% o4 D
: V) H' n8 h! A/ Y
2014-8-31 23:39 上传
下载附件
(92.48 KB)
0 \# |8 m$ m. t- q
作者:
林正峰
时间:
2014-9-30 23:51
本帖最后由 林正峰 于 2014-10-1 07:42 编辑
. U! w" R6 a5 ?: D
0 B/ S5 V4 S c2 a1 \! O
为人类尽责:《发现罗素悖论错误》已经完成,今天顶帖子(顶帖001)。
作者:
林正峰
时间:
2014-10-31 22:55
为人类尽责:《发现罗素悖论错误》已经完成,今天顶帖子(顶帖002)。
! U; d7 q; o5 j/ B' n1 X
作者:
enqi999
时间:
2014-12-24 11:22
厉害,学习了。
% x9 f& D$ o2 H! I, _
作者:
enqi999
时间:
2014-12-26 11:04
学习了,看看
. f9 r6 W( O. V7 @9 `4 x
作者:
林正峰
时间:
2014-12-31 21:24
为人类尽责:《发现罗素悖论错误》已经完成,今天顶帖子(顶帖003)。
# p- H, ^, i5 }0 B
作者:
林正峰
时间:
2015-6-29 18:37
为人类尽责:《发现罗素悖论错误》已经完成, 今天顶帖子(顶帖004)。
; z0 Z0 c$ E3 p
欢迎光临 数学建模社区-数学中国 (http://www.madio.net/)
Powered by Discuz! X2.5