|
[公告]就我们所知
下面引用由申一言在 2010/09/09 09:07am 发表的内容:
楼上的网友您改一下XXX好不好?
因为武大郎俺早就封给ygq的马甲了!它只会卖烧饼--乌比丝糊烧饼?
只是个建议!
谢谢! 【鉴定】和【评估】结论是:“无知者无畏”式的“蠢货”(申一言)
根本就不懂:“相容性consistency”是怎么回事的
*******************************************************************
“新”分类,“新”文化,“新”未来。(公理化的中国道学) 。
.
附图:二维几何模型表示的逻辑类型

.
【公理二】存在且只存在 R(·,·)="∈"∪"﹁∈"∪"Φ"
.
按照“一分为二”方法假设代号 A 和 ﹁A ,那么对照“二维几何模型表示的逻辑类型”附图,存在五种侧面,分别如下:
R(·,·)="Φ" 对应的是 A 和 ﹁A ;
R(·,·)="∈" 对应的是 A←→A 和 ﹁A←→﹁A ;
R(·,·)="﹁∈" 对应的是 A←→﹁A 。
以上是【公理】部分,与 A 所选择的具体内容无关。
.
*************************************************
【数学基础问题征解】请证实:康托尔连续统假设是 R(·,·)=" ﹁∈ " 类型内的一条定理。
可以放宽条件:是 R(·,·)="∈"∪"﹁∈" 类型内的
所谓的 R(·,·)=" ﹁∈ " 类型,是指“牟比乌斯带”这样的类型,即与形式逻辑不一样的这种类型。再次特别强调一下,不要往形式逻辑方向上走(例如哥德尔的成果等,已经说明了这点),而是要往辩证逻辑方向上去做
http://baike.baidu.com/view/116805.htm
希尔伯特问题的第一个
所谓的“康托尔连续统假设”,实际上是“层次”方面的一个问题,见下图。还找不到如何【证明】的思路。

*************************************************
留待有缘之人吧。希望在 10~30 年内有【证实】的结论。这是我正常的预期时间。
|
|