|
|
本帖最后由 50912cmea 于 20-7-2019 07:05 PM 编辑
... |
|
|
|
|
|
|
|
|
|
|
|
发表于 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 编辑
... |
|
|
|
|
|
|
|
|
|
|
|
发表于 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 编辑
... |
|
|
|
|
|
|
|
|
|
|
|
发表于 26-7-2011 02:24 PM
|
显示全部楼层
|
|
|
|
|
|
|
|
|
|
|
发表于 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。
还是请主修纯数学的人指教一下。 |
|
|
|
|
|
|
|
|
|
|
|
楼主 |
发表于 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 编辑
.gif) |
|
|
|
|
|
|
|
|
|
|
|
楼主 |
发表于 27-1-2015 02:55 AM
|
显示全部楼层
|
|
|
|
|
|
|
|
|
|
|
楼主 |
发表于 27-1-2015 03:23 AM
|
显示全部楼层
|
|
|
|
|
|
|
|
|
| |
 本周最热论坛帖子
|
变色卡
千斤顶
.gif)
1818 
54
