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

ygq的马甲

引入【悖论】之后，即【公理二】存在且只存在 R(·,·)="∈"∪" Ï "∪" Æ " ，会导致“确定性 ｃｅｒｔａｉｎｔｙ”的问题。如果仍然还要具有“确定性 ｃｅｒｔａｉｎｔｙ”，我的解决“（Ｕ）方案ｓｏｌＵｔｉｏｎ”是同时引入“语用 ｐｒａｇｍａｔｉｃｓ”。
这样可以建立“语用真实ｐｒａｇｍａｔｉｃ＿ｒｅａｌｉｔｙ”的这个“真子集ｐｒｏｐｅｒ＿ｓｕｂｓｅｔ”

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

“语言坐标与逻辑结构的配合”附图中的“语用真实”，是对所有的各种理论体系都有“约束”的，当然也包括我（俞根强、ygqkarl）自己的理论体系。其意思是说：[B]理论体系必须与事实有对应，必须能够“真实”地反映事实，等等。[/B]

wangyangke

“蠢货”（ygq的马甲）你，为什么到现在仍然还是“蠢货” ？？？
“蠢货”（ygq的马甲 ）你，“意淫”很开心吗？？？“意淫”很生猛吧？？？
少“添乱”就是多作“贡献”啦。网络时代的“蠢货”还特别多，唉，……
人“蠢”就安静些嘛，没有人硬要“蠢货”（ygq的马甲 ）你出来的.

ygq的马甲

“新”分类，“新”文化，“新”未来。（公理化的中国道学）
老子《道德经》中的“道生一、一生二、二生三、三生万物”，用数学语言来说就是：我（俞根强、ｙｇｑｋａｒｌ）这种“新道学”的 【公理二】存在且只存在 R(·,·)="∈"∪" Ï "∪" Æ " [br][br]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-

“道生一、一生二、二生三、三生万物”，===========> 对应于“常数”层次
而【公理二】对应于“概念”层次、符号表达法

ygq的马甲

几个特殊数学字符，用 &#+数字 来输入
全称量词 ====> 8704 ； ∀
存在量词 ====> 8707 ； ∃
是否能成功，还与论坛所支持的字符集有关
[br][br]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-

unicode 用的是十六进制，8704D =2200H

ygq的马甲

[这个贴子最后由ygq的马甲在 2009/11/21 06:36am 第 1 次编辑]

附图：康托尔连续统假设

注释：“一分为几（ｊ≥２）”方法的《方法论ｍｅｔｈｏｄｏｌｏｇｙ》，是每一个【体系】的“必要ｎｅｃｅｓｓａｒｙ”组件。
.
康托尔连续统假设中的“2”，应该是由于“一分为二”方法中的“二”。换另外的话来说就是，ｊ＞２ 时康托尔连续统假设中的“2”必须换成对应的数字。实际上就是【质变】、【层次】的意思

天茂

经过多次交流，终于弄明白了俞先生公里中的三个公式就是我提出的三类形式系统：

简单系统（即R(·,·)="Φ"）：满足一致性和完备性，如：一阶逻辑系统，包括一阶命题逻辑、一阶谓词逻辑；图像表示为：

天茂

只有最后一个系统可以允许悖论存在，但这个悖论是可控制的，不能随意扩散的。

天茂

虽然在整体结构上有类似，但在具体问题上，我们之间还存在许多的分歧。希望今后通过争论，达到求大同存小异之目的。

ygq的马甲

下面引用由天茂在 2009/12/09 08:46am 发表的内容：
虽然在整体结构上有类似，但在具体问题上，我们之间还存在许多的分歧。希望今后通过争论，达到求大同存小异之目的。

我（俞根强、ｙｇｑｋａｒｌ）这种“新道学”，是遵守“独立性ｉｎｄｅｐｅｎｄｅｎｃｙ”要求的，例如【定性】上绝对不会出现【歧义】，即
[R(·,·)="∈"]∩[R(·,·)="﹁∈"]=Φ
也即符合【线性无关】条件的。这样，可以采用多种方法来【演绎】的
*************************
另：“复杂一致系统”这类名称，在数学论坛里应该“数学化”，用数学符号来表达出来

天茂

既要相容性，又要完全性，这样的复杂系统里是不可能存在的。