24小时热门版块排行榜    

查看: 1976  |  回复: 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 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 广西大学家禽遗传育种课题组2026年硕士招生(接收计算机专业调剂) +3 123阿标 2026-03-17 3/150 2026-03-20 15:58 by 飞行琦
[考研] 281求调剂(0805) +14 烟汐忆海 2026-03-16 25/1250 2026-03-20 15:47 by yuncha
[考研] 265求调剂 +8 梁梁校校 2026-03-17 8/400 2026-03-20 14:40 by 27道科特
[考研] 274求调剂 +8 S.H1 2026-03-18 8/400 2026-03-20 11:53 by 学员8dgXkO
[考研] 工科材料085601 279求调剂 +6 困于星晨 2026-03-17 8/400 2026-03-20 11:24 by kkcoco25
[考研] 【考研调剂】化学专业 281分,一志愿四川大学,诚心求调剂 +6 吃吃吃才有意义 2026-03-19 6/300 2026-03-20 10:47 by 尽舜尧1
[考研] 材料080500调剂求收留 +6 一颗meteor 2026-03-13 6/300 2026-03-20 10:41 by EBSD
[考研] 一志愿武汉理工材料工程专硕调剂 +7 Doleres 2026-03-19 7/350 2026-03-20 10:39 by EBSD
[考研] 304求调剂 +5 曼殊2266 2026-03-18 5/250 2026-03-20 09:00 by ZHANG0tao
[考研] 320求调剂0856 +3 不想起名字112 2026-03-19 3/150 2026-03-19 22:53 by 学员8dgXkO
[考研] 梁成伟老师课题组欢迎你的加入 +9 一鸭鸭哟 2026-03-14 11/550 2026-03-19 17:22 by !本暗一次!
[考研] 304求调剂 +6 司空. 2026-03-18 6/300 2026-03-18 23:03 by 星空星月
[考研] 化学工程321分求调剂 +15 大米饭! 2026-03-15 18/900 2026-03-18 14:52 by haxia
[考研] 311求调剂 +11 冬十三 2026-03-15 12/600 2026-03-18 14:36 by 星空星月
[考研] 0854可跨调剂,一作一项核心论文五项专利,省、国级证书40+数一英一287 +8 小李0854 2026-03-16 8/400 2026-03-18 14:35 by 搏击518
[考研] 304求调剂 +12 小熊joy 2026-03-14 13/650 2026-03-18 12:34 by Linda Hu
[考博] 26博士申请 +3 1042136743 2026-03-17 3/150 2026-03-17 23:30 by 轻松不少随
[考研] 283求调剂 +3 听风就是雨; 2026-03-16 3/150 2026-03-17 07:41 by 热情沙漠
[考研] 070303 总分349求调剂 +3 LJY9966 2026-03-15 5/250 2026-03-16 14:24 by xwxstudy
[考研] 复试调剂 +3 呼呼?~+123456 2026-03-14 3/150 2026-03-14 16:53 by WTUChen
信息提示
请填处理意见