24小时热门版块排行榜    

Znn3bq.jpeg
查看: 2001  |  回复: 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 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 材料化工总分334求调剂 +14 Riot2025 2026-04-08 14/700 2026-04-09 17:36 by yongzhesheng
[考研] 302分求调剂 +4 凡语祈愿 2026-04-08 5/250 2026-04-08 22:03 by 土木硕士招生
[考研] 296求调剂 +3 汪!?! 2026-04-08 3/150 2026-04-08 22:00 by zhouyuwinner
[考研] 336求调剂,一志愿中科大 +9 墨彧 yuyu 2026-04-06 9/450 2026-04-08 11:24 by 想读书的菌菌
[考研] 材料专硕 调剂 +17 CXN123456 2026-04-03 17/850 2026-04-08 11:10 by lijunpoly
[考研] 287求调剂 +10 Fnhc 2026-04-07 16/800 2026-04-08 10:07 by xingguangj
[考研] 304求调剂 +10 素年祭语 2026-04-06 17/850 2026-04-08 09:05 by 蓝云思雨
[考研] 323求调剂 +3 林zlu 2026-04-07 4/200 2026-04-07 23:21 by lbsjt
[考研] 11408 325分 +3 jgtxuxgkx 2026-04-07 3/150 2026-04-07 23:10 by lbsjt
[考研] 求调剂 +4 wos666 2026-04-03 5/250 2026-04-06 15:22 by wos666
[考研] 复试调剂 +5 asdasdassda 2026-04-05 5/250 2026-04-06 09:32 by dongzh2009
[考研] 一志愿哈尔滨工业大学085600英一数二337分求调剂 +12 lyz0427 2026-04-03 12/600 2026-04-06 06:37 by houyaoxu
[考研] 生物与医药调剂 +4 十七sa 2026-04-05 4/200 2026-04-05 20:05 by lys0704
[考研] 一志愿北交大材料工程总分358求调剂 +6 cs0106 2026-04-05 6/300 2026-04-05 16:34 by imissbao
[考研] 295求调剂 +4 A你好研究生 2026-04-04 5/250 2026-04-04 22:46 by yu221
[考研] 342求调剂 +3 Liang7111 2026-04-04 5/250 2026-04-04 19:47 by dongzh2009
[考研] 350一志愿北京航空航天大学08500材料科学与工程求调剂 +5 kjnasfss 2026-04-03 5/250 2026-04-03 22:29 by 无际的草原
[考研] 求调剂 +4 压力??大 2026-04-03 4/200 2026-04-03 21:36 by 啵啵啵0119
[考研] 求调剂 +4 15064154688 2026-04-03 5/250 2026-04-03 15:07 by zrongyan
[硕博家园] 求老师收留 +9 lllq123 2026-04-03 9/450 2026-04-03 13:48 by 呼吸都是减肥
信息提示
请填处理意见