24小时热门版块排行榜    

查看: 1890  |  回复: 14

liufu

新虫 (初入文坛)

引用回帖:
Originally posted by wangyingbiao at 2011-03-23 22:14:51:
费马大定理是怀尔斯证明的,四色问题是机器证明

好像听说过怀尔斯,不是英国人就是美国人;四色问题的机器证明不少科学家有争议!为什么见不到非机器证明?
11楼2011-03-26 10:58:55
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

yclonion

银虫 (正式写手)


小木虫(金币+0.5):给个红包,谢谢回帖交流
费马定律:当n>2时,就找不到满足xn +yn = zn的整数解。
二十世纪电脑发展以后,许多数学家用电脑计算可以证明这个定理当n为很大时是成立的
,1983年电脑专家斯洛文斯基借助电脑运行5782秒证明当n为286243-1时费马定理是正确
的(注286243-1为一天文数字,大约为25960位数)。
一生路,十全美,百磨难,千岔口,万决择!
12楼2011-03-26 21:01:11
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

Ptolomaeus

铁杆木虫 (正式写手)


小木虫(金币+0.5):给个红包,谢谢回帖交流
引用回帖:
Originally posted by yclonion at 2011-03-26 21:01:11:
费马定律:当n>2时,就找不到满足xn +yn = zn的整数解。
二十世纪电脑发展以后,许多数学家用电脑计算可以证明这个定理当n为很大时是成立的
,1983年电脑专家斯洛文斯基借助电脑运行5782秒证明当n为286243-1 ...

Wyles都证明了,这些机器计算还有啥用。。。
13楼2011-03-28 21:04:47
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

zjuzxr

金虫 (正式写手)


小木虫(金币+0.5):给个红包,谢谢回帖交流
引用回帖:
Originally posted by liufu at 2011-02-27 11:52:11:
据说近代的是指:费马大定理、哥德巴赫猜想、四色定理。

费马大定理ms95年由Princeton的Andrew Wiles搞定了,通过巧妙地运用代数曲线里的一个鬼子的猜想搞定的,现在这哥哥已经是Princeton的镇山之宝了。。。
四色定理的话ms是上世纪70年代机器证明的,据说验证了1200亿种情况都是对的。。。
最后哥德巴赫猜想现在还没搞定,最好的结果仍然是陈景润的。。。ps,三大难题的说法ms不太科学。。。

[ Last edited by zjuzxr on 2011-3-31 at 12:21 ]
14楼2011-03-31 12:19:38
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

liufu

新虫 (初入文坛)

引用回帖:
1509284楼: Originally posted by wangyingbiao at 2011-03-23 22:14:51
费马大定理是怀尔斯证明的,四色问题是机器证明

9楼说对了,谢谢。
15楼2012-12-11 13:07:33
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 liufu 的主题更新
普通表情 高级回复 (可上传附件)
信息提示
请填处理意见