超长的数学证明

yyy_fcz · 发表于 2011-5-25 22:12:23

您需要登录才可以下载或查看，没有账号？欢迎注册

×

是否存在这样的数学证明，证明的过程非常长，以至于超出了人们思维的忍受和理解能力。也就是说，人类的数学水平最终只能发展到一定的水平就到不能继续发展了？

xbtianlang · 发表于 2011-5-25 22:51:57

“数学证明”应该用数学语言来描述，跟人们能不能理解没有直接关系。水平应该是在不断提高，楼主的思维很容易被超越！

plp626 · 发表于 2011-5-26 00:08:57

这是哲学问题。
==============

2# xbtianlang
怎么就是思维被超越了？

zeroieme · 发表于 2011-5-26 01:11:46

四色问题

wayne · 发表于 2011-5-26 08:51:45

一个极其简单的hello world C++程序，如果用编译器预处理一下，就会展开出超长的内容.

数学证明其实就跟软件开发，造房子一样，关键看你使用的基础模块，砖头材料是什么

xbtianlang · 发表于 2011-5-26 08:53:19

3# plp626
思维是一种能力，人和人之间是有差异的，要么超越别人，要么被别人超越。至于怎么就是被超越了，你最好去问超越的人或者被超越的人。当然这是有前提的，基于数学的范畴，不可偷换概念。

风云剑 · 发表于 2011-5-26 21:56:20

wayne说的不错，这就像盖房子一样。
费尔马大定理，证明够长了吧，但是以后的某个证明里只需一句话－－根据费尔马大定理可得。。。。
如果证明过程中每个定理都要展开，那还得了？
就好像要拿夸克来盖房子一样。

yyy_fcz · 发表于 2011-5-26 22:46:35

其实我相信，无论如何，数学的发展是有一个极限的，就像盖房子也不能盖无限高吧。
如果人都要靠机器来帮助理解的时候，在此基础上就很难进步了。

云梦 · 发表于 2011-5-29 09:46:33

人们的思维水平在不断翻新，我相信任何数学问题都可以解决的，虽然计算机运算的速度有极限，可算法并没有极限。所以研究解决问题的算法最为关键。像麦森素数几千万位单靠计算机傻算怎么行，每找到一个需要几个月、几年、几十年、几百年.....，就会到达极限，能不能有更好的算法，才是关键哦。

zeroieme · 发表于 2011-5-29 20:28:20

任何数学问题都可以解决

这个命题已经被证否

账号		自动登录	找回密码
密码			欢迎注册

[提问] 超长的数学证明