哥德尔不完全定理确实没有被证明

任在深

在错误的理论下，它是正确的？
在正确的理论下，它是错误的！

任在深

---------------我们可以将第一定理解释为“我们永远不能发现一个万能的公理系统能够证明一切数学真理，而不能证明任何谬误”----------
     由以上的解释可知就当前的理论该定理“正确” ？
事实是当人们有了符合大自然法则的数学理论之后就不正确了！
        纯粹数学即结构数学：是研究宇宙空间形的结构以及结构关系的科学！
         所谓结构就是宇宙空间的几何图形，而结构关系就是相关的代数式。
因此一个正确的数学理论基础必需具备，相容性，独立性，完备性，他的基本事实概念和一套完整的定理，使得概念和定理分别由定义 和演绎导出！
      《中华单位论》就是这样完美数学基础理论。  

任在深

-------------我们可以将第一定理解释为“我们永远不能发现一个万能的公理系统能够证明一切数学真理，而不能证明任何谬误”-------------
       由以上的解释可知在现有的ZFC系统下，哥德尔不完全定理是”正确”的！
       一旦有了结构数学的正确的符合大自然法则的基础理论，那么哥德尔的不完全定理就是错误的！！
定义1：纯粹数学即结构数学是关于研究宇宙空间形的结构以及结构之间关系的科学！
           1.所谓宇宙空间形的结构就是几何图形，
           2.所谓结构之间的关系就是代数！
           所以纯粹数学就是关于几何代数学！！
       一个具有相容性，独立性，完备性被确定了的符合大自然法则的数学理论基础，必须同时具备事实的概念和完整的定理，使得概念和定理分别从定义和演绎在该系统导出！
        当一个原命题能够被上述理论证明是正确的才是真命题！否则是假命题！！

elim

大家的共识大致有这么几点：
1）对不完全定理本身作出一个通俗的陈述.
2) 对原证明的错误作出要更详尽的论证和解说，
3) 原证有误与定理论断错误未必是一回事，需要对定理本身作出判断.
4）既然‘定理’影响深远，举例说明其影响。

白仙鹤

lkPark 发表于 2017-10-5 22:04
态逻辑的定义：由一簇具有相关性的逻辑单元组合而成的逻辑链条，其中包含了链条的变化与不变两态，而逻 ...

哥德尔不完全定理是建立在经典数理逻辑即命题逻辑和一阶逻辑基础之上的。谢谢您的关注。

白仙鹤

jzkyllcjl 发表于 2017-10-5 10:53
我 没有 精力 看你的全文。看了 你的头与尾，你只是说 没有严格的证明，但你没有反对这个定理。你用的表示 ...

谢谢您的关注。哥德尔不完全定理表述的含义应该是正确的，但不应该称之为定理。对于其证明，我已是取得了颠覆性成果。

白仙鹤

moranhuishous 发表于 2017-10-5 15:52
对这个定理没有研究过，所以是否被证明先不论，首先应该举例解释一下“不完备定理”的内容，好像是什么：“ ...

谢谢您的关注。不难懂的，论文基本自足，请您下载一份，看看是否如此。兴趣加明白就是快乐。祝您高兴。

白仙鹤

195912 发表于 2017-10-5 14:37
白仙鹤先生：
      首先感谢先生的分享。赞赏先生敢于质疑的科学精神，建议先生在引言后，单列”预备知识 ...

195912先生：您好。
       谢谢您的指导，您说得有道理。我原本是写给读过哥德尔不完全定理的学者、专家看的。其实也没有那么神，我们只需要知道自然数以及自然数算律就差不多够了，例如：自然数、加法结合律、加法交换律，分配律， ······，再外加命题逻辑、一阶逻辑经典知识就差不多了。

白仙鹤

elim 发表于 2017-10-5 01:01
谢谢楼主的分享. 可以看出，楼主对问题是下了功夫的。建议科普一下数学基础的基本内容。提升一下大家的数学 ...

您好。我们只需知道自然数以及自然数算律就差不多够了，例如：自然数、加法结合律、加法交换律，分配律 ······。谢谢您的关注。

lkPark

lkPark 发表于 2017-10-5 17:37
数学逻辑包含态逻辑和量逻辑，哥德尔的不完备定理是正确的，但是该定理所称的不完备性只能在数学中的量逻辑 ...

态逻辑的定义：由一簇具有相关性的逻辑单元组合而成的逻辑链条，其中包含了链条的变化与不变两态，而逻辑单元之间是同变的。比如：物体的体积、温度、质量、速度、引力场…之间的相关性，这些物态可不必具有具体的量但它们可以产生量，致于具体的量的产生还需意识去定义数量的结构（非量因素）。
量逻辑的定义：由态逻辑生成的物态之间的量关系。比如：量逻辑的前提态逻辑即量逻辑的前提是非量关系。由大于、多少、等于、包含、或加减乘除等建立的逻辑系统均属于量逻辑现代数论。