林正峰 发表于 2014-7-31 23:36

发现罗素悖论错误

本帖最后由 林正峰 于 2014-8-7 00:00 编辑

发现罗素悖论错误
林正峰
    R（另有｛R｝等）恒定不是R的元素！不能作R的元素！R恒定不是R的元素：这由定义定成的！（同样定义定成了R是｛R｝的元素：｛R｝不是R的元素——也恒定！） 恒定不是R的元素作了R的元素：这成了不是元素又是元素！！！  

方程equation 发表于 2014-8-1 08:32

http://zh.wikipedia.org/wiki/%E6%96%B0%E5%9F%BA%E7%A1%80%E9%9B%86%E5%90%88%E8%AE%BA
见本维基中《类型论TST》一节

林正峰 发表于 2014-8-31 23:13

本帖最后由 林正峰 于 2014-8-31 23:41 编辑


林正峰 发表于 2014-9-30 23:51

本帖最后由 林正峰 于 2014-10-1 07:42 编辑

    为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖001）。  

林正峰 发表于 2014-10-31 22:55

    为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖002）。  

enqi999 发表于 2014-12-24 11:22

厉害，学习了。

enqi999 发表于 2014-12-26 11:04

学习了，看看

林正峰 发表于 2014-12-31 21:24

    为人类尽责：《发现罗素悖论错误》已经完成，今天顶帖子（顶帖003）。  

林正峰 发表于 2015-6-29 18:37

    为人类尽责：《发现罗素悖论错误》已经完成， 今天顶帖子（顶帖004）。  
页: [1]
查看完整版本: 发现罗素悖论错误