数学中国

 找回密码
 注册
搜索
热搜: 活动 交友 discuz
楼主: tnjian

何谓数学?数学的本质,以及浅谈对数学不值一提的攻击。

[复制链接]
发表于 2009-4-2 08:16 | 显示全部楼层

何谓数学?数学的本质,以及浅谈对数学不值一提的攻击。

[这个贴子最后由jzkyllcjl在 2009/04/02 08:18am 第 1 次编辑]

中国没有,外国也没有!可能你又要问,“你看过那本外文书,我给你出个题,你做做!或者说:你懂外语吗!撒谎!”你这人到底是干什么的?我在这里发表了无穷集合、实数理论、微积分很多论文,你说不看!可你就会出题,说我不够资格讨论这些问题!并且捏造谎言说我不承认无穷!你是个无赖!我不再回答你的问题!你走你的阳关道去吧!
发表于 2009-4-2 08:20 | 显示全部楼层

何谓数学?数学的本质,以及浅谈对数学不值一提的攻击。

下面引用由jzkyllcjl2009/04/02 08:16am 发表的内容:
中国没有,外国也没有!可能你又要问,“你看过那本外文书,我给你出个题,你做做!或者说:你懂外语吗!撒谎!”你这人到底是干什么的?我在这里发表了无穷集合、实数理论、微积分很多论文,你说不看!可你就会 ...
问题是这个 jzkyllcjl ,不懂如何【证明】其结论
发表于 2009-4-2 08:37 | 显示全部楼层

何谓数学?数学的本质,以及浅谈对数学不值一提的攻击。

你才是撒谎,明明是命题,可你说是习题!
发表于 2009-4-2 08:39 | 显示全部楼层

何谓数学?数学的本质,以及浅谈对数学不值一提的攻击。

马甲:你要我【证明】那个结论?
发表于 2009-4-2 09:01 | 显示全部楼层

何谓数学?数学的本质,以及浅谈对数学不值一提的攻击。

下面引用由jzkyllcjl2009/04/02 08:39am 发表的内容:
马甲:你要我【证明】那个结论?
先来这个吧,符号“├→”是指蕴涵
命题(jzkyllcjl):
哥德尔不完全定理 ├→“形式逻辑无法建立无矛盾的数学体系”
发表于 2009-4-2 10:26 | 显示全部楼层

何谓数学?数学的本质,以及浅谈对数学不值一提的攻击。

这个很容易。因为哥德尔定理说的是:一个系统的无矛盾性无法在系统本身得到证明。根据这个定理可知,一个系统的无矛盾性无法在系统本身得到证明,使用其它系统时,那个系统也是无法证明其无矛盾性的系统。所以,这就证明了“形式逻辑无法建立无矛盾的数学体系”
发表于 2009-4-2 12:16 | 显示全部楼层

何谓数学?数学的本质,以及浅谈对数学不值一提的攻击。

下面引用由jzkyllcjl2009/04/02 10:26am 发表的内容:
这个很容易。因为哥德尔定理说的是:一个系统的无矛盾性无法在系统本身得到证明。根据这个定理可知,一个系统的无矛盾性无法在系统本身得到证明,使用其它系统时,那个系统也是无法证明其无矛盾性的系统。所以, ...
不是那块“料”,就少“添乱”
所以,这就证明了“形式逻辑无法建立无矛盾的数学体系”
这是【证伪】,是【否定】性质的【确定性】
发表于 2009-4-2 17:51 | 显示全部楼层

何谓数学?数学的本质,以及浅谈对数学不值一提的攻击。

[这个贴子最后由jzkyllcjl在 2009/04/02 05:53pm 第 1 次编辑]

如果你不同意,那么请你去数学理论的无矛盾性!即使能证明几何公理体系,或算术体系的无矛盾性也好!
发表于 2009-4-2 18:14 | 显示全部楼层

何谓数学?数学的本质,以及浅谈对数学不值一提的攻击。

下面引用由jzkyllcjl2009/04/02 05:51pm 发表的内容:
如果你不同意,那么请你去数学理论的无矛盾性!即使能证明几何公理体系,或算术体系的无矛盾性也好!
不是那块“料”,少“添乱”就是多作“贡献”啦
你说的那些“无矛盾性”,别人早就做过了
发表于 2009-4-2 18:33 | 显示全部楼层

何谓数学?数学的本质,以及浅谈对数学不值一提的攻击。

那么,请你说说在那里证明过算术体系的无矛盾性?
您需要登录后才可以回帖 登录 | 注册

本版积分规则

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-7-11 23:01 , Processed in 0.089686 second(s), 14 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表