[原创]试论康托定理的证伪和康托悖论罗素悖论的解悖方法

elimqiu

形式化的彻底性表现为推理与内容的分离。这绝不是辩证逻辑可以类似地实现的。
对立面的转化，否定等在质的层面上说有无限多的可能性，抽象地来一个 ﹁A 没有意义（有太多的不同意义）。

ygq的马甲

下面引用由elimqiu在 2009/10/06 04:46am 发表的内容：
形式化的彻底性表现为推理与内容的分离。这绝不是辩证逻辑可以类似地实现的。
对立面的转化，否定等在质的层面上说有无限多的可能性，抽象地来一个 ﹁A 没有意义（有太多的不同意义）。

R(·,·)=" ﹁∈ " 在【推理】过程中，不是已经做到“内容的分离”了吗 ？？？
千万不要说：“对立面的转化”的对立面就是内容
************************************
看样子，你（elimqiu）还没有掌握重点：：：：A 与 ﹁A 之间的“关系 ｒｅｌａｔｉｏｎ”，再次特别强调一下，R（A，﹁A）才是重点！！！
范畴论，你（elimqiu）应该听说过的，例如“态射 ｍｏｒｐｈｉｓｍ”

elimqiu

你这种形式化根本不能作为推理手段，最多只是马后炮么。[br][br]-=-=-=-=- 以下内容由 elimqiu 在 时添加 -=-=-=-=-
你知道什么是机器证明？symbolic calculus etc?
到那个层面上的形式化才彻底，才有用么。

ygq的马甲

下面引用由elimqiu在 2009/10/06 05:02am 发表的内容：
你这种形式化根本不能作为推理手段，最多只是马后炮么。

那么我（俞根强、ｙｇｑｋａｒｌ）说：你（elimqiu）的是偏见
将各种【正确】的知识，积累起来，最终就会从【量变】到【质变】
千万不要说：一个悲观论者会有什么大成就。
在我（俞根强、ｙｇｑｋａｒｌ）这种“新道学”中，用数学语言来说，所谓的逻辑是“关系 ｒｅｌａｔｉｏｎ”。再进一步地【细分】成：“形式ｆｏｒｍａｌ”逻辑的 R(·,·)=" ∈ " 、…………

ygq的马甲

[这个贴子最后由ygq的马甲在 2009/10/06 00:18pm 第 1 次编辑]

下面引用由elimqiu在 2009/10/06 05:02am 发表的内容：
你这种形式化根本不能作为推理手段，最多只是马后炮么。-=-=-=-=- 以下内容由 elimqiu 在  时添加 -=-=-=-=-
你知道什么是机器证明？symbolic calculus etc?
到那个层面上的形式化才彻底，才有用么。

“形式ｆｏｒｍａｌ”逻辑已经多少年 ？？？
再说了，“辩证ｄｉａｌｅｃｔｉｃ”逻辑是创造性的【思维】。能否可编程，还是一个问题[br][br][color=#990000]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-
我（俞根强、ｙｇｑｋａｒｌ）可没有说：“辩证”逻辑的“形式化 ｆｏｒｍａｌｉｚｅｄ”已经完成了
例如康托尔连续统假设

elimqiu

目前你的主张还在信仰的层面上。等你有了方案再谈不迟。
我的说法不是什么悲观。精确性与不变性，抽象性本来就分不开。有意思的是：
如此极端地抽去了内容，只处理某瞬间，某截面的数学竟是如此精确，如此普适，如此深入地表达着现实。真是物极必反啊。[br][br]-=-=-=-=- 以下内容由 elimqiu 在 时添加 -=-=-=-=-
“辩证ｄｉａｌｅｃｔｉｃ”逻辑是创造性的【思维】不错。正是这样才有形式化的难处。

申一言

下面引用由ygq的马甲在 2009/10/06 00:10pm 发表的内容：
那么我（俞根强、ｙｇｑｋａｒｌ）说：你（elimqiu）的是偏见
将各种【正确】的知识，积累起来，最终就会从【量变】到【质变】
千万不要说：一个悲观论者会有什么大成就。
在我（俞根强、ｙｇｑｋａｒｌ）这种“ ...

        你----邪门歪道!
        卤虾不叫卤虾-----你是半瓶子瞎犟(虾酱)!
        还是搞你那鬼画符去吧!
   ----- 一只乌鸦从西方的蓦地叼来一块尸骨,
         落在一棵死树上,哇哇乱叫着,【鉴定】?【评估】,,,
         结果腐臭的尸骨从它那臭嘴里掉了下来,
         可是从它那臭嘴里继续散发出来一股股浓烈的尸臭味!
         快闭上你那满是尸臭的臭嘴!
         百鸟一边骂它,
         一边离开它远远的,
         飞向凤凰!

ygq的马甲

下面引用由elimqiu在 2009/10/06 05:23am 发表的内容：
目前你的主张还在信仰的层面上。等你有了方案再谈不迟。
我的说法不是什么悲观。精确性与不变性，抽象性本来就分不开。有意思的是：
如此极端地抽去了内容，只处理某瞬间，某截面的数学竟是如此精确，如此普适， ...

你（elimqiu）说的这些，早就已经完成了，也已经达到了
算了，还是等待【证实】或【证伪】吧
http://www.mathchina.com/cgi-bin/topic.cgi?forum=5&topic=7782&show=50
【数学基础问题征解】请证实：康托尔连续统假设是 R(·,·)=" ﹁∈ " 类型内的一条定理。

+*****************************++
附图：二维几何模型表示的逻辑类型

【公理二】存在且只存在 R(·,·)="∈"∪" Ï "∪" Æ "
按照“一分为二”方法假设代号 A 和 ﹁A ，那么对照“二维几何模型表示的逻辑类型”附图，存在五种侧面，分别如下：
R(·,·)=" Æ " 对应的是 A 和 ﹁A ；
R(·,·)="∈" 对应的是 A←→A 和 ﹁A←→﹁A ；
R(·,·)=" Ï " 对应的是 A←→﹁A 。
以上是【公理】部分，与 A 所选择的具体内容无关。

梅飞

[这个贴子最后由梅飞在 2009/10/06 00:57pm 第 1 次编辑]

下面引用由elimqiu在 2009/10/05 04:05pm 发表的内容：
公理集合论并不无视‘大集’。只是称其为类。
而称概括原则必能产生类的类为集合。
所以悖论是类的问题而不是集合的问题。
如何称呼的问题自然是非本质的。不过公理集合论的这种做法是更照顾到数学运算和推理的　...

大全集，本来是集合，却被叫做类，人为规定为不是集合。
康托悖集D，本来不是集合，却被确认为集合。
这就是现有公理化集合论的本质。

申一言

你----ygq的蚂蚱邪门歪道!
      卤虾不叫卤虾-----你是半瓶子瞎犟(虾酱)!
      还是搞你那鬼画符去吧!
----- 一只乌鸦从西方的蓦地叼来一块尸骨,
       落在一棵死树上,哇哇乱叫着,【鉴定】?【评估】,【鉴定】?【评估】,,,,,,
       结果腐臭的尸骨从它那臭嘴里掉了下来,
       可是从它那臭嘴里继续散发出来一股股浓烈的尸臭味-!,【鉴定】?【评估】,,,
       快闭上你那满是尸臭的臭嘴!
       百鸟一边骂它,
       一边离它远远的,
       飞向凤凰!
      这只又黑又臭的乌鸦带着它那更臭的嘴只好飞回西方的蓦地!
     落在另一棵死数上!
     继续--,【鉴定】?【评估】,,,,【鉴定】?【评估】,,,,【鉴定】?【评估】,,,
                    好玩吗?,【鉴定】?【评估】,,,
                            【鉴定】?【评估】,,,
                            【鉴定】?【评估】,,,
                            【鉴定】?【评估】,,,