佳礼资讯网

 找回密码
 注册

ADVERTISEMENT

查看: 4330|回复: 22

...

  [复制链接]
发表于 14-7-2011 11:21 AM | 显示全部楼层 |阅读模式
本帖最后由 50912cmea 于 20-7-2019 07:05 PM 编辑

...
回复

使用道具 举报


ADVERTISEMENT

发表于 20-7-2011 07:22 PM | 显示全部楼层
哇,有没有这么够力?
回复

使用道具 举报

 楼主| 发表于 21-7-2011 09:38 AM | 显示全部楼层
本帖最后由 50912cmea 于 20-7-2019 07:01 PM 编辑

...
回复

使用道具 举报

发表于 21-7-2011 04:37 PM | 显示全部楼层
我觉得接下来BBC应该会作一集关于perelman。这个人也是传奇。
回复

使用道具 举报

发表于 21-7-2011 09:01 PM | 显示全部楼层
zomo没有字幕的
回复

使用道具 举报

 楼主| 发表于 22-7-2011 01:57 AM | 显示全部楼层
本帖最后由 50912cmea 于 20-7-2019 07:01 PM 编辑

...
回复

使用道具 举报

Follow Us
发表于 25-7-2011 12:44 PM | 显示全部楼层
各位大大,

BBC Documentation 【费玛最后定理 Fermat's Last Theorem】

本片从证明了费玛最后定理 ...
50912cmea 发表于 22-7-2011 01:57 AM


片中的Adrew Wiles已经prove到Fermat's Last Theorem是吗?
这个  x^n + y^n = z^n   终于有人prove到了哦!厉害!
Adrew好像用了无数的Theorem来prove哦....
回复

使用道具 举报

 楼主| 发表于 25-7-2011 11:59 PM | 显示全部楼层
本帖最后由 50912cmea 于 20-7-2019 07:01 PM 编辑

...
回复

使用道具 举报


ADVERTISEMENT

发表于 26-7-2011 02:24 PM | 显示全部楼层
论文很厚,用到很多知识
Andrew Wiles: Modular elliptic curves and Fermat's Last Theorem, Annals of Mathematics 141 (1995), pp. 443-551, online at http://math.stanford.edu/~lekheng/flt/wiles.pdf

还可以参考这本书,跟纪录片是一套的
Fermat's Enigma: The Epic Quest to Solve the World's Greatest Mathematical Problem
http://www.amazon.com/Fermats-En ... oblem/dp/0385493622
回复

使用道具 举报

发表于 26-7-2011 10:51 PM | 显示全部楼层
本帖最后由 Scoutfai 于 26-7-2011 10:56 PM 编辑

很久以前就听过Godel Incompleteness Theorem,但没看过任何一个数学式的例子。有谁有例子吗?不要逻辑的例子(就是不要那种英文句子的),要数学式的。比如说Euclid's Element是属于一个formal system,那么,里面有什么主张是正确但证明不到的(true but unprovable)?
然后如果有些主张是正确但证明不到,那么,一开始又怎么知道是正确?
接着,纪录片里好像有提到,但还是在这里再问,虽然Godel Incompleteness Theorem证明了有些主张是正确但证明不到,但这个Theorem没有主张说人们也不能证明一个命题是无法被证明的吧(to prove that something is unprovable)?不会是又用回Godel Incompleteness Theorem吧,因为这个theorem只是告诉你有些东西无法被证明,但没有告诉你是哪些东西。
回复

使用道具 举报

发表于 23-8-2011 10:40 PM | 显示全部楼层
这些真是伟人啊 看到这些我都头晕晕
回复

使用道具 举报

 楼主| 发表于 3-9-2011 01:40 AM | 显示全部楼层
本帖最后由 50912cmea 于 20-7-2019 07:01 PM 编辑

...
回复

使用道具 举报

 楼主| 发表于 3-9-2011 01:46 AM | 显示全部楼层
本帖最后由 50912cmea 于 20-7-2019 07:01 PM 编辑

...
回复

使用道具 举报

发表于 3-9-2011 12:56 PM | 显示全部楼层
大大,

小小我连那个解释 Godel Incompleteness Theorems (1 and 2) 的都看不懂!  



这 ...
50912cmea 发表于 3-9-2011 01:40 AM

我也还没这个能力去理解,所以没有什么可以和网友分享的。这里有很多更专的人,期望他们会回帖吧。
回复

使用道具 举报

 楼主| 发表于 22-6-2012 03:41 AM | 显示全部楼层
本帖最后由 50912cmea 于 17-12-2018 09:02 AM 编辑

...
回复

使用道具 举报

发表于 22-6-2012 08:54 PM | 显示全部楼层
又来疯料。。。

但没看过任何一个数学式的例子。有谁有例子吗?不要逻辑的例子(就是不要那种英文 ...
50912cmea 发表于 22-6-2012 03:41 AM

0/0 应是 indeterminate 而不是 undefined. 任何答案都正确且不会违背任何运算定律。

undefined的情况应该不能被当作 true but unprovable 的例子。 因为它必须先 成为 true。

还是请主修纯数学的人指教一下。
回复

使用道具 举报


ADVERTISEMENT

 楼主| 发表于 18-12-2013 07:21 AM | 显示全部楼层
本帖最后由 50912cmea 于 20-7-2019 07:02 PM 编辑

...
回复

使用道具 举报

 楼主| 发表于 27-1-2015 02:52 AM | 显示全部楼层
本帖最后由 50912cmea 于 7-10-2017 03:04 PM 编辑

回复

使用道具 举报

 楼主| 发表于 27-1-2015 02:55 AM | 显示全部楼层
本帖最后由 50912cmea 于 7-10-2017 03:04 PM 编辑

回复

使用道具 举报

 楼主| 发表于 27-1-2015 03:23 AM | 显示全部楼层
本帖最后由 50912cmea 于 7-10-2017 03:04 PM 编辑

回复

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

 

ADVERTISEMENT



ADVERTISEMENT



ADVERTISEMENT

ADVERTISEMENT


版权所有 © 1996-2023 Cari Internet Sdn Bhd (483575-W)|IPSERVERONE 提供云主机|广告刊登|关于我们|私隐权|免控|投诉|联络|脸书|佳礼资讯网

GMT+8, 28-3-2024 08:35 PM , Processed in 0.072827 second(s), 24 queries , Gzip On.

Powered by Discuz! X3.4

Copyright © 2001-2021, Tencent Cloud.

快速回复 返回顶部 返回列表