手机浏览器扫描二维码访问
第五百五十一章 科恩的力迫法集合论（第1页）
科恩和莱维开始讨论关于ZFC中的力迫法。
科恩说：“我要构造构造公理系统的模型的方法。”
莱维说：“如何构造。”
科恩说：“用于构造兼纳扩充的偏序集。
你不是研究了偏序集了吗？”
莱维说：“你能打个简单的比方吗？”
科恩说：“没问题，假设从前有上帝，人不可能了解上帝的全貌，但是有许许多多的人接触过上帝的神迹。”
莱维说：“是的，上帝神迹的集合就是ZFC构造的所有集合。”
肯恩说：“不同的人了解的上帝的神迹不一样，有的多一些，有的少一些，甚至有些互相抵触，互相矛盾;两个人见识的神迹，有可能所见识过的，另一个完完全全清楚。”
莱维说：“没错，你需要用ZFC去统一他们。”
科恩说：“有虔诚的信徒想调查所有人所知道的神迹，然后把这些神迹全部拼凑在一起，也许就是完整的神的模样。他调查了许许多多人，采信并记录了一些人的观点。”
莱维说：“这就是你要做的工作。”
科恩说：“但是很显然，那些相互矛盾的内容至多选择其中之一，也就是说，他记录的的观点，都是互不矛盾的。”
莱维说：“没错，这样是本质上产生偏序集的原因。”
科恩说：“此外，为了保证自己记录观点的完整性，如果对于某一个看法，互相矛盾的看法有很多，大家众说纷纭，那么他必须选择其中至少一个说法记录下来。”
莱维说：“这是最重要的，必须选择重要的正确的来做集合。”
科恩说：“因为神迹实在是太多了，几乎无穷无尽，他不管怎么调查，都还是有一些问题悬而未决。”
莱维说：“这也是无法避免的。”
科恩说：“最后，所以上帝毕竟是上帝，这位信徒直到死也没能完成这个记录。但是他从已经记录下来的信息中，获得了许多前人所不知道的知识。”
莱维说：“或许，这就是结果。”
喜欢数学心请大家收藏：（aiquwx）数学心
拜师四目道长
四目道长徒儿，赶尸之道，为师已经全传给你了！齐漱溟徐君明，我蜀山与你势不两立！孙悟空僵尸叔叔聊斋蜀山剑侠传西游记封神榜，错过‘九叔’，没拿到主角模板的徐君明流浪在诸天世界！...
吾乃金箍棒
当孙泽挣开眼意识到他穿越的时候他是淡然的，但当他发现他成了一根棒的时候，他就懵逼了。卧槽，老子堂堂华夏兵王，怎么变成了一根棒，还是最粗最大，可大可小那根。从此以后，孙泽的口头禅变成了这样，呔，吃本座一棒。这世界上没有什么是一棒解决不了的问题，如果有那就用两棒—孙泽。等级筑基金丹元婴化神渡劫仙人...
战王归来
宇哥，你会装逼吗？呵，装逼不敢说有多大的造诣，就是天赋异禀！！夏宇点了根两块五的甲天下，扣着脚丫子一脸淡然。...
造车
我想造车！韩皓一本正经说道。就你周围的人都笑了，其中有人出言讽刺道。别人造的汽车都是用钱买，而你韩皓造的汽车得用命买！面对种种质疑，韩皓依旧不为所动回答。既然如此，让我第一个试驾，就用我韩皓的命替中国民族汽车产业赌一个未来吧！...
前桌女生竟是我的头号黑粉
创作过13部小说，且通通太监掉了的男人，在现实中，被女读者抓到了！虽然她有妙不可言的催更技能，（和惨不忍睹的逼更手段）但普通作者依然只有0024的概率...
枢纽：3000年的中国
这本书能带你看懂中国历史演进的逻辑中国奇迹持续的原因以及，该如何认知我们的世界角色。在这个关键节点，每个人都在思考未来。我们在思考未来的时候，最重要的事情是对目标的设定。而如何设定目标，取决于你怎么理解自己理解中国理解世界。每个人，都该思考在起伏的浪潮中，一个人怎么认知环境？过去40年，中国为什么能迅速崛起？中国式奇迹能否持续？未来，世界会有怎样的格局？在大环境下，你该扮演怎样的角色？...