数学中国

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

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

[复制链接]
发表于 2017-10-7 16:05 | 显示全部楼层
moranhuishous 发表于 2017-10-7 07:53
包括楼主在内,好像都认为这个定理是正确的,但没有一个人举出一个例子说明一下帮助理解,即使是非数学的例 ...

事实上,皮亚诺提出了自然数继数公理,这个公理说明:任何自然数之后还有自然数,自然数是无有穷尽的,这个说法是正确的,这个说法与康托儿把自然数集合看作完成了的实无穷集合的现行无穷集合理论之间就存在着矛盾。对形式公理体系必须联系实际的说明数学符号与公理的现实意义与应用范围。例如:对ZFC公理中无穷公理就需要说明那个存在的集合的实际意义与性质。总之,纯粹 形式逻辑的探究方法 应当 被推翻。建立唯物辩证法下的联系实践的数学理论。 首先是 自然数的唯物辩证法下的体系。
发表于 2017-10-7 16:04 | 显示全部楼层
moranhuishous 发表于 2017-10-7 07:53
包括楼主在内,好像都认为这个定理是正确的,但没有一个人举出一个例子说明一下帮助理解,即使是非数学的例 ...

事实上,皮亚诺提出了自然数继数公理,这个公理说明:任何自然数之后还有自然数,自然数是无有穷尽的,这个说法是正确的,这个说法与康托儿把自然数集合看作完成了的实无穷集合的现行无穷集合理论之间就存在着矛盾。对形式公理体系必须联系实际的说明数学符号与公理的现实意义与应用范围。例如:对ZFC公理中无穷公理就需要说明那个存在的集合的实际意义与性质。总之,纯粹 形式逻辑的探究方法 应当 被推翻。建立唯物辩证法下的联系实践的数学理论。 首先是 自然数的唯物辩证法下的体系。
发表于 2017-10-7 15:53 | 显示全部楼层
包括楼主在内,好像都认为这个定理是正确的,但没有一个人举出一个例子说明一下帮助理解,即使是非数学的例子也没有,定理又没有严格证明,凭什么就认为它是正确的呢?
发表于 2017-10-7 05:15 | 显示全部楼层
虽然可以使用“形式公理公理方法建立一些数学理论的逻辑体系”,但是哥德尔不完全定理说明:量逻辑下完备而又相容的形式公理体系是不存在的;事实上,皮亚诺提出了自然数继数公理,这个公理说明:任何自然数之后还有自然数,自然数是无有穷尽的,这个说法是正确的,这个说法与康托儿把自然数集合看作完成了的实无穷集合的现行无穷集合理论之间就存在着矛盾。对形式公理体系必须联系实际的说明数学符号与公理的现实意义与应用范围。例如:对ZFC公理中无穷公理就需要说明那个存在的集合的实际意义与性质。总之,纯粹 形式逻辑的探究方法 应当 被推翻。建立唯物辩证法下的联系实践的数学理论。 首先是 自然数的唯物辩证法下的体系。
发表于 2017-10-6 20:19 | 显示全部楼层
jzkyllcjl 发表于 2017-10-6 16:27
量逻辑下的不完全性 是不是说明 在无穷问题中 存在着 不可判断问题 ?

其不完备性是指在量逻辑的范畴內某一命题不具有其被判断为真伪的前提进而无法形成判断。
发表于 2017-10-6 20:08 | 显示全部楼层
你的证明太长。
能不能 提出“n+1为偶数”作为命题G来证明这个不完全定理成立。因为: 对这个命题G与否G 均不可证。
发表于 2017-10-6 18:45 | 显示全部楼层
我在《今日头条》发了《费马大定理的证明》一文,有个"官壳"回帖说:

“证明和证伪之外,还有个结果是既不能证明也不能证伪,也就是证明之前,应该先证明其是否可以证明,仅凭这点,说明你是个“民科”。”

这个傻逼说的大概就是这个哥德尔定理了吧?
 楼主| 发表于 2017-10-6 17:28 | 显示全部楼层
本帖最后由 白仙鹤 于 2017-10-6 17:34 编辑
elim 发表于 2017-10-5 23:44
大家的共识大致有这么几点:
1)对不完全定理本身作出一个通俗的陈述.
2) 对原证明的错误作出要更详尽的 ...


谢谢,诚挚的谢谢您。
哥德尔不完全定理太知名了,只须回车就是。
不难懂的,论文基本自足,请您下载一份 pdf 版本,看看是否如此。兴趣加明白就是快乐。祝您不亦乐乎,乐在其中。
哥德尔不完全定理表述的意义应该是正确的,但不应该称之为定理。对于其证明,我已是取得了颠覆性成果。
发表于 2017-10-6 16:27 | 显示全部楼层
量逻辑下的不完全性 是不是说明 在无穷问题中 存在着 不可判断问题 ?
您需要登录后才可以回帖 登录 | 注册

本版积分规则

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

GMT+8, 2024-3-29 22:41 , Processed in 0.071289 second(s), 15 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

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