数学建模社区-数学中国

标题: 发现罗素悖论错误 [打印本页]
作者: 林正峰    时间: 2014-7-31 23:36
标题: 发现罗素悖论错误
本帖最后由 林正峰 于 2014-8-7 00:00 编辑
' E( I4 n1 b" Q$ J* s" n" [
5 Q$ i& Z4 ~, ^( M6 f+ C- o5 z. F3 u* O发现罗素悖论错误  E/ E: T: v, i, I
林正峰3 `0 W8 D/ |5 E4 N! K5 T5 Z* {- W6 X4 j
    R（另有｛R｝等）恒定不是R的元素！不能作R的元素！R恒定不是R的元素：这由定义定成的！（同样定义定成了R是｛R｝的元素：｛R｝不是R的元素——也恒定！） 恒定不是R的元素作了R的元素：这成了不是元素又是元素！！！  0 h. I# T1 ?3 B7 N8 b
作者: 方程equation    时间: 2014-8-1 08:32
http://zh.wikipedia.org/wiki/%E6 ... 6%E5%90%88%E8%AE%BA
9 W: `0 M, }  t% @9 ^* M/ O% z1 Q; _, A见本维基中《类型论TST》一节
作者: 林正峰    时间: 2014-8-31 23:13
本帖最后由 林正峰 于 2014-8-31 23:41 编辑
7 \3 ^, ^6 E2 R& _2 [8 Y, l$ m
3 g: x" A5 a& h6 N! u9 d 《发现罗素悖论错误》 100%.jpg
8 k+ c. W( S; p
作者: 林正峰    时间: 2014-9-30 23:51
本帖最后由 林正峰 于 2014-10-1 07:42 编辑 # _7 ?8 d1 b  c8 y$ _7 r
! G- T. y( h" Q5 L$ C8 t
    为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖001）。  
作者: 林正峰    时间: 2014-10-31 22:55
    为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖002）。  
6 i7 `1 ~3 m5 j1 M" p
作者: enqi999    时间: 2014-12-24 11:22
厉害，学习了。# x+ ?' G: A. y! n6 u: e
作者: enqi999    时间: 2014-12-26 11:04
学习了，看看
3 k- _4 Q2 {* G
作者: 林正峰    时间: 2014-12-31 21:24
    为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖003）。  
* L2 ?& D4 m2 A; ^( Q# w
作者: 林正峰    时间: 2015-6-29 18:37
    为人类尽责：《发现罗素悖论错误》已经完成， 今天顶帖子（顶帖004）。  4 c$ g$ Z1 U$ V" a5 r9 \) T& [) v




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