手机浏览器扫描二维码访问
第五百五十一章 科恩的力迫法集合论（第1页）
科恩和莱维开始讨论关于ZFC中的力迫法。
科恩说：“我要构造构造公理系统的模型的方法。”
莱维说：“如何构造。”
科恩说：“用于构造兼纳扩充的偏序集。你不是研究了偏序集了吗？”
莱维说：“你能打个简单的比方吗？”
科恩说：“没问题，假设从前有上帝，人不可能了解上帝的全貌，但是有许许多多的人接触过上帝的神迹.”
莱维说：“是的，上帝神迹的集合就是ZFC构造的所有集合。”
肯恩说：“不同的人了解的上帝的神迹不一样，有的多一些，有的少一些，甚至有些互相抵触，互相矛盾;两个人见识的神迹，有可能所见识过的，另一个完完全全清楚.”
莱维说：“没错，你需要用ZFC去统一他们。”
科恩说：“有虔诚的信徒想调查所有人所知道的神迹，然后把这些神迹全部拼凑在一起，也许就是完整的神的模样.他调查了许许多多人，采信并记录了一些人的观点.”
莱维说：“这就是你要做的工作。”
科恩说：“但是很显然，那些相互矛盾的内容至多选择其中之一，也就是说，他记录的的观点，都是互不矛盾的.”
莱维说：“没错，这样是本质上产生偏序集的原因。”
科恩说：“此外，为了保证自己记录观点的完整性，如果对于某一个看法，互相矛盾的看法有很多，大家众说纷纭，那么他必须选择其中至少一个说法记录下来.”
莱维说：“这是最重要的，必须选择重要的正确的来做集合。”
科恩说：“因为神迹实在是太多了，几乎无穷无尽，他不管怎么调查，都还是有一些问题悬而未决.”
莱维说：“这也是无法避免的。”
科恩说：“最后，所以上帝毕竟是上帝，这位信徒直到死也没能完成这个记录.但是他从已经记录下来的信息中，获得了许多前人所不知道的知识.”
莱维说：“或许，这就是结果。”
喜欢数学心请大家收藏：（）数学心
穿到虫族和军雌相亲 攻略对象变成室友后，他不对劲 小仓鼠今天有猫了吗 撩惹疯批顶E，笨蛋少爷他逃了 新搬来的邻居 夸夸我的神探祖父穿越爹 兽世养山君[种田] 神魔剑玄录 怪物崽崽和他的怪物监护人 君为客 枭鸢 我在死亡副本当管理员 我真没想在过去的年代当学霸 死神不来了 末世后我成了疯批alpha们的安抚剂 杀了那个妖鬼 还是修仙吧 上流假象 第三十年明月夜 迷津蝴蝶
剑之魔法师
关于剑之魔法师这是一个很久前就写了不少的的故事，是一个少年的幻想吧，现在想把它写完，真正描绘出那个心中的理想世界，让自己不留遗憾，故事是古老的魔幻，可是竟然没这分类！...
颤抖吧，渣爹
青砖绿瓦，陌上花开香染衣朱门紫殿，素手摘星霓作裳。如果您喜欢颤抖吧，渣爹，别忘记分享给朋友...
穿书后，我成了大佬的硬核蛮妻
关于穿书后，我成了大佬的硬核蛮妻一场车祸，超级巨星林孟槐莫名穿进一本狗血小说，成了徒有其表的废柴花瓶？励志要逆转命运，手撕小三渣男，重启巅峰可这缠上来的男人是怎么回事？！方总要对我怎么负责...
傲剑凌云
这是个以剑为主的世界。 凌逍本为蜀山内门弟子，在观摩师门前辈渡劫的时候被天劫带到异界，重生于将门子弟身上。 掌握着无数这个世界奉为神级的剑技，还有这个...
拐个状元来种田
关于拐个状元来种田一朝穿越，现代白领唐可可穿到了无父无母的孤儿身上。住山洞，挖野菜，吃了上顿没下顿。唐可可挽起袖子，带领四兄妹一边斗极品虐渣渣，一边发家致富两不耽误。买房子，上私塾，一家人齐心...
周先生的险情
不过一份150块钱的意外险，周先生的险情是不是有点多？钱小姐，我被狗咬了，请拿过来取报销发票。钱楚小姐，我被鹅啄了，麻烦你来拿报销发票。楚楚，我脚被锤子砸了，来拿下报销发票。钱楚周先生，恕我直言，您这样的追求方式我不接受。周先生那我把报销发票给你送过去。钱楚特别说明大渣爷三观离家出走，胖妞妞们请知悉。爷的文爷做主，不喜欢的小盆友统统点叉退散，不必特意留言告之，新人新文，请多包涵╭╯3╰╮...