哥德巴赫猜想和黎曼猜想会不会无法证明也无法证伪

我还是支持最终能被证出来，只不过是现在还没人想到或者能用的工具还没开发建立好。

从证明耗时上来说，费马大定理花了三百多年，三百年间欧拉和阿贝尔也只是给出其中一个数的证明，从工具上来说，最终的证明用到的工具之一是椭圆积分，欧拉和阿贝尔的年代还没。

工具的缺乏是很致命的，望月新一宣布证明了ABC猜想之前，先自己搭建了一套“远阿贝尔几何”理论。这份理论，连同以此为基础对ABC猜想的证明过程，加起来一千多页，问题是他那个工具也没多少人能理解得了，更别提验证他的证明的真假了。

这种事情还是要看数学天才们开疆拓土，我们凡人以后看看数学史话啥的就行了[s:ac:闪光]

那咋能判断一个命题不能证明也不能证伪呢？

有可能吧，但是为了证明这些发明的方法也有用

哥德巴赫猜想不是已经被证明了么？最近的事

先确认我们现在所说的“数学”是基于什么样的一个公理体系，然后证明其与这一套公理体系不矛盾，独立。
(忘回复楼层了。。。)

[quote][pid=491648702,25459833,1]Reply[/pid] Post by [uid=61919922]萧观澜1222[/uid] (2021-02-07 20:16):

那咋能判断一个命题不能证明也不能证伪呢？[/quote]先确认我们现在所说的“数学”是基于什么样的一个公理体系，然后证明其与这一套公理体系不矛盾，独立。