手机浏览器扫描二维码访问
第五百五十一章 科恩的力迫法集合论（第1页）
科恩和莱维开始讨论关于ZFC中的力迫法。
科恩说：“我要构造构造公理系统的模型的方法。”
莱维说：“如何构造。”
科恩说：“用于构造兼纳扩充的偏序集。你不是研究了偏序集了吗？”
莱维说：“你能打个简单的比方吗？”
科恩说：“没问题，假设从前有上帝，人不可能了解上帝的全貌，但是有许许多多的人接触过上帝的神迹.”
莱维说：“是的，上帝神迹的集合就是ZFC构造的所有集合。”
肯恩说：“不同的人了解的上帝的神迹不一样，有的多一些，有的少一些，甚至有些互相抵触，互相矛盾;两个人见识的神迹，有可能所见识过的，另一个完完全全清楚.”
莱维说：“没错，你需要用ZFC去统一他们。”
科恩说：“有虔诚的信徒想调查所有人所知道的神迹，然后把这些神迹全部拼凑在一起，也许就是完整的神的模样.他调查了许许多多人，采信并记录了一些人的观点.”
莱维说：“这就是你要做的工作。”
科恩说：“但是很显然，那些相互矛盾的内容至多选择其中之一，也就是说，他记录的的观点，都是互不矛盾的.”
莱维说：“没错，这样是本质上产生偏序集的原因。”
科恩说：“此外，为了保证自己记录观点的完整性，如果对于某一个看法，互相矛盾的看法有很多，大家众说纷纭，那么他必须选择其中至少一个说法记录下来.”
莱维说：“这是最重要的，必须选择重要的正确的来做集合。”
科恩说：“因为神迹实在是太多了，几乎无穷无尽，他不管怎么调查，都还是有一些问题悬而未决.”
莱维说：“这也是无法避免的。”
科恩说：“最后，所以上帝毕竟是上帝，这位信徒直到死也没能完成这个记录.但是他从已经记录下来的信息中，获得了许多前人所不知道的知识.”
莱维说：“或许，这就是结果。”
喜欢数学心请大家收藏：（）数学心
我真没想在过去的年代当学霸 穿到虫族和军雌相亲 迷津蝴蝶 我在死亡副本当管理员 杀了那个妖鬼 枭鸢 怪物崽崽和他的怪物监护人 死神不来了 兽世养山君[种田] 君为客 末世后我成了疯批alpha们的安抚剂 上流假象 新搬来的邻居 第三十年明月夜 撩惹疯批顶E，笨蛋少爷他逃了 攻略对象变成室友后，他不对劲 夸夸我的神探祖父穿越爹 小仓鼠今天有猫了吗 还是修仙吧 神魔剑玄录
我在古代做家教
她本是一名中学语文老师，过劳死穿越到了一个名不见经传的朝代，她家穷，兄弟姐妹多，而且个个懒散不想干活，全部事情都落在她一个人身上，不仅如此，还有员外老爷想要娶她去做妾，条件是一百块大洋。为了不被卖掉，她只能想办法养活自己，养活这个家。如果您喜欢我在古代做家教，别忘记分享给朋友...
大唐第一狠人
民间故老相传，将不过李，王不过霸，但是在大唐最无敌的却是李元霸。那么，穿越成李元霸的遗腹子，将会是怎样一种精彩的人生？惹事，他从来不怕。拼爹，谁拼得过他？另有老书大唐风华路，也是大唐种田流，有书荒的建议去看看，均订过万，应该还能入您法眼。全订群722290630如果您喜欢大唐第一狠人，别忘记分享给朋友...
我的恋爱指数要满仓
经历了一场愉快的交谈，远野幸子股价格上涨10，当前股价110远野幸子股已清仓，获得资金110000已购买剑术（大师）技能，花费资金100000穿越东京，开启恋爱股市游戏系统，多崎司却一直沉醉如琐屑的日常中。炒股是不可能炒股的一一我！只！会！满！仓！文艺版归途的黄色电车寂寂寥寥，深邃的风声刮过脸颊，多崎司兜上风帽，只身走进幽深的隧道。呐，司君。少女从车厢追出来，脸上绽放出温柔的笑容春天快到了，是那种会捎来幸福的春天哦。如果您喜欢我的恋爱指数要满仓，别忘记分享给朋友...
英雄联盟之无敌升级
关于英雄联盟之无敌升级超级爽文，火热追读携带英雄联盟无敌系统穿越到强者横行的异界，从此装逼之路大开！啥是无敌系统？就是只有你想不到，没有它做不到！真的，真的不是一般的杀怪升级哦！继英雄联...
奶爸的文艺人生
粑粑！刚穿越到平行世界，就看到有个精致可爱的小女孩喊自己爸爸，杨轶表示有些懵逼。好吧，曦曦是百分之百的亲女儿，而孩子她妈居然是高冷绝美的过气歌后。这乐子闹大咯！问题也接踵而至。怎么哄娃？前世是孤胆杀手的杨轶挠破了头。要不讲点故事？杨轶没有想到，他搬运过来的故事火遍全球！怎么样把被自己气走的孩子她妈追回来？有了经...