|
论elimqiu的逻辑品格
下面引用由elimqiu在 2010/10/13 01:07am 发表的内容:
数学的对偶不是这个意思。-=-=-=-=- 以下内容由 elimqiu 在 时添加 -=-=-=-=-
无限和有限的差别实在太大了。没有办法这么调和的。 欧氏几何、罗氏几何等,是一个例子
欧氏几何 ==========> 【有限】,R(·,·)="∈"
罗氏几何 ==========> 【无限】,非欧几何,R(·,·)="﹁∈"
“一与一对应”,是指【开始点】方面
*************************************************
.
“新”分类,“新”文化,“新”未来。(公理化的中国道学) 。
.
附图:二维几何模型表示的逻辑类型

.
【公理二】存在且只存在 R(·,·)="∈"∪"﹁∈"∪"Φ"
.
按照“一分为二”方法假设代号 A 和 ﹁A ,那么对照“二维几何模型表示的逻辑类型”附图,存在五种侧面,分别如下:
R(·,·)="Φ" 对应的是 A 和 ﹁A ;
R(·,·)="∈" 对应的是 A←→A 和 ﹁A←→﹁A ;
R(·,·)="﹁∈" 对应的是 A←→﹁A 。
以上是【公理】部分,与 A 所选择的具体内容无关。
.
*************************************************
|
|