想再请luyuanhong和elimqiu两位老师对我的证明发表一些个人的看法

elimqiu

等你懂得什么是现代数学的时候，就知道形式化是什么意思了。建议你看看数学史

ygq的马甲

下面引用由elimqiu在 2010/11/28 09:31am 发表的内容：
等你懂得什么是现代数学的时候，就知道形式化是什么意思了。建议你看看数学史

“叽叽喳喳”这么久的时间，就是不能回答：这个“居然还要搞辩证逻辑的形式化？”中的“形式化”，究竟是什么

elimqiu

看来惹了专业叽叽喳喳的了。你这种不能学习的人，形式化是没指望了。

ygq的马甲

下面引用由elimqiu在 2010/11/28 09:40am 发表的内容：
看来惹了专业叽叽喳喳的了。你这种不能学习的人，形式化是没指望了。

“叽叽喳喳”这么久的时间，就是不能回答：这个“居然还要搞辩证逻辑的形式化？”中的“形式化”，究竟是什么
有这么多的时间，就是不能回答！！！[br][br]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-

【形式】这个术语，是有【歧义】的。其一是指【形式与内容】中的，相当于“语形ｓｙｎｔａｃｔｉｃｓ”。其二是指“形式ｆｏｒｍａｌ”逻辑中的，相当于“同一律Ａ＝Ａ”关系的

elimqiu

回答什么？回答了你不还是叽叽喳喳？[br][br]-=-=-=-=- 以下内容由 elimqiu 在 时添加 -=-=-=-=-
你怎么这么笨？你的东西不能形式化，就是我给你解释了还是不能形式化。懂了没有？ 形式化有歧义，什么东西到你那里会没有歧义？ 你既然认为我在钻歧义的空子，那么你就去学一学公理化数学的思想好了。

ygq的马甲

下面引用由elimqiu在 2010/11/28 09:51am 发表的内容：
回答什么？回答了你不还是叽叽喳喳？

“叽叽喳喳”这么久的时间，就是不能回答：这个“居然还要搞辩证逻辑的形式化？”中的“形式化”，究竟是什么
有这么多的时间，就是不能回答！！！
-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-
【形式】这个术语，是有【歧义】的。其一是指【形式与内容】中的，相当于“语形ｓｙｎｔａｃｔｉｃｓ”。其二是指“形式ｆｏｒｍａｌ”逻辑中的，相当于“同一律Ａ＝Ａ”关系的

elimqiu

你除了叽叽喳喳还能干什么？呵呵

ygq的马甲

下面引用由elimqiu在 2010/11/28 09:58am 发表的内容：
你除了叽叽喳喳还能干什么？呵呵

“叽叽喳喳”这么久的时间，就是不能回答：这个“居然还要搞辩证逻辑的形式化？”中的“形式化”，究竟是什么
有这么多的时间，就是不能回答！！！
-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-
【形式】这个术语，是有【歧义】的。其一是指【形式与内容】中的，相当于“语形ｓｙｎｔａｃｔｉｃｓ”。其二是指“形式ｆｏｒｍａｌ”逻辑中的，相当于“同一律Ａ＝Ａ”关系的