基本数学概念的探讨与改革

jzkyllcjl

ygq的马甲

基本数学概念的探讨与改革1
曹俊云（河南理工大学数信学院 河南焦作 454003 E-mail: cjy @hpu. cdu. cn 0371-3980600）
摘要 形式逻辑无法建立无矛盾的数学体系；……

【鉴定】和【评估】结论是：“无知者无畏”式的“蠢货”
理由是，“形式逻辑无法建立无矛盾的数学体系”。究竟懂不懂？？？这个“无矛盾的”指什么？？？
第一句就让人“噎”住！！！[br][br]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-

“稻草人诡辩术”，是“蠢货”常用的一种手段。其【特征】是：并不懂别人的含义

jzkyllcjl

这篇论文一年前在东陆论坛发表过。曾被科技创新导刊评为优秀论文，但他们要3000元版面费，所以我没有与他们签字！

ygq的马甲

下面引用由jzkyllcjl在 2009/04/02 08:30am 发表的内容：
这篇论文一年前在东陆论坛发表过。曾被科技创新导刊评为优秀论文，但他们要3000元版面费，所以我没有与他们签字！

原来是被“杀”的猪

jzkyllcjl

“形式逻辑无法建立无矛盾的数学体系”。这句话的根据在论文中有叙述，简单说来是根据哥德尔不完全定理得出的！

ygq的马甲

下面引用由jzkyllcjl在 2009/04/02 08:44am 发表的内容：
“形式逻辑无法建立无矛盾的数学体系”。这句话的根据在论文中有叙述，简单说来是根据哥德尔不完全定理得出的！

早就已经说过“很多遍”了，你（jzkyllcjl）这个“蠢货”，并不懂数学
不要“哲学”式的叙述，而是“数学”式的【证明】：
命题（jzkyllcjl）：
哥德尔不完全定理 ├→“形式逻辑无法建立无矛盾的数学体系”[br][br]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-

符号“├→”是指蕴涵

jzkyllcjl

蕴涵也好吗！这就说明：我的那句话可以说！

ygq的马甲

下面引用由jzkyllcjl在 2009/04/02 10:00am 发表的内容：
蕴涵也好吗！这就说明：我的那句话可以说！

“蠢货”你，难道看不懂吗？？？是要你来【证明】！！！
注：实际上是错的

ygq的马甲

仍然还是那句话，这个“蠢货”（jzkyllcjl），不懂如何【证明】

jzkyllcjl

这个证明很容易吗：首先需要知道哥德尔定理说的是：“一个系统的无矛盾性无法在系统内部得到证明”，根据这一点就可以知道：一个系统的无矛盾性无法在系统内部得到证明，而使用其它系统证明时，又存在着那个系统的无矛盾性同样问题，所以就得到“形式逻辑无法建立无矛盾的数学体系”的结论。