[求助]【数学基础问题征解】康托尔连续统假设

changbaoyu

例如那个“申一言”的圆周率 π，与地球上的别人的，不一样的
中国人的“治学”模式，是要讲“言行合一”的?
    考【虑】过！！？但不是目前！？
前面已经说过，我（俞根强、ｙｇｑｋａｒｌ）这种“新道学”是允许悖论的，但必须在“扩张、扩展、拓展 ｅｘｔｅｎｓｉｏｎ”范围内。
“新道学”是允许悖论的！？怎么个＜悖论＞法？有例子吗！

ygq的马甲

下面引用由changbaoyu在 2009/10/01 03:38pm 发表的内容：
例如那个“申一言”的圆周率 π，与地球上的别人的，不一样的
中国人的“治学”模式，是要讲“言行合一”的?
    考【虑】过！！？但不是目前！？
前面已经说过，我（俞根强、ｙｇｑｋａｒｌ）这种“新道学”是　...

还是劝你（changbaoyu）一句：做与你（changbaoyu）的能力相适应的事
就凭你（changbaoyu）这种“智商”，是不合适这里的讨论的。
千万不要说：你（changbaoyu）没看见过下面的内容
*************************************
命题：罗素悖论 AÏA 与这里的 R(·,·)=" Ï " ，是在康托尔集合论内完全等价的。
①起点是罗素悖论 AÏA ；
②按康托尔集合论的“关系 aR(a,b)b”定义，上式完全等价于 AR(A,A)A 且 R(A,A)=" Ï "；
..这里的“等号 =”，表示变量赋值；
③将不重要的代号 A 抽象掉，原来必须出现的位置代以“·”,则上式完全等价于 R(·,·)=" Ï "；
④终点是 R(·,·)=" Ï "。
反方向的证明过程省略。

changbaoyu

已看懂了图与等式及属问题！这不是所渨的悖论！比较难！祝您尽快能！再谈。

ygq的马甲

下面引用由changbaoyu在 2009/10/01 03:56pm 发表的内容：
已看懂了图与等式及属问题！这不是所渨的悖论！比较难！祝您尽快能！再谈。

还是劝你（changbaoyu）一句：做与你（changbaoyu）的能力相适应的事

这是全世界 TOP50 做的事，可以得菲尔兹（Ｆｉｅｌｄｓ）奖这种“档次”的

changbaoyu

就凭你（changbaoyu）这种“智商”，是不合适这里的讨论的。
千万不要说：你（changbaoyu）没看见过下面的内容
*************************************
命题：罗素悖论 AÏA 与这里的 R(·,·)=" Ï " ，是在康托尔集合论内完全等价的。
①起点是罗素悖论 AÏA ；
②按康托尔集合论的“关系 aR(a,b)b”定义，上式完全等价于 AR(A,A)A 且 R(A,A)=" Ï "；
..这里的“等号 =”，表示变量赋值；
③将不重要的代号 A 抽象掉，原来必须出现的位置代以“·”,则上式完全等价于 R(·,·)=" Ï "；
④终点是 R(·,·)=" Ï "。
反方向的证明过程省略。您说的很对！各有所长。意思我理解符号讲不准！？是否和我想的一至？我要的是数理。您是专业逻辑，我只要知道您在讲什么就行了！谢谢！

elimqiu

注意：
（1）连续统假设从来都不是悖论。
（2）推理是相对于给定的系统而言的。
（3）完备，相容的系统必不允许悖论。你只是允许研究对象是悖论而已。

申一言

下面引用由elimqiu在 2009/10/01 04:06pm 发表的内容：
注意：
（1）连续统假设从来都不是悖论。
（2）推理是相对于给定的系统而言的。
（3）完备，相容的系统必不允许悖论。你只是允许研究对象是悖论而已。

     正确！
     十二万的正确！

ygq的马甲

下面引用由elimqiu在 2009/10/01 04:06pm 发表的内容：
注意：
（1）连续统假设从来都不是悖论。
（2）推理是相对于给定的系统而言的。
（3）完备，相容的系统必不允许悖论。你只是允许研究对象是悖论而已。

附图：语言坐标与逻辑结构的配合

“语言坐标与逻辑结构的配合”附图中的“语用真实”，是对所有的各种理论体系都有“约束”的，当然也包括我（俞根强、ygqkarl）自己的理论体系。其意思是说：[B]理论体系必须与事实有对应，必须能够“真实”地反映事实，等等。[/B]
前面只介绍了 【公理二】存在且只存在 R(·,·)="∈"∪" Ï "∪" Æ "
此外还有【公理一】和【公理三】，其中的【公理一】是与【公理二】配合使用的。即上面的“语言坐标与逻辑结构的配合”附图

（3）完备，相容的系统必不允许悖论。你只是允许研究对象是悖论而已。

为了避免可能产生的【歧义】，还是少使用【悖论】这个术语
【要点】：为了满足“完全性 ｃｏｍｐｌｅｔｅｎｅｓｓ”，
【公理一】（即语言方向）的“语形ｓｙｎｔａｃｔｉｃｓ”是全体，即  R(·,·)="∈"∪" Ï "∪" Æ "
【要点】：为了满足“相容性ｃｏｎｓｉｓｔｅｎｃｙ”；
【公理一】（即语言方向）的“语用ｐｒａｇｍａｔｉｃｓ”是部分，即只采用“语用真实ｐｒａｇｍａｔｉｃ＿ｒｅａｌｉｔｙ”
再次特别强调一下，【推理】规则部分只采用“语用真实ｐｒａｇｍａｔｉｃ＿ｒｅａｌｉｔｙ”

ygq的马甲

建议你（elimqiu）分几步来：
第一步：【公理】部分有什么疑问 ？？？
第二步：【演绎】或【推理】部分有什么疑问 ？？？
第三步：………………

elimqiu

好。也建议你考虑我的那几个注记。看看你的系统如何协调。
单单你的这点公理是无法作判断的。你的公理要成为有意义的必须明确推理系统是什么，不然A←→﹁A 是什么都不清楚。A是你系统中的命题还是你系统所研究的对象系统中的命题？