手机浏览器扫描二维码访问
第五百五十一章 科恩的力迫法集合论（第1页）
科恩和莱维开始讨论关于ZFC中的力迫法。
科恩说：“我要构造构造公理系统的模型的方法。”
莱维说：“如何构造。”
科恩说：“用于构造兼纳扩充的偏序集。你不是研究了偏序集了吗？”
莱维说：“你能打个简单的比方吗？”
科恩说：“没问题，假设从前有上帝，人不可能了解上帝的全貌，但是有许许多多的人接触过上帝的神迹.”
莱维说：“是的，上帝神迹的集合就是ZFC构造的所有集合。”
肯恩说：“不同的人了解的上帝的神迹不一样，有的多一些，有的少一些，甚至有些互相抵触，互相矛盾;两个人见识的神迹，有可能所见识过的，另一个完完全全清楚.”
莱维说：“没错，你需要用ZFC去统一他们。”
科恩说：“有虔诚的信徒想调查所有人所知道的神迹，然后把这些神迹全部拼凑在一起，也许就是完整的神的模样.他调查了许许多多人，采信并记录了一些人的观点.”
莱维说：“这就是你要做的工作。”
科恩说：“但是很显然，那些相互矛盾的内容至多选择其中之一，也就是说，他记录的的观点，都是互不矛盾的.”
莱维说：“没错，这样是本质上产生偏序集的原因。”
科恩说：“此外，为了保证自己记录观点的完整性，如果对于某一个看法，互相矛盾的看法有很多，大家众说纷纭，那么他必须选择其中至少一个说法记录下来.”
莱维说：“这是最重要的，必须选择重要的正确的来做集合。”
科恩说：“因为神迹实在是太多了，几乎无穷无尽，他不管怎么调查，都还是有一些问题悬而未决.”
莱维说：“这也是无法避免的。”
科恩说：“最后，所以上帝毕竟是上帝，这位信徒直到死也没能完成这个记录.但是他从已经记录下来的信息中，获得了许多前人所不知道的知识.”
莱维说：“或许，这就是结果。”
喜欢数学心请大家收藏：（）数学心
我把皇子养歪了 重生后她燃炸了 本座的猫儿师尊 成就华流天王，从历经生死战开始 我当过的炮灰都成了宠文男主[快穿] 白夜（重生） 快穿之大佬总是在撩我 [咒回同人] 全员术师 BOSS伪装白莲花女主杀疯了 当绿茶反派男配想上位 宗门全是美强惨，小师妹是真疯批 我说今夜无神，于是众神陨落 肥妃有福，双面王爷倾世妃 [穿书]男主他想弄死我+番外 鬼灭RPG为美好的世界献上帝君 [综影视同人] 炮灰终结者 告白未果，我决定做回低调逆袭者 盛宠拽后：本宫就爱戏诸王 忠犬影卫饲养法则 [HP同人] 隐藏在霍格沃茨当教授
无良交易
老天爷你瞎了眼，居然用雷劈我？本来是个假半仙的乐天居被雷劈成真半仙，也开启了他精彩的世界。美女金钱权利，要啥有啥的生活实在太爽了...
极品大太监
贪财好色但却精通书法书画的典当行小职员梁薪穿越到北宋深宫之中成为一名没有净身的小太监。一方面梁薪惑乱宫闱，另一方面他又深得皇上赵佶的信任，成为皇宫太监第一人。...
斗罗大陆之王者归来
他们毕业于史莱克学院，是被长辈老师喜爱的孩子。他们被世人称为史莱克七怪，是同辈甚至长辈羡慕的天才。他们一同升入神界，七人一同在神界生活千年。原本平凡无聊的日子被神王打破。他们终于回到了斗罗大陆。可是神界之外，真的没有让他们而恐惧的对手吗。唐三，真的仅仅是唐三而已吗。...
农女有田超给力
穿成农家好吃懒做，丑胖自私的反派小姑子，住的差，吃不饱，声名狼藉，白瑾梨表示压力很大。还好极品亲娘宠她，包子哥嫂听她话，侄子侄女拿她当老大，又有空间在手，发家致富，改变自己，和谐全家妥妥的，只是这个刚出现就险些被她害了的男人为何看着怪怪的，一开始想杀她，后来天天想跟她在一起？重生后的林沉渊满心困惑他的媳妇不是很差劲吗？为何现在如此优秀？这是一个穿越女遇上重生男，最后相濡以沫，白头到老的甜宠文！...
星空下的幻想
新书天启已上传，望大家多多支持哈。－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－－大家没事可以加群170688012讨论交流。...
靳总,别傲娇靳寒嵊
海城市关于靳寒嵊的传闻有很多，心狠手辣阴晴不定但是没有人知道，靳寒嵊心里有一道白月光，并且经年不忘。然而，再次相见时，那个女人挽着他弟弟的胳膊。他挡在她面前ldquo想要一步登天，要找到合适的人，他给不了你想要的。rdquo她微笑着摇摇头ldquo靳总误会了，我没有那么大的野心。rdquo为了逼她就范，他一步一步切断她所有的退路。最后，她只能找上门求他。各位书友要是觉得靳总别傲娇靳寒嵊还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！靳总别傲娇靳寒嵊最新章节靳总别傲娇靳寒嵊无弹窗靳总别傲娇靳寒嵊全文阅读...