通信人家园

 找回密码
 注册

只需一步,快速开始

短信验证,便捷登录

搜索
查看: 9460|回复: 45
打印

哥德尔不完备定理 [复制链接]

军衔等级:

  少将

注册:2012-11-961

通信理论技术专家

跳转到指定楼层
1#
发表于 2022-5-12 01:27:52 |只看该作者 |倒序浏览
写了篇批判哥德尔不完全定理的文章,本来想放在ArXiv上宣示一下发现权。无奈哥德尔定理被认为是人类最高的智力成果,不容许批判,以至于不需要同行评审的ArXiv都发不出来。
我挑战这么著名的定理,当然要有过硬的证据。 这关系到话语权的争夺,各种暗战是少不了的。 借家园的地盘,推广一下,也留个发现权的证据。  
Godel.pdf (90.28 KB, 下载次数: 13)

欢迎大家下载批评。 接下来和这个领域的著名学者邮件沟通。
Dear author,
Thank you for submitting your work to arXiv. We regret to inform you that arXiv’s moderators have determined that your submission will not be accepted and made public on [1]arXiv.org.
Our moderators determined that your submission does not contain sufficient original or substantive scholarly research and is not of interest to arXiv.
For more information, please see [2]https://arxiv.org/help/moderation.
arXiv moderators strive to balance fair assessment with decision speed. We understand that this decision may be disappointing, and we apologize that, due to the high volume of submissions arXiv receives, we cannot offer more detailed feedback. Some authors have found that asking their personal network of colleagues or submitting to a conventional journal for peer review are alternative avenues to obtain feedback.
We appreciate your interest in arXiv and wish you the best.
Sincerely,
The arXiv Content Management & User Support Team

举报本楼

军衔等级:

  中士

注册:2018-9-626
2#
发表于 2022-5-12 07:56:08 |只看该作者
不明觉厉,给你打个call

举报本楼

头像被屏蔽

禁止发言

注册:2015-5-26685
3#
发表于 2022-5-12 08:05:28 |只看该作者
提示: 作者被禁止或删除 内容自动屏蔽

举报本楼

军衔等级:

  下士

注册:2021-8-631
4#
发表于 2022-5-12 09:49:15 |只看该作者
看不懂呢,希望有中文翻译

举报本楼

军衔等级:

  少将

注册:2008-7-1829
5#
发表于 2022-5-12 16:03:12 |只看该作者
哥德尔不完备性定理主要就在说:“大自然中的不完备性还真是无法抗拒般地存在啊(**)。”换句更数学的话来说,这个定理允许了这样一个事实的存在:总有一些命题,在某一场合下,无法判断其真假性;换句话说,即有些命题在某一场合下,某些命题的真伪性不会对整个逻辑系统带来影响(但在更高的层面,这些命题或许就能被判断真假或者对逻辑系统带来影响了)。

作者:Yeung Evan
链接:https://www.zhihu.com/question/20569424/answer/28330853
来源:知乎
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。

举报本楼

军衔等级:

  大校

注册:2019-10-9819
6#
发表于 2022-5-12 16:14:48 |只看该作者
对于这些“民科”来说,我给你5倍的机会,可以直接推翻“哥德尔不完备性定理”!!
公设1:任意一点到另外任意一点可以画直线
公设2:一条有限线段可以继续延长
公设3:以任意点为心及任意的距离可以画圆
公设4:凡直角都彼此相等
公设5:同平面内一条直线和另外两条直线相交,若在某一侧的两个内角和小于二直角的和,则这二直线经无限延长后在这一侧相交。

只要能 直接证明 几何五大公设 的任意之一就行:
我就可以帮你宣告:“哥德尔不完备性定理”不成立!!
你妥妥的 诺奖非奖,百万美元起步,绝对不成问题!!

如果连这个都搞不明白,就别想了

点评

杨学志  第一,公理是证明的起点,不能被证明。 第二,即使我证明了, 你也宣告不了什么, 说明,你缺乏基本常识和逻辑能力,还达不到给民科提鞋的水平。 回家好好学习。  详情 回复 发表于 2022-5-14 04:31

举报本楼

军衔等级:

  大校

注册:2019-10-9819
7#
发表于 2022-5-12 16:22:09 |只看该作者
杨学志 1970年出生于中国山东。1993年清华大学的学士,1998年北京大学博士、博士后研究员。
2000--2012年在华为任无线通信研究员,是软频率复用发明者。
据称解决了:亨佩尔的确认悖论、休谟问题、盖蒂尔问题、罗素悖论、停顿问题等
他的主页:https://www.zhihu.com/people/yang-xue-zhi-38网站:
联系方式:*

著名语录:
随着思考的深入,越发觉得哥德尔是个傻逼。 当然,我这么说不公平。 我也是从五一开始认真考虑了这个问题之后,才发现道理原来那么明显。如果大家追踪我的思想脉络,我是先从实用性质疑哥德尔的,然后才追溯到原理。 这本来就是科学发现的思维模式。  对于机理,之前我也没想明白,所以不敢轻易否定,但也绝不会认可。
发布于 2022-05-07 13:49

举报本楼

军衔等级:

  三级军士长

注册:2005-5-3031

爱心徽章,06年为希望小学奉献爱心纪念徽章 爱心徽章,07年为希望小学奉献爱心纪念徽章 爱心徽章,2011年为家园助学活动奉献爱心纪念徽章

8#
发表于 2022-5-13 10:06:08 |只看该作者
支持一下 说不定见证历史了

举报本楼

军衔等级:

  中将

注册:2013-3-22992
9#
发表于 2022-5-13 13:05:05 |只看该作者
真的有人能看懂吗。。。

举报本楼

军衔等级:

  少将

注册:2012-11-961

通信理论技术专家

10#
发表于 2022-5-14 04:31:52 |只看该作者
qkb_75@163.com 发表于 2022-5-12 16:14
对于这些“民科”来说,我给你5倍的机会,可以直接推翻“哥德尔不完备性定理”!!
公设1:任意一点到另外 ...

第一,公理是证明的起点,不能被证明。
第二,即使我证明了, 你也宣告不了什么,

说明,你缺乏基本常识和逻辑能力,还达不到给民科提鞋的水平。

回家好好学习。

点评

qkb_75@163.com  给我一个反例!!! 给我一个反例!!! 给我一个反例!!! 否则你嚷嚷得再厉害,也无用! 你的臭鞋,掉在华为了吧。 你是不是现在需要找个小弟,帮你擦掉屁股上的鞋印呢?  详情 回复 发表于 2022-5-16 11:21

举报本楼

军衔等级:

  四级军士长

注册:2006-2-13194
11#
发表于 2022-5-14 16:44:57 |只看该作者
本帖最后由 rible 于 2022-5-14 17:01 编辑

看了一下你的文章。提几个建议:1、先在“可证明”和“不可证明”的定义上达成一致,也就是先弄清楚这两个词的具体含义;如果你的概念和哥德尔或者一般数学工作者的概念不一样,那所有的证明就都没有意义了;
2、建议详细了解一下哥德尔不完备定理的证明。可以先看一下可数和不可数的证明,这可能有助于你理解哥德尔的证明过程;
3、就你这篇论文来说,从数学角度看还有点差距,可以找数学系的朋友详细讨论一下,听听他们的意见;

点评

qkb_75@163.com  我拜读过这个2页的全英文论数。真无语了。 或许留住知道自己不入流,故意用英文遮羞的吧! 我个人是先读了《编码的艺术》,后详细分析了UTF-8编码方式,在看哥德尔对形式逻辑的表述。 虽然哥德尔100多页的纯形式  详情 回复 发表于 2022-5-16 16:32
杨学志  我都看明白了。 除了“可证明”没有定义这一点之外,其他的方面哥德尔都对。 你所说的数学角度有差距,估计是你的执念。有没有差距,要看有没有把事情说清楚。  详情 回复 发表于 2022-5-14 18:52
杨学志  这正是哥德尔的问题。“可证明”没有定义,所以才能搞出悖论。  详情 回复 发表于 2022-5-14 18:40

举报本楼

军衔等级:

  少将

注册:2012-11-961

通信理论技术专家

12#
发表于 2022-5-14 18:40:14 |只看该作者
rible 发表于 2022-5-14 16:44
看了一下你的文章。提几个建议:1、先在“可证明”和“不可证明”的定义上达成一致,也就是先弄清楚这两个词 ...

这正是哥德尔的问题。“可证明”没有定义,所以才能搞出悖论。  

点评

qkb_75@163.com  想要立非常之论,建非常之功,必要要有拿得出手的非常之证据!! 证据!论证! 你不是自认为自己是国内顶尖科学家吗?拿出顶尖科学家的作风出来! 否则,一个区区的 IEEEE fellow的身份, 在数理逻辑领域,是没  详情 回复 发表于 2022-5-16 16:09

举报本楼

军衔等级:

  少将

注册:2012-11-961

通信理论技术专家

13#
发表于 2022-5-14 18:52:39 |只看该作者
rible 发表于 2022-5-14 16:44
看了一下你的文章。提几个建议:1、先在“可证明”和“不可证明”的定义上达成一致,也就是先弄清楚这两个词 ...

我都看明白了。 除了“可证明”没有定义这一点之外,其他的方面哥德尔都对。

你所说的数学角度有差距,估计是你的执念。有没有差距,要看有没有把事情说清楚。

点评

rible  讨论数学要用数学的思维和方法。这并不是执念问题。 数学跟其他科学(比如物理、化学、生物等)不一样,数学是纯形式逻辑,不需要跟现实世界相符。 比如上面有用欧几里德几何的几个公理举例,实际上数学并不要求所有  详情 回复 发表于 2022-5-14 20:04

举报本楼

军衔等级:

  少将

注册:2012-11-961

通信理论技术专家

14#
发表于 2022-5-14 19:01:03 |只看该作者
rible 发表于 2022-5-14 16:44
看了一下你的文章。提几个建议:1、先在“可证明”和“不可证明”的定义上达成一致,也就是先弄清楚这两个词 ...

哥德尔不完备定理的证明存在极其隐晦的错误! - 杨学志的文章 - 知乎
https://zhuanlan.zhihu.com/p/509100618

举报本楼

军衔等级:

  四级军士长

注册:2006-2-13194
15#
发表于 2022-5-14 20:04:45 |只看该作者
杨学志 发表于 2022-5-14 18:52
我都看明白了。 除了“可证明”没有定义这一点之外,其他的方面哥德尔都对。

你所说的数学角度有差距 ...

讨论数学要用数学的思维和方法。这并不是执念问题。
数学跟其他科学(比如物理、化学、生物等)不一样,数学是纯形式逻辑,不需要跟现实世界相符。
比如上面有用欧几里德几何的几个公理举例,实际上数学并不要求所有看起来“合理”的公理都一定作为这个系统的公理。比如平行公理就可以不在里面,这时候很多命题无法证明(无法证明正确也无法证明错误)。
当加入不同的平行公理(欧式平行公理、罗氏平行公理、黎曼的平行公理(没有平行线))后,就成为不同的几何:欧式几何、罗氏几何、黎曼几何。在这个系统中,平行公理就属于在原有系统无法证明的命题。
哥德尔不完备定理就是说,只要你蕴含自然数系统,就还有命题需要作为公理加入,否则就有命题证明不出来(无法证明正确也无法证明错误)。这里的证明不出来是指无论能力如何,只要不修改公理和逻辑,都不可能证明出来。
我比较仔细的看了你的文章,没看出来证明了哥德尔不完备定理有错误。

点评

杨学志  这些都是已经解决了的问题。 你可以读一下我这方面的文章。  详情 回复 发表于 2022-5-14 21:00

举报本楼

军衔等级:

  四级军士长

注册:2006-2-13194
16#
发表于 2022-5-14 20:22:02 |只看该作者
杨学志 发表于 2022-5-14 19:01
哥德尔不完备定理的证明存在极其隐晦的错误! - 杨学志的文章 - 知乎
https://zhuanlan.zhihu.com/p/509 ...

建议你参考一下这个证明。比较简短易懂。
https://zhuanlan.zhihu.com/p/102607973

点评

杨学志  谢谢了。 我没什么地方没有读懂的。 哥德尔的证明过程我都认可,错误只在“可证明”没有定义。 你读懂了我的话了吗?  详情 回复 发表于 2022-5-14 21:02

举报本楼

军衔等级:

  少将

注册:2012-11-961

通信理论技术专家

17#
发表于 2022-5-14 21:00:28 |只看该作者
rible 发表于 2022-5-14 20:04
讨论数学要用数学的思维和方法。这并不是执念问题。
数学跟其他科学(比如物理、化学、生物等)不一样,数 ...

这些都是已经解决了的问题。 你可以读一下我这方面的文章。

举报本楼

军衔等级:

  少将

注册:2012-11-961

通信理论技术专家

18#
发表于 2022-5-14 21:02:19 |只看该作者
rible 发表于 2022-5-14 20:22
建议你参考一下这个证明。比较简短易懂。
https://zhuanlan.zhihu.com/p/102607973

谢谢了。 我没什么地方没有读懂的。 哥德尔的证明过程我都认可,错误只在“可证明”没有定义。 你读懂了我的话了吗?

举报本楼

军衔等级:

  大校

注册:2019-10-9819
19#
发表于 2022-5-16 11:21:21 |只看该作者
杨学志 发表于 2022-5-14 04:31
第一,公理是证明的起点,不能被证明。
第二,即使我证明了, 你也宣告不了什么,

给我一个反例!!!
否则你嚷嚷得再厉害,也无用!

***

举报本楼

军衔等级:

  一级军士长

注册:2019-8-28190
20#
发表于 2022-5-16 12:52:41 |只看该作者
不明觉厉

举报本楼

您需要登录后才可以回帖 登录 | 注册 |

Archiver|手机版|C114 ( 沪ICP备12002291号-1 )|联系我们 |网站地图  

GMT+8, 2024-4-26 10:41 , Processed in 0.189352 second(s), 20 queries , Gzip On.

Copyright © 1999-2023 C114 All Rights Reserved

Discuz Licensed

回顶部