设为首页收藏本站

数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
楼主: 白仙鹤

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

[复制链接]
 楼主| 发表于 2017-10-5 22:41 | 显示全部楼层
elim 发表于 2017-10-5 01:01
谢谢楼主的分享. 可以看出,楼主对问题是下了功夫的。建议科普一下数学基础的基本内容。提升一下大家的数学 ...

您好。我们只需知道自然数以及自然数算律就差不多够了,例如:自然数、加法结合律、加法交换律,分配律 ······。谢谢您的关注。
发表于 2017-10-5 22:04 | 显示全部楼层
本帖最后由 lkPark 于 2017-10-5 22:05 编辑
lkPark 发表于 2017-10-5 17:37
数学逻辑包含态逻辑和量逻辑,哥德尔的不完备定理是正确的,但是该定理所称的不完备性只能在数学中的量逻辑 ...


态逻辑的定义:由一簇具有相关性的逻辑单元组合而成的逻辑链条,其中包含了链条的变化与不变两态,而逻辑单元之间是同变的。比如:物体的体积、温度、质量、速度、引力场…之间的相关性,这些物态可不必具有具体的量但它们可以产生量,致于具体的量的产生还需意识去定义数量的结构(非量因素)。
量逻辑的定义:由态逻辑生成的物态之间的量关系。比如:量逻辑的前提态逻辑即量逻辑的前提是非量关系。由大于、多少、等于、包含、或加减乘除等建立的逻辑系统均属于量逻辑现代数论。
发表于 2017-10-5 20:59 | 显示全部楼层
ccmmjj 发表于 2017-10-5 02:33
对数理逻辑符号没感觉。不过我认为定理本身是正确的。至于有没有被证明我不敢说。因为越基础的东西,越可能 ...

先请举个通俗的例子说明一下这个定理是正确的,不要“中医认为”。
发表于 2017-10-5 17:37 | 显示全部楼层
本帖最后由 lkPark 于 2017-10-5 17:40 编辑

数学逻辑包含态逻辑和量逻辑,哥德尔的不完备定理是正确的,但是该定理所称的不完备性只能在数学中的量逻辑部分成立。在人类还没有认识态逻辑的情况下我们只能认定它在排除态逻辑的情况下是正确的,但将该定理放置在全部数学逻辑的范畴来看该定理又是错的,因为态逻辑生成了量逻辑,在量逻辑中不可被证明的定理能被态逻辑加以证明。如果你依然是站在量逻辑的范畴里来质疑哥德尔不完备性,那么你的论点就是错误的;如果你是站在整个数学逻辑的范畴里来质疑哥德尔不完备性,那么你的论点就是正确的,因为在整个数学逻辑中没有任何定理是不可被证明的。

点评

希望你详述 两种逻辑。  发表于 2017-10-5 18:46
发表于 2017-10-5 16:28 | 显示全部楼层
elim 发表于 2017-10-4 10:01
谢谢楼主的分享. 可以看出,楼主对问题是下了功夫的。建议科普一下数学基础的基本内容。提升一下大家的数学 ...

没有仔细看主贴,所以不对主贴正确与否作出判断。
发表于 2017-10-5 15:52 | 显示全部楼层
对这个定理没有研究过,所以是否被证明先不论,首先应该举例解释一下“不完备定理”的内容,好像是什么:“数论中存在一些定理既不能证真也不能证伪。”但是并没有真正理解它的含义。
发表于 2017-10-5 14:37 | 显示全部楼层
白仙鹤先生:
      首先感谢先生的分享。赞赏先生敢于质疑的科学精神,建议先生在引言后,单列”预备知识(或”预备定理")”一节,该节包含与主题相关概念的定义,公理,定理(公式)。这样,论文更具说服力。盼见到先生调整后的论文.
发表于 2017-10-5 10:53 | 显示全部楼层
我 没有 精力 看你的全文。看了 你的头与尾,你只是说 没有严格的证明,但你没有反对这个定理。你用的表示非、否 的符号 与他们 使用的符号 不一致,这就 可能是他们不愿接受的一个理由。
发表于 2017-10-5 02:33 | 显示全部楼层
对数理逻辑符号没感觉。不过我认为定理本身是正确的。至于有没有被证明我不敢说。因为越基础的东西,越可能是不能逻辑证明的东西。数学,很多东西在于约定,但是总有意想不到的事在约定之外。意念这个东西往往因人而异,没好好控制它就会一条路走到黑。
发表于 2017-10-5 01:01 | 显示全部楼层
谢谢楼主的分享. 可以看出,楼主对问题是下了功夫的。建议科普一下数学基础的基本内容。提升一下大家的数学基础认识,赢得大家的支持。
您需要登录后才可以回帖 登录 | 注册

本版积分规则

小黑屋|手机版|Archiver|数学中国 ( 京ICP备05040119号 )  

GMT+8, 2018-2-22 13:06 , Processed in 1.019552 second(s), 18 queries .

Powered by Discuz! X3.1

© 2001-2013 Comsenz Inc.

快速回复 返回顶部 返回列表