请教陆老师一个关于射影几何的问题

天茂

[这个贴子最后由天茂在 2012/05/24 01:52pm 第 1 次编辑]

下面引用由ygq的马甲在 2012/05/23 11:40pm 发表的内容：
你（ 天茂 ），根本就没看懂：别人的东西

是吗？可以谈的详细一点吗？

ygq的马甲

附图：二维几何模型表示的逻辑类型

数→形，是我（俞根强、ｙｇｑｋａｒｌ）自己的这种【新道学】所采用的，就是从【数】（数理逻辑）到【形】（拓扑几何）的《方法论ｍｅｔｈｏｄｏｌｏｇｙ》。换另外的话来说就是，以图形来解释数理。举例来说，左下角的图形，究竟是什么意思

1、“A∈A”、“A∉A”都违反了同一律，形式逻辑系统是不容许“A∈A”、“A∉A”这样的关系存在的。

你（天茂 ）的观点，是什么。并不重要。如何【解读】左下角的这种图形，才是要点

天茂

好吧！
那就请先生仔细第讲一讲“左下角的图形，究竟是什么意思”吧？

ygq的马甲

.
附图：二维几何模型表示的逻辑类型

按照《一分为二》方法假设代号 A 和 ﹁A ，
①从循环侧面的角度来说，兜一圈时总是会回到原来相同的侧面，即 A=A 和 ﹁A=﹁A，对于左下角的情况来说。那么将这个拓扑结构对应成形式逻辑的同一律，有可能吗 ？？？
②再从轴对称线的角度来说，即类似于右下角的情况的虚线，如果沿这种线剪开，左下角的情况是分离的。而形式逻辑的同一律有一条性质——【离散】性。
③…………
将左下角的情况的拓扑结构对应成形式逻辑，是可行的。

命题：形式逻辑同一律 A=A 与 R(·,·)="∈" ，是在康托尔集合论内完全等价的。
①起点是形式逻辑同一律 A=A；对照前面“等号 ＝”的用法，这里的“等号 =”，实际上是第①种用法
②按康托尔集合论的“等号 =”定义，上式完全等价于 A∈A；
③按康托尔集合论的“关系 aR(a,b)b”定义，上式完全等价于 AR(A,A)A 且 R(A,A)="∈"；这里的“等号 =”只表示变量赋值；对照前面“等号 ＝”的用法，实际上这是第②种用法
④将不重要的代号 A 抽象掉，原来必须出现的位置代以“·”,则上式完全等价于 R(·,·)="∈"；
⑤终点是 R(·,·)="∈"。
反方向的证明过程省略。由读者你自己来完成证明，“抽象掉”的过程对应的是“具体代入”符号 A。

对照传统的集合论【规定】，与上面的对应有些冲突，例如不允许循环。那么修改这些【规定】，有不良后果吗 ？？？【检验】的结果是没有不良后果
【规定】的修改：
1、不允许循环，修改成允许循环，其实已经类似于“类 class”的概念
2、传统的集合论的“等号 =”定义，如果 A⊆B ，并且 B⊆A ，那么 A=B。
修改：如果 A∈B （指 A 的元素都是 B 的元素），并且 B∈A ，那么 A=B
3、【分类】方法的规范格式，“关系 aR(a,b)b”的两边 a=b 时的关系

天茂

请介绍为什么会有“形式逻辑的同一律有一条性质——【离散】性”？
这个性质是您发现的吗？

天茂

[这个贴子最后由天茂在 2012/05/24 05:10pm 第 1 次编辑]

下面引用由ygq的马甲在 2012/05/24 04:42pm 发表的内容：
……
修改：如果 A∈B （指 A 的元素都是 B 的元素），并且 B∈A ，那么 A=B!x.
……

这里有个错误：
A∈B ：指的是“ A 是 B 的元素”（而且A应该小写），而不是“指 A 的元素都是 B 的元素”。
A∪（右转90°）B ：才是指 A 的元素都是 B 的元素。
“∈”称为属于号；
“∪（右转90°）”称为包含号。

ygq的马甲

下面引用由天茂在 2012/05/24 05:08pm 发表的内容：
这里有个错误：
A∈B ：指的是“ A 是 B 的元素”（而且A应该小写），而不是“指 A 的元素都是 B 的元素”。
A∪（右转90°）B ：才是指 A 的元素都是 B 的元素。
“∈”称为属于号；
...

真是太【愚蠢】了。不要用别人的框框来【套】。懂不懂？？？

ygq的马甲

下面引用由天茂在 2012/05/24 04:57pm 发表的内容：
请介绍为什么会有“形式逻辑的同一律有一条性质——【离散】性”？
这个性质是您发现的吗？

这条性质，其实可以从三条规律中推导出来的
A 和 ﹁A 之间，没有其它东西，而且 A 不等于 ﹁A ，那么中间肯定有间隔的

天茂

[这个贴子最后由天茂在 2012/05/24 06:15pm 第 1 次编辑]

下面引用由ygq的马甲在 2012/05/24 05:19pm 发表的内容：
真是太【愚蠢】了。不要用别人的框框来【套】。懂不懂？？？

骂人的臭毛病这么难改吗？怎么又跑出来啦！
请问：同一律是不是别人的框框？你为什么要遵守？

天茂

下面引用由ygq的马甲在 2012/05/24 05:23pm 发表的内容：
这条性质，其实可以从三条规律中推导出来的
A 和 ﹁A 之间，没有其它东西，而且 A 不等于 ﹁A ，那么中间肯定有间隔的

请问：A 可不可以用来表示数字？