海纳百川 :: 阅读主题 - 请教樊教授一个“基本的数学知识”

海纳百川

登录 \| 登录并检查站内短信 \| 个人设置	网站首页 \| 论坛首页 \| 博客 \| 搜索 \| 收藏夹 \| 帮助 \| 团队 \| 注册 \| RSS


	主题: 请教樊教授一个“基本的数学知识”

printer-friendly view

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

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

作者

请教樊教授一个“基本的数学知识”

所跟贴

烤肉先生是对的 -- Anonymous - (510 Byte) 2003-2-04 周二, 下午10:05 (242 reads)

2u2m
[个人文集]

加入时间: 2004/02/15
文章: 8074

经验值: 1371

标题: 再请教，伟大的哥德尔定理是否就否定了那逻辑学的排中律？ (189 reads) 时间: 2003-2-04 周二, 下午11:13

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

谢谢教授开我茅塞，原来伟大的哥德尔定理就是那个悖论问题，下次谁再拿哥德尔定理蒙人，俺也不会被唬住了。

其实芦樊之争已不是什么逻辑之争，最后是定义之争。以教授最得意的假笑是笑为例，定义笑为脸部的一种肌肉活动，则教授赢，假笑也是笑。定义笑为心情愉快而传导到脸部的肌肉表现，则芦笛赢，假笑不是笑。不知教授认为我这芦迷这句话中肯不？

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

阅读会员资料

2u2m离线

发送站内短信

我认为，不能简单地答是或否。 -- 樊弓 - (606 Byte) 2003-2-04 周二, 下午11:37 (184 reads)

我觉得你是错的，因为你总是在混淆概念 -- 不锈钢浴火凤凰 - (0 Byte) 2003-2-04 周二, 下午11:57 (118 reads)

三人行必有我师。愿闻其详。 -- 樊弓 - (52 Byte) 2003-2-05 周三, 上午12:05 (149 reads)

哥德尔不是在说悖论，只是构造一个无法判定的命题，看起来象悖论，但不是悖论 -- 不锈钢浴火凤凰 - (514 Byte) 2003-2-05 周三, 上午12:20 (164 reads)

逻辑的真值和事实的真实不是一回事啊。逻辑上能证实的东西不一定是事实上的真，对吗？ -- 北京小左 - (0 Byte) 2003-2-05 周三, 上午12:33 (111 reads)

恕我没看懂你的话，无法回答，或者你可以举一个例子来说明？ -- 不锈钢浴火凤凰 - (0 Byte) 2003-2-05 周三, 上午1:10 (115 reads)

你我在哥德尔定理问题上没有矛盾。 -- 樊弓 - (466 Byte) 2003-2-05 周三, 上午12:29 (159 reads)

笑无法验证，只是现在科学技术不发达而已，我相信真笑与假笑释放的神经递质不同， -- 2u2m - (86 Byte) 2003-2-04 周二, 下午11:48 (125 reads)

皮笑肉不笑 -- 新规定 - (118 Byte) 2003-2-04 周二, 下午11:20 (142 reads)

照啊，但我偏定义个"愉快才是笑"，你能拿我怎么办？ -- 2u2m - (58 Byte) 2003-2-04 周二, 下午11:24 (128 reads)

你的定义呢？ -- 新规定 - (504 Byte) 2003-2-04 周二, 下午11:43 (147 reads)

我的定义是 -- 2u2m - (40 Byte) 2003-2-04 周二, 下午11:57 (118 reads)

谢谢新规定。几行字就道破了问题的实质 -- 樊弓 - (0 Byte) 2003-2-04 周二, 下午11:49 (106 reads)

数学教授太厉害了，我的数学比他低“5到6个量级”，22，你拿他没办法的。 -- weizhi - (0 Byte) 2003-2-04 周二, 下午11:34 (115 reads)

显示文章:

printer-friendly view

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

所有的时间均为北京时间

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

based on phpbb, All rights reserved.

[ Page generation time: 1.206409 seconds ] :: [ 19 queries excuted ] :: [ GZIP compression enabled ]