应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 应用数学与力学 » 【求助】近代三大数学难题探索
152/2返回列表上一页12
查看: 1890  |  回复: 14
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看

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位数）。
赞一下(1人) 回复此楼
一生路,十全美,百磨难,千岔口,万决择!
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都证明了，这些机器计算还有啥用。。。
赞一下(1人) 回复此楼
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 ]
赞一下(1人) 回复此楼
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 的主题更新
152/2返回列表上一页12
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
信息提示
关闭
请填处理意见
关闭