数学证明要是有容易办法形式化并用计算机验证就好了


所有跟贴·加跟贴·新语丝读书论坛

送交者: ping_max 于 2006-12-09, 01:40:33:

那么“猜哥”们的证明就不用劳数学家们的宝贵时间了, 而且要真 有什么天才的证明也不会被埋没了, 呵呵
按验证/证伪收钱的话, 还是个business呢。//just kidding

正在看一本关于黎曼假设的书, (The Riemman Hypothesis, the greatest UNSOLVED PROBLEM in Mathematics, Karl Sabbagh), 吃惊的发现,原来职业数学家也一样可能受到“民科”戴遇。 书中提到Purdue University的De Branges, 一个曾证明过Bieberbach conjecture(apparantly tough and important)的数学家, 声称自己证明了黎曼假设, 但好像数学家同行们不仅不相信, 甚至没人愿意去验证, 呵呵, 真够惨的。我不是学数学的, 不知这里有没有人知道这个中更多原委。

有兴趣的可以看这里几个链接:
http://www.lrb.co.uk/v26/n14/sabb01_.html
http://en.wikipedia.org/wiki/Louis_de_Branges_de_Bourcia




所有跟贴:


加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明)