罗素悖论内容是什么以及他的理论对后世数

作者&投稿:再芸 (若有异议请与网页底部的电邮联系)
罗素悖论内容是什么以及他的理论对后世数学有何影响~

罗素悖论的提出是基于这样的一个事例:设想有这样一群理发师,他们只给不给自己理发的人理发。假设其中一个理发师符合上述的条件,不给自己理发;然而按照要求,他必须要给自己理发。但是在这个集合中没有人会给自己理发。(如果这样的话,这个理发师必定是给别人理发还要给自己理发)
1901年,伯特兰•罗素悖论的发现打击了他其中的一个数学家同事。在19世纪后期,弗雷格尝试发展一个基本原理以便数学上能使用符号逻辑。他确立了形式表达式(如:x =2)和数学特性(如偶数)之间的联系。按照弗雷格理论的发展,我们能自由的用一个特性去定义更多更深远的特性。
1903年,发表在《数学原理》上的罗素悖论从根本上揭示了弗雷格这种集合系统的局限性。就现在而言,这种类型的集合系统能很好的用俗称集的结构式来描述。例如,我们可以用 x代表整数,通过n来表示并且n大于3小于7,来表示4,5,6这样一个集合。这种集合的书写形势就是:x={n:n是整数,3<n<7}。集合中的对象并不一定是数字。我们也可让y={x:x是美国的一个男性居民}。
表面上看,似乎任何一个关于x的描述都有一个符合要求的空间。但是,罗素(和策梅洛一起)发现x={a:a不再a中}导致一个矛盾,就像对一群理发师的描述一样。x它本身是在x的集合中吗?否定的答案导致了矛盾的出现。
当罗素发现了悖论,弗雷格立即就发现悖论对他的理论有致命的打击。尽管这样,他还不能解决这个问题,并且上世纪有很多的尝试去解决这个问题(但没有成功)。
罗素自己对这个悖论的回答促进了类型理论的形成。他解释说,悖论的问题在于我们混淆了数集和数集的集合。所以,罗素介绍了对象的分级系统:数、数集、数集的集合等等。这个系统为形式化数学的形成奠定了基础,至今它还应用于哲学研究和计算机科学分支。
策梅洛对于罗素悖论的解决方法用新的公理:对于任意公式A(x)和任意集合b,都会有一个集合满足y={x:x既在b中又满足A(x)}取代了以前的公理:对于任意公式A(x),都会有一个集合满足y={x:x满足A(x)}。
究竟是什么样的努力使数学逻辑基础得以发展?现在数学家认识到这个领域可以用所谓的策梅洛-弗兰克尔集合论来定义。形式化的语言包含符号,例如e表示“其中一个数”,=表示等于,□代表集合中没有任何元素。那么可以写下一个公式B(x):如果如果y e x,而y是空集。在集的结构式中我们可以这样书写:y={x:x=□},或者更简单y={□}。罗素悖论就成这样:y={x:x不在x中},那么y是否在y中?
罗素和弗雷格关于罗素悖论发现的通信可以在《从弗雷格到高德尔,数学逻辑起源》(1879-1931)中查看到。这本书由哈佛大学出版社 Jean Van Heijenoort 1967年编辑出版。

1900年前后,在数学的集合论中出现了三个著名悖论,理发师悖论就是罗素悖论的一种通俗表达方式。此外还有康托尔悖论、布拉利—福尔蒂悖论。这些悖论特别是罗素悖论,在当时的数学界与逻辑界内引起了极大震动。触发了数学的第三次危机。


悖论

让我们先了解下什么是悖论。悖论(paradox)来自希腊语“para+dokein”,意思是“多想一想”。这个词的意义比较丰富,它包括一切与人的直觉和日常经验相矛盾的数学结论,那些结论会使我们惊异无比。 悖论是自相矛盾的命题。即如果承认这个命题成立,就可推出它的否定命题成立;反之,如果承认这个命题的否定命题成立,又可推出这个命题成立 如果承认它是真的,经过一系列正确的推理,却又得出它是假的;如果承认它是假的,经过一系列正确的推理,却又得出它是真的。 古今中外有不少著名的悖论,它们震撼了逻辑和数学的基础,激发了人们求知和精密的思考,吸引了古往今来许多思想家和爱好者的注意力。解决悖论难题需要创造性的思考,悖论的解决又往往可以给人带来全新的观念。 悖论有三种主要形式。1.一种论断看起来好像肯定错了,但实际上却是对的(佯谬)。2.一种论断看起来 好像肯定是对的,但实际上却错了(似是而非的理论)。3.一系列推理看起来好像无懈可击,可是却导致逻辑上自相矛盾。


罗素悖论定义:

M:所有包含集合自身的集合;
N:所有不包含集合自身的集合;
问:N∈M还是∈N。
如果N ∈M ,说明N 具备M 的特征,根据M 的定义,N 包含集合自身,
但这和N 的定义矛盾;如果N ∈N ,说明N 具备包含自己的特征,这与N 的
定义矛盾;但M +N 遍历所有集合域,所以N 也不是空集。
于是,悖论产生。


罗素悖论例子:

世界文学名著《唐·吉诃德》中有这样一个故事:

唐·吉诃德的仆人桑乔·潘萨跑到一个小岛上,成了这个岛的国王。他颁布了一条奇怪的法律:每一个到达这个岛的人都必须回答一个问题:“你到这里来做什么?”如果回答对了,就允许他在岛上游玩,而如果答错了,就要把他绞死。对于每一个到岛上来的人,或者是尽兴地玩,或者是被吊上绞架。有多少人敢冒死到这岛上去玩呢?一天,有一个胆大包天的人来了,他照例被问了这个问题,而这个人的回答是:“我到这里来是要被绞死的。”请问桑乔·潘萨是让他在岛上玩,还是把他绞死呢?如果应该让他在岛上游玩,那就与他说“要被绞死”的话不相符合,这就是说,他说“要被绞死”是错话。既然他说错了,就应该被处绞刑。但如果桑乔·潘萨要把他绞死呢?这时他说的“要被绞死”就与事实相符,从而就是对的,既然他答对了,就不该被绞死,而应该让他在岛上玩。小岛的国王发现,他的法律无法执行,因为不管怎么执行,都使法律受到破坏。他思索再三,最后让卫兵把他放了,并且宣布这条法律作废。这又是一条悖论。

由著名数学家伯特兰·罗素(Russel,1872—1970)提出的悖论与之相似:

在某个城市中有一位理发师,他的广告词是这样写的:“本人的理发技艺十分高超,誉满全城。我将为本城所有不给自己刮脸的人刮脸,我也只给这些人刮脸。我对各位表示热诚欢迎!”来找他刮脸的人络绎不绝,自然都是那些不给自己刮脸的人。可是,有一天,这位理发师从镜子里看见自己的胡子长了,他本能地抓起了剃刀,你们看他能不能给他自己刮脸呢?如果他不给自己刮脸,他就属于“不给自己刮脸的人”,他就要给自己刮脸,而如果他给自己刮脸呢?他又属于“给自己刮脸的人”,他就不该给自己刮脸。

理发师悖论与罗素悖论是等价的。因为,如果把每个人看成一个集合,这个集合的元素被定义成这个人刮脸的对象。那么,理发师宣称,他的元素,都是村里不属于自身的那些集合,并且村里所有不属于自身的集合都属于他。那么他是否属于他自己?这样就由理发师悖论得到了罗素悖论。反过来的变换也是成立的。


影响

十九世纪下半叶,康托尔创立了著名的集合论,在集合论刚产生时,曾遭到许多人的猛烈攻击。但不久这一开创性成果就为广大数学家所接受了,并且获得广泛而高度的赞誉。数学家们发现,从自然数与康托尔集合论出发可建立起整个数学大厦。因而集合论成为现代数学的基石。“一切数学成果可建立在集合论基础上”这一发现使数学家们为之陶醉。1900年,国际数学家大会上,法国著名数学家庞加莱就曾兴高采烈地宣称:“………借助集合论概念,我们可以建造整个数学大厦……今天,我们可以说绝对的严格性已经达到了……”

可是,好景不长。1903年,一个震惊数学界的消息传出:集合论是有漏洞的!这就是英国数学家罗素提出的著名的罗素悖论。罗素的这条悖论使集合理论产生了危机。它非常浅显易懂,而且所涉及的只是集合论中最基本的东西。所以,罗素悖论一提出就在当时的数学界与逻辑学界内引起了极大震动。德国的著名逻辑学家弗里兹在他的关于集合的基础理论完稿付印时,收到了罗素关于这一悖论的信。他立刻发现,自己忙了很久得出的一系列结果却被这条悖论搅得一团糟。他只能在自己著作的末尾写道:“一个科学家所碰到的最倒霉的事,莫过于是在他的工作即将完成时却发现所干的工作的基础崩溃了。”

1874年,德国数学家康托尔创立了集合论,很快渗透到大部分数学分支,成为它们的基础。到19世纪末,全部数学几乎都建立在集合论的基础之上了。就在这时,集合论中接连出现了一些自相矛盾的结果,特别是1902年罗素提出的理发师故事反映的悖论,它极为简单、明确、通俗。于是,数学的基础被动摇了,这就是所谓的第三次“数学危机”。

罗素的悖论发表之后,接着又发现一系列悖论(后来归入所谓语义悖论): 1、理查德悖论 2、培里悖论 3.格瑞林和纳尔逊悖论。

解决

罗素悖论提出,危机产生后,数学家纷纷提出自己的解决方案。人们希望能够通过对康托尔的集合论进行改造,通过对集合定义加以限制来排除悖论,这就需要建立新的原则。“这些原则必须足够狭窄,以保证排除一切矛盾;另一方面又必须充分广阔,使康托尔集合论中一切有价值的内容得以保存下来。”1908年,策梅罗在自己这一原则基础上提出第一个公理化集合论体系,后来这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。除ZF系统外,集合论的公理系统还有多种,如诺伊曼等人提出的NBG系统等。公理化集合系统的建立,成功排除了集合论中出现的悖论,从而比较圆满地解决了第三次数学危机。但在另一方面,罗素悖论对数学而言有着更为深刻的影响。它使得数学基础问题第一次以最迫切的需要的姿态摆到数学家面前,导致了数学家对数学基础的研究。而这方面的进一步发展又极其深刻地影响了整个数学。如围绕着数学基础之争,形成了现代数学史上著名的三大数学流派,而各派的工作又都促进了数学的大发展等等。

   以上简单介绍了数学史上由于悖论而导致的三次数学危机与度过,从中我们不难看到悖论在推动数学发展中的巨大作用。有人说:“提出问题就是解决问题的一半”,而悖论提出的正是让数学家无法回避的问题。它对数学家说:“解决我,不然我将吞掉你的体系!”正如希尔伯特在《论无限》一文中所指出的那样:“必须承认,在这些悖论面前,我们目前所处的情况是不能长期忍受下去的。人们试想:在数学这个号称可靠性和真理性的模范里,每一个人所学的、教的和应用的那些概念结构和推理方法竟会导致不合理的结果。如果甚至于数学思考也失灵的话,那么应该到哪里去寻找可靠性和真理性呢?”悖论的出现逼迫数学家投入最大的热情去解决它。而在解决悖论的过程中,各种理论应运而生了:第一次数学危机促成了公理几何与逻辑的诞生;第二次数学危机促成了分析基础理论的完善与集合论的创立;第三次数学危机促成了数理逻辑的发展与一批现代数学的产生。数学由此获得了蓬勃发展,这或许就是数学悖论重要意义之所在吧,而罗素悖论在其中起到了重要的作用。

理性不能回答关于其自身的问题,这个问题在康德时期就发现了。逻辑存在无法弥补的漏洞,却是人了解世界的唯一途径。到头来你会发现,不是否定理性就是否定信仰。因为所谓唯心唯物之争都是建立在这样不完备的逻辑体系上的纯粹理性科学。既然理性无法对其自身做出判断,那么选择立场就不能以理性为依据,从而变成一种实质上的迷信。当然如果你坚持要说自己的立场是合乎所谓的科学或实践的,那么其实你既不属于唯物也不属于唯心,本质上只是一种泛经验主义或者泛逻辑主义罢了。当然,这里的逻辑主义当然不是罗素的那个,只是一个形象点的称呼而已。

罗素悖论定义
把所有集合分为2类,第一类中的集合以其自身为元素,第二类中的集合不以自身为元素,假令第一类集合所组成的集合为P,第二类所组成的集合为Q,于是有:
P={A∣A∈A}
Q={A∣A¢A}(¢:不属于的符号,因为实在找不到)
问,Q∈P 还是 Q∈Q?
这就是著名的“罗素悖论”
罗素悖论例子
世界文学名著《唐·吉诃德》中有这样一个故事:
唐·吉诃德的仆人桑乔·潘萨跑到一个小岛上,成了这个岛的国王.他颁布了一条奇怪的法律:每一个到达这个岛的人都必须回答一个问题:“你到这里来做什么?”如果回答对了,就允许他在岛上游玩,而如果答错了,就要把他绞死.对于每一个到岛上来的人,或者是尽兴地玩,或者是被吊上绞架.有多少人敢冒死到这岛上去玩呢?一天,有一个胆大包天的人来了,他照例被问了这个问题,而这个人的回答是:“我到这里来是要被绞死的.”请问桑乔·潘萨是让他在岛上玩,还是把他绞死呢?如果应该让他在岛上游玩,那就与他说“要被绞死”的话不相符合,这就是说,他说“要被绞死”是错话.既然他说错了,就应该被处绞刑.但如果桑乔·潘萨要把他绞死呢?这时他说的“要被绞死”就与事实相符,从而就是对的,既然他答对了,就不该被绞死,而应该让他在岛上玩.小岛的国王发现,他的法律无法执行,因为不管怎么执行,都使法律受到破坏.他思索再三,最后让卫兵把他放了,并且宣布这条法律作废.这又是一条悖论.
由著名数学家伯特兰·罗素(Russel,1872—1970)提出的悖论与之相似:
在某个城市中有一位理发师,他的广告词是这样写的:“本人的理发技艺十分高超,誉满全城.我将为本城所有不给自己刮脸的人刮脸,我也只给这些人刮脸.我对各位表示热诚欢迎!”来找他刮脸的人络绎不绝,自然都是那些不给自己刮脸的人.可是,有一天,这位理发师从镜子里看见自己的胡子长了,他本能地抓起了剃刀,你们看他能不能给他自己刮脸呢?如果他不给自己刮脸,他就属于“不给自己刮脸的人”,他就要给自己刮脸,而如果他给自己刮脸呢?他又属于“给自己刮脸的人”,他就不该给自己刮脸.
理发师悖论与罗素悖论是等价的:
因为,如果把每个人看成一个集合,这个集合的元素被定义成这个人刮脸的对象.那么,理发师宣称,他的元素,都是村里不属于自身的那些集合,并且村里所有不属于自身的集合都属于他.那么他是否属于他自己?这样就由理发师悖论得到了罗素悖论.反过来的变换也是成立的.


罗素的简介以及罗素悖论讲的是什么
1872年5月18日生于英格兰蒙茅斯郡特里莱赫的一个英国自由党贵族的家庭。1970年2月2日卒于梅里奥尼斯郡彭林德拉耶斯附近。 罗素11岁开始学习欧氏几何,18岁入剑桥大学三一学院学习,1894年毕业;1895年他在剑桥三一学院获研究员的职位;1901年他发现了著名的罗素悖论,引发了20世纪初对数学基础的危机。他...

罗素悖论的通俗版又被称为
公理化集合论的建立,成功排除了集合论中出现的悖论,从而比较圆满地解决了第三次数学危机。但在另一方面,罗素悖论对数学而言有着更为深刻的影响。它使得数学基础问题第一次以最迫切的需要的姿态摆到数学家面前,导致了数学家对数学基础的研究。而这方面的进一步发展又极其深刻地影响了整个数学。如围绕着...

罗素悖论是什么 看不懂。。。
此悖论是19世纪末数学界爆发的一场严重危机,利用当时的知识结构,数学体系出现了严重的无法覆盖的空隙,经过一大批数学家对微积分建立后发展的集合体系的重建,悖论才得以解决。总之,悖论不是错论,那些说罗素悖论错在哪里什么的,本身就大错特错,建议专业性学习一定要对照英文,汉语的劣势是太多多意字...

什么是罗素悖论?
【什么是悖论】让我们先了解下什么是悖论。悖论(paradox)来自希腊语“para+dokein”,意思是“多想一想”。这个词的意义比较丰富,它包括一切与人的直觉和日常经验相矛盾的数学结论,那些结论会使我们惊异无比。 悖论是自相矛盾的命题。即如果承认这个命题成立,就可推出它的否定命题成立;反之,如果...

什么是“罗素悖论”
又或者,简单地说,定义一个集合,它的元素有这样的性质:这个元素不属于这个集合。这样矛盾就构成了,x到底是不是集合中的元素呢,如果是,则不符合定义,如果不是,又应该划入集合。这个悖论的产生就在于之前的集合论一直都搞错了集合的定义,集合不是什么都能构造的。在《数理逻辑导论》里面他写过,...

哲学上的著名悖论主要有哪些?
1. 理发师悖论(罗素悖论):某村只有一人理发,且该村的人都需要理发,理发师规定,给且只给村中不自己理发的人理发。试问:理发师给不给自己理发?如果理发师给自己理发,则违背了自己的约定;如果理发师不给自己理发,那么按照他的规定,又应该给自己理发。这样,理发师陷入了两难的境地。2. 芝诺...

元素的罗素悖论
Q,引出矛盾。若Q∉P,根据第二类集合的定义,A∉A,而P中的任何集合都有A∈A的性质,所以Q∈P,不是矛盾。 这就是著名的“罗素悖论”(Russell's paradox)。罗素悖论还有一些较为通俗的解释,如理发师悖论等。 为消除该悖论,集合论中规定:所有集合不能以自己为元素。

什么叫悖论?有哪些有名的悖论
悖论的定义可以这样表述:由一个被承认是真的命题为前提,设为B,进行正确的逻辑推理后,得出一个与前提互为矛盾命题的结论非B;反之,以非B为前提,亦可推得B。那么命题B就是一个悖论。当然非B也是一个悖论。我们可以按照某些制定或约定的公理规则去判定或证明某一命题的真假,但是我们按照制定或约定的公理规则去判定...

著名的悖论都有哪些?
1-4 理发师悖论 在萨维尔村,理发师挂出一块招牌:“我只给村里所有那些不给自己理发的人理发。”有人问他:“你给不给自己理发?”理发师顿时无言以对。这是一个矛盾推理:如果理发师不给自己理发,他就属于招牌上的那一类人。有言在先,他应该给自己理发。反之,如果这个理发师给他自己理发,...

悖论是什么意思
以下是详细的解释:悖论常常出现在语言、数学、哲学和某些情境描述中,表现为一种看似合理但又无法用常规逻辑解释的陈述或现象。这种矛盾性使得人们无法直接接受或拒绝悖论所描述的内容,因为它似乎同时拥有正确的和错误的元素。在哲学领域,悖论经常涉及到时间、空间、因果关系等基本概念。例如,关于时间的悖论...

林芝县17785935630: 罗素悖论的具体内容是什么? -
和鹏优克: 什么是悖论 让我们先了解下什么是悖论.悖论(paradox)来自希腊语“para+dokein”,意思是“多想一想”.这个词的意义比较丰富,它包括一切与人的直觉和日常经验相矛盾的数学结论,那些结论会使我们惊异无比. 悖论是自相矛盾的命...

林芝县17785935630: 罗素的简介以及罗素悖论讲的是什么 -
和鹏优克:[答案] 罗素,英国数学家、逻辑学家、哲学家.1872年5月18日生于英格兰蒙茅斯郡特里莱赫的一个英国自由党贵族的家庭.1970年2月2日卒于梅里奥尼斯郡彭林德拉耶斯附近. 罗素11岁开始学习欧氏几何,18岁入剑桥大学三一学院学习,1894年毕业;1895...

林芝县17785935630: 2、什么是罗素的“理发师悖论”?思考悖论背后反映了什么问题? -
和鹏优克:[答案] 小城里的理发师放出豪言:“我帮且只帮城里所有不自己刮脸的人刮脸”. 但问题是:理发师该给自己刮脸吗?如果他给自己刮脸,那么按照他的豪言“只为那些不为自己刮脸的人刮脸”他不应该为自己刮脸;但如果他不给自己刮脸,同样按照他的...

林芝县17785935630: 罗素悖论是什么????? -
和鹏优克: 罗素悖论:设性质P(x)表示“”,现假设由性质P确定了一个类A----也就是说“”.那么现在的问题是:是否成立?首先,若,则A是A的元素,那么A具有性质P,由性质P知;其次,若,也就是说A具有性质P,而A是由所有具有性质P的类组成的,所以. 罗素悖论还有一些更为通俗的描述,如理发师悖论: 理发师悖论:某理发师发誓“要给所有不自已理发的人理发,不给所有自己理发的人理发”,现在的问题是“谁为该理发师理发?”.首先,若理发师给自己理发,那他就是一个“自己理发的人”,依其誓言“他不给自己理发”;其次,若“他不给自己理发”,依其誓言,他就必须“给自己理发”. 罗素悖论在类的理论中通过内涵公理而得到解决.

林芝县17785935630: 什么是罗素悖论? -
和鹏优克: 集合可以分为两类:第一类集合的特征是:集合本身又是集合中的元素,例如当时人们经常说的“所有集合所成的集合”;第二类集合的特征是:集合本身不是集合的元素,例如直线上点的集合.显然,一个集合必须是并且只能是这两类集合中的一类.现在假定R是所有第二类集合所成的集合.那么,R是哪一类的集合呢? 如果R是第一类的,R是自己的元素,但由定义,R只由第二类集合组成,于是R又是第二类集合;如果R是第二类集合,那么,由R的定义,R必须是R的元素,从而R又是第一类集合.总之,左右为难,无法给出回答.这就是著名的“罗素悖论”.

林芝县17785935630: 关于罗素悖论 -
和鹏优克: 罗素悖论是个相当经典的问题,它有许多种不同的表述,但实质上是等价的,以下给一个较为易懂的表述:理发师只给那些不给自己理发的人理发.注意了,理发师给他自己理发吗?假设不,则他会给自己理发;假设要,则他不给自己理发;这是一个矛盾体,所以称之为悖论.下面解释“什么是不是它本身元素的集合”,可以理解为R={Q|Q不属于Q},那么我们不禁要问,R是R的元素吗?若R是R的元素,则由定义应有:R不属于R;同理若R不是R的元素,则由定义可得R属于R;自相矛盾.

林芝县17785935630: 罗素悖论到底是怎么解决的?我也就高中集合那么点知识,别说的太深奥了. -
和鹏优克:[答案] “自我指涉”可导致罗素悖论.简单来说,一个命题的真或假依赖于其本身的真假,即可为自我指涉.日常交流中,我们应该避免、也没有必要说出自我指涉的话.【练习题】请用自我指涉创造罗素悖论.例:这句话是假的.

林芝县17785935630: 罗素悖论怎么回事 -
和鹏优克: 罗素悖论是:把所有集合分为2类,第一类中的集合以其自身为元素,第二类中的集合不以自身为元素,后者可以组成一个集合.可以证明这个集合不能归入上两类.有一个浅显的例子:理发师声称只给“不给自己刮脸的人”刮脸.由此不能断定他是否应该给自己刮脸.这个悖论的关键是它包含了无穷过程,而数学逻辑只承认潜无穷(即无穷是一个无限增长的过程),因此不适用与这个问题的推理.用反证法不能得到正确的结论.无穷过程在于:理发师要判定是否应该给自己刮脸,要先判定自己是否是“不给自己刮脸的人”;要只要自己是否是“不给自己刮脸的人”,就要先决定是否给自己刮脸.如此往复,除非他能跳过这个无穷的过程,否则他永远无法得到结论.

林芝县17785935630: 什么是悖论(详细一点)?请举几个著名例子. -
和鹏优克:[答案] 悖论指在逻辑上可以推导出互相矛盾之结论,但表面上又能自圆其说的命题或理论体系. 公元前六世纪,哲学家克利特人艾皮米尼地斯(Epimenides):“所有克利特人都说谎,他们中间的一个诗人这么说.”这就是这个著名悖论的来源.《圣经》里曾...

林芝县17785935630: 求知:哲学家罗素的的主要哲学思想,及生平贡献. -
和鹏优克:[答案] 伯特兰.罗素(1872-1970)英国唯心主义哲学家、数学家、逻辑学家.在数学上,从事过数理逻辑和数学基础的研究.以他命名的“罗素悖论,”曾对二十世纪的数学基础发生过重大影响.与怀特合著的《数学原理》(三卷),企图建立逻辑主义数学体...

本站内容来自于网友发表,不代表本站立场,仅表示其个人看法,不对其真实性、正确性、有效性作任何的担保
相关事宜请发邮件给我们
© 星空见康网