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

jzkyllcjl · 发表于 2009-4-2 08:16

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

中国没有，外国也没有！可能你又要问，“你看过那本外文书，我给你出个题，你做做！或者说：你懂外语吗！撒谎！”你这人到底是干什么的？我在这里发表了无穷集合、实数理论、微积分很多论文，你说不看！可你就会出题，说我不够资格讨论这些问题！并且捏造谎言说我不承认无穷！你是个无赖！我不再回答你的问题！你走你的阳关道去吧！

ygq的马甲 · 发表于 2009-4-2 08:20

下面引用由jzkyllcjl在 2009/04/02 08:16am 发表的内容：
中国没有，外国也没有！可能你又要问，“你看过那本外文书，我给你出个题，你做做！或者说：你懂外语吗！撒谎！”你这人到底是干什么的？我在这里发表了无穷集合、实数理论、微积分很多论文，你说不看！可你就会 ...

问题是这个 jzkyllcjl ，不懂如何【证明】其结论

jzkyllcjl · 发表于 2009-4-2 08:37

你才是撒谎，明明是命题，可你说是习题！

jzkyllcjl · 发表于 2009-4-2 08:39

马甲：你要我【证明】那个结论？

ygq的马甲 · 发表于 2009-4-2 09:01

下面引用由jzkyllcjl在 2009/04/02 08:39am 发表的内容：
马甲：你要我【证明】那个结论？

先来这个吧，符号“├→”是指蕴涵
命题（jzkyllcjl）：
哥德尔不完全定理 ├→“形式逻辑无法建立无矛盾的数学体系”

jzkyllcjl · 发表于 2009-4-2 10:26

这个很容易。因为哥德尔定理说的是：一个系统的无矛盾性无法在系统本身得到证明。根据这个定理可知，一个系统的无矛盾性无法在系统本身得到证明，使用其它系统时，那个系统也是无法证明其无矛盾性的系统。所以，这就证明了“形式逻辑无法建立无矛盾的数学体系”

ygq的马甲 · 发表于 2009-4-2 12:16

下面引用由jzkyllcjl在 2009/04/02 10:26am 发表的内容：
这个很容易。因为哥德尔定理说的是：一个系统的无矛盾性无法在系统本身得到证明。根据这个定理可知，一个系统的无矛盾性无法在系统本身得到证明，使用其它系统时，那个系统也是无法证明其无矛盾性的系统。所以， ...

不是那块“料”，就少“添乱”

所以，这就证明了“形式逻辑无法建立无矛盾的数学体系”

这是【证伪】，是【否定】性质的【确定性】

jzkyllcjl · 发表于 2009-4-2 17:51

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

如果你不同意，那么请你去数学理论的无矛盾性！即使能证明几何公理体系，或算术体系的无矛盾性也好！

ygq的马甲 · 发表于 2009-4-2 18:14

下面引用由jzkyllcjl在 2009/04/02 05:51pm 发表的内容：
如果你不同意，那么请你去数学理论的无矛盾性！即使能证明几何公理体系，或算术体系的无矛盾性也好！

不是那块“料”，少“添乱”就是多作“贡献”啦
你说的那些“无矛盾性”，别人早就做过了

jzkyllcjl · 发表于 2009-4-2 18:33

那么，请你说说在那里证明过算术体系的无矛盾性?

		自动登录	找回密码
密码			注册