海纳百川
登录
|
登录并检查站内短信
|
个人设置
网站首页
|
论坛首页
|
博客
|
搜索
|
收藏夹
|
帮助
|
团队
|
注册
|
RSS
主题:
数学不属于科学
海纳百川首页
->
驴鸣镇
阅读上一个主题
::
阅读下一个主题
作者
数学不属于科学
所跟贴
数学归纳法关键是命题相对应的“参数”的可列性,至于每一个单步的命题证明当然不排除演绎。它与有限“参数集”的归纳法的不同
--
看客101
- (32 Byte) 2009-10-07 周三, 下午7:53
(172 reads)
断章师爷
[
个人文集
]
加入时间: 2009/08/25
文章: 615
经验值: 27036
标题:
是的,这个逻辑证明过程是建立在下列三个假设之上的:
(237 reads)
时间:
2009-10-07 周三, 下午8:17
第1, 自然数的集是有良序的。
第2, 对于某个自然数n而言,每一个自然数可取的值或者为零或者为n+1。
第3, 对于任何自然数n而言,n+1总是大于n。
返回顶端
这三个就是一个东西,自然数的排序法。与方法本身能不能归为演绎关系不大
--
看客101
- (227 Byte) 2009-10-07 周三, 下午10:49
(210 reads)
恩,似乎也有道理:)有趣,我都给绕糊涂了。你对数学归纳法的批评很准确,确实如此,只能验证已有关系,
--
芦笛
- (73 Byte) 2009-10-08 周四, 上午3:46
(187 reads)
可用于猜想的验证,这对于新规律的发现可能比直接推演重要得多
--
看客101
- (61 Byte) 2009-10-08 周四, 上午4:48
(174 reads)
我认为所谓“无限枚举”是一个oxymoron,在概念上自相矛盾。若枚举的对象是无限的,则枚举的动作不可能完成。
--
金枪鱼
- (0 Byte) 2009-10-08 周四, 上午12:21
(176 reads)
这类似芝诺悖论,好像是数学从娘胎里带出来的病,不可避免,然而这并不能证明数学归纳法是演绎,顶多只能说它不成立
--
芦笛
- (0 Byte) 2009-10-08 周四, 上午4:44
(170 reads)
这是老夫子们翻译东西与现代数学名词有差别,枚举、穷举是一个意思就是归纳的意思,可列是现代大陆学界可数的意思。
--
看客101
- (42 Byte) 2009-10-08 周四, 上午4:42
(202 reads)
哦,是够乱的,呵呵。刚才查了一下,关于无限参数集可列的问题,你是对的,我是错的。抱歉。
--
金枪鱼
- (0 Byte) 2009-10-08 周四, 上午4:47
(169 reads)
聊天而已
--
看客101
- (0 Byte) 2009-10-08 周四, 上午6:13
(177 reads)
没错,师爷先生说得非常清晰,佩服。可我昨晚(其实是今早)想了半天也没想出这几个潜在的大前提来,笨啊!
--
芦笛
- (0 Byte) 2009-10-07 周三, 下午8:52
(175 reads)
显示文章:
所有文章
1天
7天
2周
1个月
3个月
6个月
1年
时间顺序
时间逆序
海纳百川首页
->
驴鸣镇
所有的时间均为 北京时间
论坛转跳:
您
不能
在本论坛发表新主题
您
不能
在本论坛回复主题
您
不能
在本论坛编辑自己的文章
您
不能
在本论坛删除自己的文章
您
不能
在本论坛发表投票
您
不能
在这个论坛添加附件
您
可以
在这个论坛下载文件
based on phpbb, All rights reserved.
[ Page generation time: 1.614301 seconds ] :: [ 24 queries excuted ] :: [ GZIP compression enabled ]