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

ygq的马甲

下面引用由申一言在 2009/10/06 00:56pm 发表的内容：
你----ygq的蚂蚱邪门歪道!
      卤虾不叫卤虾-----你是半瓶子瞎犟(虾酱)!
      还是搞你那鬼画符去吧!
----- 一只乌鸦从西方的蓦地叼来一块尸骨,
...

【鉴定】和【评估】结论是：“无知者无畏”式的“蠢货”（申一言）
还是【离开】地球吧，“蠢货”（申一言）你继续当外星人，因为“蠢货”（申一言）你的“圆”与地球人的是不一样的，

申一言

   1是素数的始祖是素数的DNA!
   又如何?
   为了他们的错误理论而错上加错!!
   强奸自然规律!
   把1逼良为"娼"?
   天理呀!
   你在那里?
   给俺个说法!?

ygq的马甲

下面引用由梅飞在 2009/10/06 00:55pm 发表的内容：
大全集，本来是集合，却被叫做类，人为规定为不是集合。
康托悖集D，本来不是集合，却被确认为集合。
这就是现有公理化集合论的本质。

要是你（梅飞）看不顺眼，自己另搞一套呀

梅飞

下面引用由elimqiu在 2009/10/05 05:12pm 发表的内容：
康托的朴素集合观念的问题是无限扩大了形式逻辑的有效性。其实形式逻辑只对相对地确定，有限的东西相对有效。
{x|x是活人} 看上去是个集合，但是“x是活人”不是一个绝对的形式逻辑命题。
人并不形式逻辑地知道　...

传统形式逻辑，是局限于命题逻辑的，逻辑的对象是命题，那么，对于不是命题的场合，命题逻辑就会失效。
康托朴素集合论的概括公理，恰恰是让我们碰上了不是命题的场合，比如R∈R，D∈D，就不是命题，但人们容易还当成命题看待，就会导致错误的认定R和D都是集合。
所以，形式逻辑应该将命题逻辑加以拓展，变为“论题逻辑”：
论题：是判断对象属性的陈述，并不一定就是命题，还包含悖题和随题。
命题：要么真、要么假的论题。
悖题：是真假等价的论题。
随题：是真假两可的论题。
当用于概括公理的性质，一定都是命题时，所产生的才是集合，又叫定集；
当用于概括公理的性质，有可能是悖题时，所产生的却不是集合，而是悖集；
当用于概括公理的性质，有可能是随题时，所产生的也不是集合，而是随集。
定集，悖集，随集，又可统称为“泛集”，从而，集合论也会随之拓展成为泛集论。

ygq的马甲

悖题：是真假等价的论题。
随题：是真假两可的论题。

这两种，实际上就是同一种，

梅飞

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

辩证逻辑只是一种思想，一旦形式化的表达出来，就转化为形式逻辑。
这正如无理数，一旦将它具体算出，就只能是一个和它具有近似值的有理数。
也就是说，无理数不可能彻底算准，辩证逻辑也不可能彻底形式化。

梅飞

下面引用由ygq的马甲在 2009/10/06 02:04pm 发表的内容：
这两种，实际上就是同一种，

悖题和随题不是同一种。
几何学当中的平行公设，相对于前四公设来说，就是随题，真假两可，真时对应欧氏几何，假时对应罗巴切夫斯基几何或黎曼几何。
连续统假设也是一个随题，真假两可，真时具有系统相容性，假时也有系统相容性。
随题不是命题，也不是悖题。

梅飞

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

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

“马后炮”，“信仰层面”，这是过誉界定，大部分是一堆胡说。

申一言

下面引用由梅飞在 2009/10/06 02:20pm 发表的内容：
辩证逻辑只是一种思想，一旦形式化的表达出来，就转化为形式逻辑。
这正如无理数，一旦将它具体算出，就只能是一个和它具有近似值的有理数。
也就是说，无理数不可能彻底算准，辩证逻辑也不可能彻底形式化。

   NO !
     今后在纯粹数学中将没有无理数!
     只有基本单位 √P!
     单位(素数)   (√P)^2=P"
     (1.414)^2=1.999～2, 不好!不精确!!

申一言

下面引用由梅飞在 2009/10/06 02:37pm 发表的内容：
“马后炮”，“信仰层面”，这是过誉界定，大部分是一堆胡说。

    你的,不要与西方来的吃尸体的臭嘴乌鸦谈论问题!
    它的良心大大的坏了坏了的有!
    它的八哥呀路!
    哈哈!
    俺们是大大的良民!