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

jzkyllcjl

moranhuishous 发表于 2017-10-7 07:53
包括楼主在内，好像都认为这个定理是正确的，但没有一个人举出一个例子说明一下帮助理解，即使是非数学的例 ...

事实上，皮亚诺提出了自然数继数公理,这个公理说明:任何自然数之后还有自然数，自然数是无有穷尽的，这个说法是正确的，这个说法与康托儿把自然数集合看作完成了的实无穷集合的现行无穷集合理论之间就存在着矛盾。对形式公理体系必须联系实际的说明数学符号与公理的现实意义与应用范围。例如：对ZFC公理中无穷公理就需要说明那个存在的集合的实际意义与性质。总之，纯粹 形式逻辑的探究方法 应当 被推翻。建立唯物辩证法下的联系实践的数学理论。 首先是 自然数的唯物辩证法下的体系。

jzkyllcjl

moranhuishous 发表于 2017-10-7 07:53
包括楼主在内，好像都认为这个定理是正确的，但没有一个人举出一个例子说明一下帮助理解，即使是非数学的例 ...

事实上，皮亚诺提出了自然数继数公理,这个公理说明:任何自然数之后还有自然数，自然数是无有穷尽的，这个说法是正确的，这个说法与康托儿把自然数集合看作完成了的实无穷集合的现行无穷集合理论之间就存在着矛盾。对形式公理体系必须联系实际的说明数学符号与公理的现实意义与应用范围。例如：对ZFC公理中无穷公理就需要说明那个存在的集合的实际意义与性质。总之，纯粹 形式逻辑的探究方法 应当 被推翻。建立唯物辩证法下的联系实践的数学理论。 首先是 自然数的唯物辩证法下的体系。

moranhuishous

包括楼主在内，好像都认为这个定理是正确的，但没有一个人举出一个例子说明一下帮助理解，即使是非数学的例子也没有，定理又没有严格证明，凭什么就认为它是正确的呢？

jzkyllcjl

虽然可以使用“形式公理公理方法建立一些数学理论的逻辑体系”，但是哥德尔不完全定理说明：量逻辑下完备而又相容的形式公理体系是不存在的；事实上，皮亚诺提出了自然数继数公理,这个公理说明:任何自然数之后还有自然数，自然数是无有穷尽的，这个说法是正确的，这个说法与康托儿把自然数集合看作完成了的实无穷集合的现行无穷集合理论之间就存在着矛盾。对形式公理体系必须联系实际的说明数学符号与公理的现实意义与应用范围。例如：对ZFC公理中无穷公理就需要说明那个存在的集合的实际意义与性质。总之，纯粹 形式逻辑的探究方法 应当 被推翻。建立唯物辩证法下的联系实践的数学理论。 首先是 自然数的唯物辩证法下的体系。

lkPark

jzkyllcjl 发表于 2017-10-6 16:27
量逻辑下的不完全性 是不是说明 在无穷问题中 存在着 不可判断问题 ？

其不完备性是指在量逻辑的范畴內某一命题不具有其被判断为真伪的前提进而无法形成判断。

jzkyllcjl

你的证明太长。
能不能 提出“n+1为偶数”作为命题G来证明这个不完全定理成立。因为： 对这个命题G与否G 均不可证。

moranhuishous

我在《今日头条》发了《费马大定理的证明》一文，有个"官壳"回帖说：

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

这个傻逼说的大概就是这个哥德尔定理了吧？

白仙鹤

elim 发表于 2017-10-5 23:44
大家的共识大致有这么几点：
1）对不完全定理本身作出一个通俗的陈述.
2) 对原证明的错误作出要更详尽的 ...

谢谢，诚挚的谢谢您。
哥德尔不完全定理太知名了，只须回车就是。
不难懂的，论文基本自足，请您下载一份 pdf 版本，看看是否如此。兴趣加明白就是快乐。祝您不亦乐乎，乐在其中。
哥德尔不完全定理表述的意义应该是正确的，但不应该称之为定理。对于其证明，我已是取得了颠覆性成果。

jzkyllcjl

量逻辑下的不完全性 是不是说明 在无穷问题中 存在着 不可判断问题 ？

任在深

太高深了？