手机浏览器扫描二维码访问
第五百五十一章 科恩的力迫法集合论（第1页）
科恩和莱维开始讨论关于ZFC中的力迫法。
科恩说：“我要构造构造公理系统的模型的方法。”
莱维说：“如何构造。”
科恩说：“用于构造兼纳扩充的偏序集。你不是研究了偏序集了吗？”
莱维说：“你能打个简单的比方吗？”
科恩说：“没问题，假设从前有上帝，人不可能了解上帝的全貌，但是有许许多多的人接触过上帝的神迹.”
莱维说：“是的，上帝神迹的集合就是ZFC构造的所有集合。”
肯恩说：“不同的人了解的上帝的神迹不一样，有的多一些，有的少一些，甚至有些互相抵触，互相矛盾;两个人见识的神迹，有可能所见识过的，另一个完完全全清楚.”
莱维说：“没错，你需要用ZFC去统一他们。”
科恩说：“有虔诚的信徒想调查所有人所知道的神迹，然后把这些神迹全部拼凑在一起，也许就是完整的神的模样.他调查了许许多多人，采信并记录了一些人的观点.”
莱维说：“这就是你要做的工作。”
科恩说：“但是很显然，那些相互矛盾的内容至多选择其中之一，也就是说，他记录的的观点，都是互不矛盾的.”
莱维说：“没错，这样是本质上产生偏序集的原因。”
科恩说：“此外，为了保证自己记录观点的完整性，如果对于某一个看法，互相矛盾的看法有很多，大家众说纷纭，那么他必须选择其中至少一个说法记录下来.”
莱维说：“这是最重要的，必须选择重要的正确的来做集合。”
科恩说：“因为神迹实在是太多了，几乎无穷无尽，他不管怎么调查，都还是有一些问题悬而未决.”
莱维说：“这也是无法避免的。”
科恩说：“最后，所以上帝毕竟是上帝，这位信徒直到死也没能完成这个记录.但是他从已经记录下来的信息中，获得了许多前人所不知道的知识.”
莱维说：“或许，这就是结果。”
喜欢数学心请大家收藏：（）数学心
哦豁！虐文炮灰不干了！ 在下潘凤，字无双 我一枪一剑杀穿大陆 译文欣赏：博伽瓦谭 新人驾到 至尊战皇 农夫是概念神？三叶草了解一下！ 快穿之炮灰得偿所愿 穿到八零，我自带锦鲤系统！ 重生在宝可梦，我的后台超硬 摊牌了，我爹是绝顶高手！ 玄灵界都知道我柔弱可怜但能打 我的徒弟不对劲 国运：拥有多重身份的我很合理吧 宗门全是美强惨，小师妹是真疯批 大明：开局气疯朱元璋，死不登基 穿成商户女摆烂，竟然还要逃难！ 混迹娱乐圈的日子 永恒大陆之命运 暗无
世界第一宠：财迷萌宝，超难哄
本书又名你是我戒不掉的甜秦南御第一次遇见纪微甜，丢了重要信息。秦南御第二次遇见纪微甜，丢了相亲对象。秦南御第三次遇见纪微甜，丢了人如果有人问他，最厌恶的异性类型是什么样的，他会毫不犹...
开挂
不牛逼不拉风的低端业余玩家甄浪，被班花拒绝后，偶然得到一块来历神秘的智能芯片。从此，一个游戏界的传奇诞生了。那神一样的操作妖一样的走位魔一样的意识，令无数高端玩家失声惊呼挂了吧？事实证明，甄浪注定是泡不到班花的男人。因为，千姿百态的系花院花校花，风情各异的美女老师女神主播，纷纷闯进了他的生活火爆...
武炼巅峰
武之巅峰，是孤独，是寂寞，是漫漫求索，是高处不胜寒逆境中成长，绝地里求生，不屈不饶，才能堪破武之极道。凌霄阁试炼弟子兼扫地小厮杨开偶获一本无字黑书，从此踏上漫漫武道。...
天美地艳男人是山
从农村考入大学的庾明毕业后因为成了老厂长的乘龙快婿，后随老厂长进京，成为中央某部后备干部，并被下派到蓟原市任市长。然而，官运亨通的他因为妻子的奸情发生了婚变，蓟原市急欲接班当权的少壮派势力以为他没有了后台，便扯住其年轻恋爱时与恋人的越轨行为作文章，将其赶下台，多亏老省长爱惜人才，推荐其参加跨国合资公司总裁竞聘，才东山再起然而，仕途一旦顺风，官运一发不可收拾由于庾明联合地方政府开展棚户区改造工程受到了中央领导和老百姓的赞誉。在省代会上，他又被推举到了省长的重要岗位。一介平民跃升为省长...
混在日本女校的高手
为了躲避一个美女疯狂的纠缠，叶权宇在好友的帮助下偷偷来到日本，光荣地成为了圣樱花女子高中的第一名男学生，原本只想平静读完高中的他，面对一群萌萌的少女，生活又怎么可能平静得了？交流群号2746792欢迎大家前来交流吐槽！...
苏狂
下载客户端，查看完整作品简介。...