哥德巴赫猜想 既不能证明也不能被反证,是不是因为受到歌德尔不完备定理的限制,哥德巴赫猜想属于形式逻辑么,据说只有形式逻辑系统才受歌德尔不完备定理限制

哥德巴赫猜想 既不能证明也不能被反证,是不是因为受到歌德尔不完备定理的限制,哥德巴赫猜想属于形式逻辑么,据说只有形式逻辑系统才受歌德尔不完备定理限制
哥德巴赫猜想 既不能证明也不能被反证,是不是因为受到歌德尔不完备定理的限制,哥德巴赫猜想属于形式逻辑么,据说只有形式逻辑系统才受歌德尔不完备定理限制

哥德巴赫猜想 既不能证明也不能被反证,是不是因为受到歌德尔不完备定理的限制,哥德巴赫猜想属于形式逻辑么,据说只有形式逻辑系统才受歌德尔不完备定理限制
不是
据我了解,哥德尔不完备定理是在一个公理体系内才成立的,哥德巴赫猜想不属于公理体系,是纯粹数学问题,所以不受哥德尔不完备性定理制约.
哥德巴赫猜想应该是正确的,但是这只是计算机的结果,严格证明必须用数学方法,因为计算机算出来的是有限数

哥德巴赫猜想是纯粹数学问题，吕明进已经用数学方法完全彻底的给出了证明。请上网点题“对称奇素数定理与应用”一文阅看(注意：一定要看2011年6月网上公布的全文，因2010年网上公布的虽是一篇完整整的文章，但它是摘要)。该文有详细的证明过程和步骤，且与众不同的创意新方法。“耳听为虚，眼见为实”，去上网看看吧！
yz120ab...

全部展开

哥德巴赫猜想是纯粹数学问题，吕明进已经用数学方法完全彻底的给出了证明。请上网点题“对称奇素数定理与应用”一文阅看(注意：一定要看2011年6月网上公布的全文，因2010年网上公布的虽是一篇完整整的文章，但它是摘要)。该文有详细的证明过程和步骤，且与众不同的创意新方法。“耳听为虚，眼见为实”，去上网看看吧！
yz120ab

收起

【哥德巴赫猜想简介】
[编辑本段]
当年徐迟的一篇报告文学，中国人知道了陈景润和哥德巴赫猜想。
那么，什么是哥德巴赫猜想呢？
哥德巴赫猜想大致可以分为两个猜想：
■1.每个不小于6的偶数都是两个奇素数之和；
■2.每个不小于9的奇数都是三个奇素数之和。
■哥德巴赫相关
哥德巴赫（Goldbach C.，1690.3.18~1764...

全部展开

【哥德巴赫猜想简介】
[编辑本段]
当年徐迟的一篇报告文学，中国人知道了陈景润和哥德巴赫猜想。
那么，什么是哥德巴赫猜想呢？
哥德巴赫猜想大致可以分为两个猜想：
■1.每个不小于6的偶数都是两个奇素数之和；
■2.每个不小于9的奇数都是三个奇素数之和。
■哥德巴赫相关
哥德巴赫（Goldbach C.，1690.3.18~1764.11.20）是德国数学家；出生于格奥尼格斯别尔格（现名加里宁城）；曾在英国牛津大学学习；原学法学，由于在欧洲各国访问期间结识了贝努利家族,所以对数学研究产生了兴趣；曾担任中学教师。1725年，到了俄国，同年被选为彼得堡科学院院士；1725年~1740年担任彼得堡科学院会议秘书；1742年，移居莫斯科，并在俄国外交部任职。
【哥德巴赫猜想的来源】
[编辑本段]
1729年~1764年，哥德巴赫与欧拉保持了长达三十五年的书信往来。
在1742年6月7日给欧拉的信中，哥德巴赫提出了一个命题。他写道：
"我的问题是这样的：
随便取某一个奇数，比如77，可以把它写成三个素数之和：
77=53+17+7；
再任取一个奇数，比如461，
461=449+7+5，
也是三个素数之和，461还可以写成257+199+5，仍然是三个素数之和。这样，我发现：任何大于5的奇数都是三个素数之和。
但这怎样证明呢？虽然做过的每一次试验都得到了上述结果，但是不可能把所有的奇数都拿来检验，需要的是一般的证明，而不是一个别的检验。"
欧拉回信说，这个命题看来是正确的，但是他也给不出严格的证明。同时欧拉又提出了另一个命题：任何一个大于2的偶数都是两个素数之和，但是这个命题他也没能给予证明。
不难看出，哥德巴赫的命题是欧拉命题的推论。事实上，任何一个大于5的奇数都可以写成如下形式：
2N+1=3+2(N-1)，其中2(N-1)≥4.
若欧拉的命题成立，则偶数2(N-1)可以写成两个素数之和，于是奇数2N+1可以写成三个素数之和，从而，对于大于5的奇数，哥德巴赫的猜想成立。
但是哥德巴赫的命题成立并不能保证欧拉命题的成立。因而欧拉的命题比哥德巴赫的命题要求更高。
现在通常把这两个命题统称为哥德巴赫猜想
【哥德巴赫猜想的小史】
[编辑本段]
1742年，哥德巴赫在教学中发现，每个不小于6的偶数都是两个素数（只能被1和它本身整除的数）之和。如6＝3＋3，12＝5＋7等等。公元1742年6月7日哥德巴赫写信给当时的大数学家欧拉，欧拉在6月30日给他的回信中说，他相信这个猜想是正确的，但他不能证明。叙述如此简单的问题，连欧拉这样首屈一指的数学家都不能证明，这个猜想便引起了许多数学家的注意。从哥德巴赫提出这个猜想至今，许多数学家都不断努力想攻克它，但都没有成功。当然曾经有人作了些具体的验证工作，例如: 6 = 3 + 3, 8 = 3 + 5, 10 = 5 + 5 = 3 + 7, 12 = 5 + 7, 14 = 7 + 7 = 3 + 11,16 = 5 + 11, 18 = 5 + 13, ……等等。有人对33×108以内且大过6之偶数一一进行验算，哥德巴赫猜想(a)都成立。但严格的数学证明尚待数学家的努力。
从此，这道著名的数学难题引起了世界上成千上万数学家的注意。200年过去了，没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的"明珠"。 人们对哥德巴赫猜想难题的热情，历经两百多年而不衰。世界上许许多多的数学工作者，殚精竭虑，费尽心机，然而至今仍不得其解。
到了20世纪20年代，才有人开始向它靠近。1920年挪威数学家布朗用一种古老的筛选法证明，得出了一个结论：每一个比大偶数n（不小于6）的偶数都可以表示为（99）。这种缩小包围圈的办法很管用，科学家们于是从（9十9）开始，逐步减少每个数里所含质数因子的个数，直到最后使每个数里都是一个质数为止，这样就证明了哥德巴赫猜想。
目前最佳的结果是中国数学家陈景润于1966年证明的，称为陈氏定理：“任何充分大的偶数都是一个质数与一个自然数之和，而后者仅仅是两个质数的乘积。”通常都简称这个结果为大偶数可表示为 “1 + 2”的形式。
■哥德巴赫猜想证明进度相关
在陈景润之前，关于偶数可表示为 s个质数的乘积 与t个质数的乘积之和(简称“s + t”问题)之进展情况如下:
1920年，挪威的布朗证明了“9 + 9”。
1924年，德国的拉特马赫证明了“7 + 7”。
1932年，英国的埃斯特曼证明了“6 + 6”。
1937年，意大利的蕾西先后证明了“5 + 7”, “4 + 9”, “3 + 15”和“2 + 366”。
1938年，苏联的布赫夕太勃证明了“5 + 5”。
1940年，苏联的布赫夕太勃证明了“4 + 4”。
1948年，匈牙利的瑞尼证明了“1+ c”，其中c是一很大的自然数。
1956年，中国的王元证明了“3 + 4”。
1957年，中国的王元先后证明了 “3 + 3”和“2 + 3”。
1962年，中国的潘承洞和苏联的巴尔巴恩证明了“1 + 5”， 中国的王元证明了“1 + 4”。
1965年，苏联的布赫 夕太勃和小维诺格拉多夫，及意大利的朋比利证明了“1 + 3 ”。
1966年，中国的陈景润证明了 “1 + 2 ”。
从1920年布朗证明"9＋9"到1966年陈景润攻下“1＋2”，历经46年。自"陈氏定理"诞生至今的40多年里，人们对哥德巴赫猜想猜想的进一步研究，均劳而无功。
【哥德巴赫猜想意义】
[编辑本段]
“用当代语言来叙述，哥德巴赫猜想有两个内容，第一部分叫做奇数的猜想，第二部分叫做偶数的猜想。奇数的猜想指出，任何一个大于等于7的奇数都是三个素数的和。偶数的猜想是说，大于等于4的偶数一定是两个素数的和。”（引自《哥德巴赫猜想与潘承洞》）
关于哥德巴赫猜想的难度我就不想再说什么了，我要说一下为什么现代数学界对哥德巴赫猜想的兴趣不大，以及为什么中国有很多所谓的民间数学家对哥德巴赫猜想研究兴趣很大。
事实上，在1900年，伟大的数学家希尔伯特在世界数学家大会上作了一篇报告，提出了23个挑战性的问题。哥德巴赫猜想是第八个问题的一个子问题，这个问题还包含了黎曼猜想和孪生素数猜想。现代数学界中普遍认为最有价值的是广义黎曼猜想，若黎曼猜想成立，很多问题就都有了答案，而哥德巴赫猜想和孪生素数猜想相对来说比较孤立，若单纯的解决了这两个问题，对其他问题的解决意义不是很大。所以数学家倾向于在解决其它的更有价值的问题的同时，发现一些新的理论或新的工具，“顺便”解决哥德巴赫猜想。
例如：一个很有意义的问题是：素数的公式。若这个问题解决，关于素数的问题应该说就不是什么问题了。
为什么民间数学家们如此醉心于哥猜，而不关心黎曼猜想之类的更有意义的问题呢？
一个重要的原因就是，黎曼猜想对于没有学过数学的人来说，想读明白是什么意思都很困难。而哥德巴赫猜想对于小学生来说都能读懂。
数学界普遍认为，这两个问题的难度不相上下。
民间数学家解决哥德巴赫猜想大多是在用初等数学来解决问题，一般认为，初等数学无法解决哥德巴赫猜想。退一步讲，即使那天有一个牛人，在初等数学框架下解决了哥德巴赫猜想，有什么意义呢？这样解决，恐怕和做了一道数学课的习题的意义差不多了。
当年柏努力兄弟向数学界提出挑战，提出了最速降线的问题。牛顿用非凡的微积分技巧解出了最速降线方程，约翰·柏努力用光学的办法巧妙的也解出最速降线方程，雅克布·柏努力用比较麻烦的办法解决了这个问题。虽然雅克布的方法最复杂，但是在他的方法上发展出了解决这类问题的普遍办法——变分法。现在来看，雅克布的方法是最有意义和价值的。
同样，当年希尔伯特曾经宣称自己解决了费尔马大定理，但却不公布自己的方法。别人问他为什么，他回答说：“这是一只下金蛋的鸡，我为什么要杀掉它？”的确，在解决费尔马大定理的历程中，很多有用的数学工具得到了进一步发展，如椭圆曲线、模形式等。
所以，现代数学界在努力的研究新的工具，新的方法，期待着哥德巴赫猜想这个“下金蛋的鸡”能够催生出更多的理论。

收起

哥德巴赫猜想的内容在Peano公理中（可以用Peano的语言写出来），受到Godel的限制。
不过现在既没有人证出来，也没有人证明了Goldbach不可证。