哥德尔不完备性定理简介

changbaoyu

尽管目前的“形式化 ｆｏｒｍａｌｉｚｅｄ”内容还非常非常少。但并没有到“本质上是无法形式化的。”这种程度，……穿新鞋走老路。。。。。。。

tnjian

[这个贴子最后由tnjian在 2009/10/13 02:26pm 第 4 次编辑]

形式逻辑有什么作用，地球人皆知。
你先告诉我辩证法有什么作用。
[color=#DC143C]找一个实际问题，只能用辩证法解决的。其他方法解决不了的。

最搞笑的是，有些人拿了什么“量变导致质变”的空话，就觉的好像没有辩证法，全世界的人都认识不到量变导致质变？物理中水温100度发生相变，模糊逻辑中隶属度达到1，就全属于，奇点理论中的分叉突变。哪个需要辩证法在里面描述？

tnjian

下面引用由ygq的马甲在 2009/10/13 08:07am 发表的内容：
能否先【解释】一下，你（elimqiu）们的“形式化”，是什么含义 ？？？

一个逻辑系统的形式化包括公理，符号表，推导规则。三样
你没完成，或者完成不了，就是没形式化，也就不是数学。

changbaoyu

地球人皆知。事实上，我觉的辩证法就是渣，对渣进行形式化？还是渣－－水傍一日木？？！
  

ygq的马甲

下面引用由tnjian在 2009/10/13 02:00pm 发表的内容：
形式逻辑有什么作用，地球人皆知。
你先告诉我辩证法有什么作用。
找一个实际问题，只能用辩证法解决的。其他方法解决不了的。
最搞笑的是，有些人拿了什么“量变导致质变”的空话，就觉的好像没有辩证法，全世　...

“辩证”逻辑有什么用？？？当然是【质变】了[br][br]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-

************************
http://www.mathchina.com/cgi-bin/topic.cgi?forum=5&topic=7782&show=50
* 贴子主题： [求助]【数学基础问题征解】康托尔连续统假设
【数学基础问题征解】请证实：康托尔连续统假设是 R(·,·)=" ﹁∈ " 类型内的一条定理。
************************
在没有【证实】或【证伪】之前，“耍嘴皮子”是没意思的

ygq的马甲

下面引用由tnjian在 2009/10/13 02:06pm 发表的内容：
一个逻辑系统的形式化包括公理，符号表，推导规则。三样
你没完成，或者完成不了，就是没形式化，也就不是数学。

千万不要说：一个逻辑系统的完成，只需要很短的时间
1、【公理】
与这个帖子有关的，只涉及【公理一】和【公理二】
2、符号表
基本上采用康托尔集合论的符号，另加新增的特殊【约定】
3、推导规则
目前已经找出的，还比较少[br][br]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-

你（tnjian）的反应很正常的。罗氏几何等，早就已经有过了
对一个“匠”，不能指望太多的

ygq的马甲

知识是分【层次】的，辩证法或“辩证”逻辑，是“概念”层次的
当然，用实数等，也会有对应的其它理论