yyy_fcz 发表于 2011-5-29 23:08:55

哥德尔不完全性定理

云梦 发表于 2011-5-30 06:56:31

这个命题已经被证否
zeroieme 发表于 2011-5-29 20:28 http://bbs.emath.ac.cn/images/common/back.gif
还有什么数学问题没有解决呢？即使现在尚未没解决，不等于今后不能解决。哥德巴赫猜想吗？一定会解决的。四色问题，费马定理已经解决。

风云剑 发表于 2011-5-30 12:22:18

没解决的远比已解决的多。

G-Spider 发表于 2011-5-30 12:30:18

我小时候经常考虑一个问题： 宇宙有没有边界？
如果有，边界的后面又是什么呢？
如果没有，这无穷的无穷之后又会是什么呢？
。。。
我无法想象。

wayne 发表于 2011-5-30 12:59:53

15# xbtianlang

人类最大的敌人不是宇宙，而是自己.

自己在自己狭隘的世界观念里编织了一个茧，然后把自己包裹在其中

wayne 发表于 2011-5-30 13:42:34

17# 风云剑
反了反了

wayne 发表于 2011-5-30 13:49:41

额，搜了一下，貌似两种说法都可以。
一个源自分形几何学，
一个源自物理学的势能概念
http://tieba.baidu.com/f?kz=643555739

zeroieme 发表于 2011-5-30 13:54:42


还有什么数学问题没有解决呢？即使现在尚未没解决，不等于今后不能解决。哥德巴赫猜想吗？一定会解决的。四色问题，费马定理已经解决。
云梦 发表于 2011-5-30 06:56 http://bbs.emath.ac.cn/images/common/back.gif
有人说了嘛，《哥德尔不完全性定理》，永远有些无法判定真伪的灰色问题。

另外 希尔伯特第十题：不定方程(又称为丢番图方程)的可解答性。1970年，Matiyasevich证明不存在通用算法。

yyy_fcz 发表于 2011-5-31 22:11:09

我举一个问题：π的无穷小数中是否存在连续n（n足够大时）个9的序列？
这个没法证明吧也没法证伪吧？

zwh2010 发表于 2011-5-31 22:22:24

这种例子很多。回到原问题，只要是人类做的证明，就一定有人能理解，如果你的证明指的是人类做的话；如果不是人类做的，那我们就无法确定，即不可判。可做个类比，猴子不可能理解人类的所有问题，进化了的例外。
页: 1 [2] 3
查看完整版本: 超长的数学证明