把哥德尔定理和罗素悖论联系起来就是无知的表现(转载)

永远

最近有几位不死心，总是想用哥德尔不完全定理抓笔者马脚，可惜这帮人自己不懂，又找一些乱七八糟的人，什么所谓的印度专家、蹩脚的科普作家。今天下午笔者没事，就用尽量通俗的语言和这几位上上课，但笔者从来没有当过老师，更没教过幼儿园，所以有什么不耐心的地方就先请各位小男孩原谅。
  但笔者无论如何没有耐心从婴儿班的集合概念说起，所以有关集合的问题就不说了。所谓罗素悖论，就是谈论有关所有集合的集合时出现的问题。因为在罗素悖论发现之前，人们都是随便谈论集合，罗素悖论指出这样的谈论会引发矛盾。而罗素悖论只要通过对集合公理化的方式就可以避免，其主要的出发点就是不允许谈论罗素悖论里涉及的诸如所有集合的集合之类的东西，在集合公理化里，集合再不是一种无须定义的东西，而是被一大套公理所规定的东西，在这一大套公理之下，罗素悖论就不再存在。所以说，罗素悖论并不是什么大不了的事情。
   而哥德尔不完全定理的背景和罗素悖论根本不同。现在的人一般只知道哥德尔不完全定理，但有一个哥德尔完全定理可能知道的人不多。这个定理主要是证明了一阶谓词系统的完备和无矛盾。不太严格地说，完全就是完备加无矛盾，完备就是在这个系统里的任意一个命题都是可判断的，也就是说可以说出真假；而无矛盾就是这个系统不能推出任何两个相反的命题，一般都可以归结为推不出1=0这样的结论。而哥德尔完全定理就证明了一阶谓词系统就是一个完备和无矛盾的系统。
   由于非欧几何的出现，使得数学系统完备和无矛盾的证明变得十分重要，而通过一大堆人的努力，这种东西都可以归结到算术系统的完备和无矛盾性上来。所谓算术系统，对于一般人可以大概理解成就是整数和加法运算（乘法和减法都可以通过加法定义，对于整数环，除法可以不考虑）。
   也就是说，只要证明了算术系统的完备和无矛盾性，整个数学，包括整个科学（因为物理学其实也是可以公理化的，本质上是数学的一个分支）都有一个严格的基础。由于一阶谓词系统就是一个完备和无矛盾的系统，而算术系统是非形式系统中最简单的，整个世界就看这最后一步了。可惜成也萧何、败也萧何，竟然又是这个破哥德尔，他竟然证明了任何一个包括了算术系统的非形式系统都是不完全的，也就是说完备加无矛盾不能够同时成立。这个家伙的可恶在于，他首先点燃了全世界人的希望，然后再把这个希望毁灭给全世界看，虽然这样使得爱因斯坦也对他必恭必敬，但最后他好象是饿死的，也算天网恢恢了。
   由于这样，把数学归于形式系统，也就是逻辑的想法彻底破灭，反而使得大家明白，逻辑只是整个数学游戏的一部分，逻辑有无数种，只是每个人的爱好不同。例如有些数学家就不承认实数和排中律，而这并不说明他们比承认实数和排中律的人古怪，只是爱好不同。当然，大多数人都承认实数和排中律，因为有了实数和排中律，这个游戏好玩很多，如此而已。
更重要的是，上帝不存在了，即使在一个局部的非形式系统中，上帝也不存在。任何一个非形式系统，或者有不可判断的命题、或者有矛盾的命题，这和能力无关。有些一知半解的人说什么数学不严密了，什么什么丧失了，其实根本就不明白什么回事。数学依然严密，只是上帝不存在了，全知全能不存在了，如此而已

永远

声明：以上为转载内容，最终解释权归原创。另这篇文章可能对各大佬有帮助。仅供同好者讨论

jzkyllcjl

希望研究哥德尔完全性的意义，研究两个定理的不同用处。需要不断地研究、进步。

永远

jzkyllcjl 发表于 2018-1-25 11:10
希望研究哥德尔完全性的意义，研究两个定理的不同用处。需要不断地研究、进步。

很是深奥

jzkyllcjl

永远 发表于 2018-1-25 07:02
很是深奥

完全定理与不完全定理 是分别对有穷集合与无穷集合成立的定理。
哥德尔是20世纪最伟大的数学家和逻辑学家。在逻辑学中的地位，一般都将他与亚里士多德和莱布尼兹相比；在数学中的地位，爱因斯坦把哥德尔的贡献与他本人对物理学的贡献相提并论。1952年6月美国哈佛大学授予哥德尔荣誉理学学位时，称他为“20世纪最有意义的数学真理的发现者”。在哥德尔所发现的被称为“20世纪最有意义的数学真理”当中，最杰出、最具有有代表性、最有震撼力的是哥德尔不完全性定理[1]

elim

哥德尔的结果建立在实无穷的基础上。不是老差生看得懂的。

jzkyllcjl

elim 发表于 2018-1-26 08:54
哥德尔的结果建立在实无穷的基础上。不是老差生看得懂的。

哥德尔不完全定理表明在 完成了的实无穷下 存在着“既不能否定又不能肯定”的不可判定命题。

jzkyllcjl

elim 发表于 2018-1-26 08:54
哥德尔的结果建立在实无穷的基础上。不是老差生看得懂的。

哥德尔不完全定理表明在 完成了的实无穷下 存在着“既不能否定又不能肯定”的不可判定命题。布劳威尔的反例就是一个例子。

elim

伟大的哥德尔碰到了尾大的jzkyllcjl. 后者谎称找到了拿不出来的”反例“。

其实jzkyllcjl 何止一次撒谎，它的 0.333... 是变数是无穷次以有限小数冒充无尽小数偷换概念而”悟出“的腚理。