海纳百川 :: 阅读主题 - 哥德巴赫猜想，歌德尔，人类理性和数学直觉


	主题: 哥德巴赫猜想，歌德尔，人类理性和数学直觉

海纳百川首页 -> 罕见奇谈

阅读上一个主题 :: 阅读下一个主题

作者

哥德巴赫猜想，歌德尔，人类理性和数学直觉

随便

加入时间: 2004/02/14
文章: 24019

经验值: 64

标题: 哥德巴赫猜想，歌德尔，人类理性和数学直觉 (713 reads) 时间: 2002-5-05 周日, 下午11:58

作者：随便在罕见奇谈发贴, 来自 http://www.hjclub.org

转一篇王世磊的文章。他把哥德尔定理套用到政治上，提出，

> Ⅰ）在包含理性人类的任何社会文明体系中，永远存在着无法用人类理性解决的问题，不

> 存在一个万能的政府，能对体系内的任何问题作出合理与公正的解决。

> Ⅱ）对于包含理性人类的任何社会文明体系，不能在该体系内对其作出合理与公正的评价。

文章也提到歌德尔，

> 人类智慧没有能力公式化（或者机械化）它的所有数学直觉，

> 它只能用公式表达出它们中的一些”(Kurt Godel)，而非全

> 部。数学上总是存在着无法用理性证明的直觉，数学远非一

> 大堆毫无生气可言的枯燥的逻辑堆砌，人类理性根本上也是

> 不可能建立这种程式化的逻辑的。

俺认为直觉在数学中的重要性没有讨论的必要。网上关于数学直觉的研究资

料连篇累牍，其重要性是公认的。数学发现的过程无非是人首先观察到规律

，经过不完全归纳，以直觉提出对规律的猜想，再经过逻辑证明加以确认。

宏观来看，费马定理，哥德巴赫猜想的提出就是这个过程的一部分。他们提

这些猜想时还没今天的数学和解析数论，谁敢说他们的直觉和猜想就没数学

意义，是没文化的胡猜？谁觉得数学猜想无足轻重，没文化的一天可以提出

一堆，请他提一个能让数学家绞几百年脑子的猜想给大家看看。

-- 随便

============================================================

从歌德尔到哈耶克

作者：随便在罕见奇谈发贴, 来自 http://www.hjclub.org

返回顶端

本看好戏向独立知识分子投降，隔壁已经将功赎罪 -- 看好戏 - (316 Byte) 2002-5-06 周一, 上午9:17 (229 reads)

WGZ不是经常报道有九岁“神童”解了什么“世界难题”吗？ -- 诚实 - (234 Byte) 2002-5-06 周一, 下午5:59 (175 reads)

更多的是什么农民、打工仔解决世界难题 -- 看好戏 - (72 Byte) 2002-5-07 周二, 上午8:17 (146 reads)

请记住：哥德巴赫，费马等在做出猜想时早已是著名数学家了。。。 -- 安魂曲 - (1372 Byte) 2002-5-06 周一, 上午8:59 (201 reads)

安网友怎么搞的，还躲躲闪闪的，大失原来风格啊 -- 随便 - (260 Byte) 2002-5-06 周一, 上午10:18 (191 reads)

对不起，怕您引用“第二修正案”，硬说俺歪曲您的意思，所以只好改称“某人” -- 安魂曲 - (28 Byte) 2002-5-06 周一, 上午10:30 (191 reads)

俺认为，在说道也不好随意歪曲 -- 随便 - (186 Byte) 2002-5-06 周一, 下午12:06 (203 reads)

此事实因本人“多事”而起... -- yqy - (298 Byte) 2002-5-06 周一, 上午6:45 (225 reads)

基本同意 -- 兼聊一点中世纪思想迫害 -- 随便 - (792 Byte) 2002-5-06 周一, 上午9:47 (204 reads)

不是“思想迫害”，而是“思想不伺候”：） -- 安魂曲 - (682 Byte) 2002-5-06 周一, 上午10:28 (193 reads)

这就牵扯到思想自由和宽容的问题了 -- 随便 - (492 Byte) 2002-5-06 周一, 下午12:34 (194 reads)

关键问题不是“抄自网上文献”，而是这种网上文献究竟有无可能证明哥德巴赫猜想的问题！ -- 安魂曲 - (892 Byte) 2002-5-06 周一, 上午9:11 (197 reads)

致小安，并答寒冬兄 -- yqy - (308 Byte) 2002-5-06 周一, 上午9:48 (206 reads)

我从没怪过你，知道你是搞数学的，呵呵：） -- 安魂曲 - (568 Byte) 2002-5-06 周一, 上午10:18 (206 reads)

博士认为是自己多年努力的成果.看天桥俺跟老看的帖. -- 寒冬 - (0 Byte) 2002-5-06 周一, 上午8:34 (164 reads)

其中原因之一是版方自己自觉不自觉地成为争吵的一方 -- 张三一言 - (102 Byte) 2002-5-06 周一, 上午7:01 (161 reads)

看来谁是独知谁是没文化的教授在这里已经见分晓了 -- 看好戏 - (144 Byte) 2002-5-06 周一, 上午1:52 (213 reads)

老随见多识广，一下就指出了问题的关键。good -- 无名 - (0 Byte) 2002-5-06 周一, 上午1:43 (143 reads)

显示文章:

海纳百川首页 -> 罕见奇谈

所有的时间均为北京时间

您不能在本论坛发表新主题
您不能在本论坛回复主题
您不能在本论坛编辑自己的文章
您不能在本论坛删除自己的文章
您不能在本论坛发表投票
您不能在这个论坛添加附件
您不能在这个论坛下载文件