哥德尔不完备性定理简介

ygq的马甲

下面引用由tnjian在 2009/10/12 05:50pm 发表的内容：
模糊逻辑的真值是连续的，不是离散的。

附图：事物变化的基本形状（变）

目前的“模糊逻辑”，规则是“形式”逻辑的 ，只适用“近似”区域的，即图中水平段
而真正的“辩证”逻辑是研究【质变】的，例如突变等

tnjian

[这个贴子最后由tnjian在 2009/10/12 05:57pm 第 1 次编辑]

错了，模糊集合看你的隶属度函数是平滑还是突变，就可以反映平滑变化和突变变化。
隶属度函数可以任意选择。不说了。

ygq的马甲

下面引用由tnjian在 2009/10/12 05:56pm 发表的内容：
错了，模糊集合看你的隶属度函数是平滑还是突变，就可以反映平滑变化和突变变化。
隶属度函数可以任意选择。不说了。

研究【质变】的“辩证”逻辑，究竟有什么“（Ｒ）规则Ｒｕｌｅ”，还没有搞清楚。
模糊集合这种【量化】，已经可以了 ？？？

tnjian

哎 再说点吧，模糊逻辑研究的是不确定推理，就像自然语言中的不确定推理一样。
你说的事物发展的质变，那就不属于逻辑了，数学中有近似的学科－奇点与突变理论
总之，数学中很多东西都有了，很多东西都在高速发展。

ygq的马甲

下面引用由tnjian在 2009/10/12 06:07pm 发表的内容：
哎 再说点吧，模糊逻辑研究的是不确定推理，就像自然语言中的不确定推理一样。
你说的事物发展的质变，那就不属于逻辑了，数学中有近似的学科－奇点与突变理论
总之，数学中很多东西都有了，很多东西都在高速发展。

http://www.mathchina.com/cgi-bin/topic.cgi?forum=5&topic=7782&show=50
* 贴子主题： [求助]【数学基础问题征解】康托尔连续统假设
【数学基础问题征解】请证实：康托尔连续统假设是 R(·,·)=" ﹁∈ " 类型内的一条定理。
附图：康托尔连续统假设

别人的又又又……又有什么用 ？？？康托尔连续统假设的“哲学”含义就是：【质变】幅度的量化
连“家”都还找不到 ，你（tnjian）能给出这个“家”吗 ？？？————是 R(·,·)=" ﹁∈ " 类型内的

tnjian

[这个贴子最后由tnjian在 2009/10/12 06:41pm 第 5 次编辑]

下面引用由ygq的马甲在 2009/10/12 06:13pm 发表的内容：
别人的又又又……又有什么用 ？？？

拿到别人证明的定理，然后说哲学意义怎么样怎么样，最后说句别人的定理有什么用？我汗！
康托尔已经证明连续统的基数c等于自然数集幂集的基数2^(阿列夫0）。这已经反映了量变导致质变。
至于连续统假设的等号，成立不成立无关大雅，你难道能找到一个现实世界的集合，其基数是阿列夫1？你根本找不到，阿列夫1没有现实模型也没有几何模型。难道你有超越上帝的直觉，可以知道阿列夫1必定等于多少？这是入妄啊。
最关键的是，数学家已经证明了，连续统假设和ZFC之间独立。我们没有任何理由在ZFC增加一条公理说阿列夫1该等于多少，因为我们没有超越上帝的直觉！

ygq的马甲

下面引用由tnjian在 2009/10/12 06:27pm 发表的内容：
拿到别人证明的定理，然后说哲学意义怎么样怎么样，最后说句别人的定理有什么用？我汗！
康托尔已经证明连续统的基数c等于自然数集幂集的基数2^(阿列夫0）。这已经反映了量变导致质变。
至于连续统假设的等号，　...

仍然还是那句话，你（tnjian），只局限在“形式ｆｏｒｍａｌ”逻辑范围之内

最关键的是，数学家已经证明了，连续统假设和ZFC之间独立。我们没有任何理由在ZFC增加一条公理说阿列夫1该等于多少，因为我们没有超越上帝的直觉！

我（俞根强、ｙｇｑｋａｒｌ）这种“新道学”，对 ZFC 的兴趣不大的
至于“阿列夫1必定等于多少？” R(·,·)="∈" 对应的 ﹁A←→﹁A 就是“实无穷 ω”[br][br]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-

楼主（tnjian）你给我（俞根强、ｙｇｑｋａｒｌ）的【感觉】是：
可以成为一个“匠”

tnjian

[这个贴子最后由tnjian在 2009/10/12 07:59pm 第 1 次编辑]

下面引用由ygq的马甲在 2009/10/12 06:50pm 发表的内容：
仍然还是那句话，你（tnjian），只局限在“形式ｆｏｒｍａｌ”逻辑范围之内

仍然还是那句话，非形式的系统不是数学。

下面引用由ygq的马甲在 2009/10/12 06:50pm 发表的内容：
楼主（tnjian）你给我（俞根强、ｙｇｑｋａｒｌ）的【感觉】是：
可以成为一个“匠”

恭喜你直接跳过了“匠”成为了“大师”，我又见证了“大师”的诞生，幸甚。

ygq的马甲

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

“（Ｒ）规则Ｒｕｌｅ”举例
在“形式ｆｏｒｍａｌ”逻辑范围之内，p∪﹁p →q
在“辩证ｄｉａｌｅｃｔｉｃ”逻辑之内 ，p∪﹁p →À(p,﹁p) ，即由这两都组成的更大的一级【层次】，并不是任意的东西
例如 代数数∪超越数→实数
[br][br][color=#990000]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-

恭喜你直接跳过了“匠”成为了“大师”，我又见证了“大师”的诞生，幸甚。

http://www.mathchina.com/cgi-bin/topic.cgi?forum=5&topic=7782&show=50
* 贴子主题： [求助]【数学基础问题征解】康托尔连续统假设
【数学基础问题征解】请证实：康托尔连续统假设是 R(·,·)=" ﹁∈ " 类型内的一条定理。
等【证实】之后再“恭喜”吧，希望有生之年能等到
很“正常”的反应：《道德经》第四十一章：“上士闻道，勤而行之；中士闻道，若存若亡；下士闻道，大笑之。不笑不足以为道。”

申一言

下面引用由ygq的马甲在 2009/10/12 07:49pm 发表的内容：
“（Ｒ）规则Ｒｕｌｅ”举例
在“形式ｆｏｒｍａｌ”逻辑范围之内，p∪﹁p →q
在“辩证ｄｉａｌｅｃｔｉｃ”逻辑之内 ，p∪﹁p →À(p,﹁p) ，即由这两都组成的更大的一级【层次】，并不是任意的东西
例　...

     哈哈!
          恐怕得化为灰烬!
          三味真火烧画皮,
          滋滋冒油血淋漓,
          只因出来专作孽,
          五雷轰顶化作泥!
                          善哉!善哉!!
                                            钟馗启.