手机浏览器扫描二维码访问
科恩和莱维开始讨论关于ZFC中的力迫法。
科恩说:“我要构造构造公理系统的模型的方法。”
莱维说:“如何构造。”
科恩说:“用于构造兼纳扩充的偏序集。你不是研究了偏序集了吗?”
莱维说:“你能打个简单的比方吗?”
科恩说:“没问题,假设从前有上帝,人不可能了解上帝的全貌,但是有许许多多的人接触过上帝的神迹.”
莱维说:“是的,上帝神迹的集合就是ZFC构造的所有集合。”
肯恩说:“不同的人了解的上帝的神迹不一样,有的多一些,有的少一些,甚至有些互相抵触,互相矛盾;两个人见识的神迹,有可能所见识过的,另一个完完全全清楚.”
莱维说:“没错,你需要用ZFC去统一他们。”
科恩说:“有虔诚的信徒想调查所有人所知道的神迹,然后把这些神迹全部拼凑在一起,也许就是完整的神的模样.他调查了许许多多人,采信并记录了一些人的观点.”
莱维说:“这就是你要做的工作。”
科恩说:“但是很显然,那些相互矛盾的内容至多选择其中之一,也就是说,他记录的的观点,都是互不矛盾的.”
莱维说:“没错,这样是本质上产生偏序集的原因。”
科恩说:“此外,为了保证自己记录观点的完整性,如果对于某一个看法,互相矛盾的看法有很多,大家众说纷纭,那么他必须选择其中至少一个说法记录下来.”
莱维说:“这是最重要的,必须选择重要的正确的来做集合。”
科恩说:“因为神迹实在是太多了,几乎无穷无尽,他不管怎么调查,都还是有一些问题悬而未决.”
莱维说:“这也是无法避免的。”
科恩说:“最后,所以上帝毕竟是上帝,这位信徒直到死也没能完成这个记录.但是他从已经记录下来的信息中,获得了许多前人所不知道的知识.”
莱维说:“或许,这就是结果。”
喜欢数学心请大家收藏:()数学心
请勿开启浏览器阅读模式,否则将导致章节内容缺失及无法阅读下一章。
神魔剑玄录 撩惹疯批顶E,笨蛋少爷他逃了 末世后我成了疯批alpha们的安抚剂 兽世养山君[种田] 我真没想在过去的年代当学霸 攻略对象变成室友后,他不对劲 还是修仙吧 死神不来了 君为客 第三十年明月夜 枭鸢 穿到虫族和军雌相亲 迷津蝴蝶 我在死亡副本当管理员 杀了那个妖鬼 新搬来的邻居 怪物崽崽和他的怪物监护人 夸夸我的神探祖父穿越爹 小仓鼠今天有猫了吗 上流假象
季氏集团遭遇危机,来自法国的M公司以强势的姿态入主季氏,代价是他的婚姻。婚后,两人之间的关系渐渐变得微妙。婚后两年,人前她是季家的大少奶奶人后她孝顺着他的家人。然而,这一切,却没有得到他的真心...
岁月长河扁舟尽头来,前世夙愿,今朝弥补,天境神君岂是终点求一世问道,终会如何?登巅?或是夭折于半路?莽莽诸天,谁又能分魂布局?长生不死?是漫漫长路追求的极限吗?武练巅峰,仙境问鼎,在山峰巅峰之上,漫天星辰,心是否如初?冲过无尽的海洋,嗅着海腥之味,道路是否改变了方向?在晨曦的照耀下,是会印衬出最初的模样,还是此时杀戮的模样?如果您喜欢史上最强归来,别忘记分享给朋友...
左寒是这世界上三大拥有封号的佣兵王者之一,毫发无损的完成过无数危险任务,却被自己最信任的人背后捅刀而死。后背的神秘龙纹让他获得重生,成为一名古武学院的废材学子,不鸣则已一鸣惊人!...
唐恒穿越平行世界,成为一名短视频制作者,突然获得一个视频网站的邀请视频网站名为‘鸿蒙诸天’,竟然能够连通各个武侠世界,发布视频不仅能够让诸天万界的武者看到,还能获得奖励和打赏唐恒将信将疑的上传了一部诸天万界十大剑神盘点的视频陆小凤十大剑神盘点?必有西门兄一席之地!这独孤求败到底是谁啊?剑道境界竟然有五境?接下来,像什么诸天万界十大阴险人物盘点诸天万界十大绝色盘点在诸天万界引起了巨大轰动如果您喜欢视频通万界,开局盘点十大剑神,别忘记分享给朋友...
安德当了一百年的黄铜龙,终于在一次意外中回到了他朝思暮想的地球,本想当个死宅,安安稳稳地躺平。却发现这个世界竟然是龙族的世界,人人以屠龙为己任。为了打击这群欺世盗名的伪龙,挽回龙族的名誉,安德也只好勉为其难地给这个世界来点不一样的玩意了。幕后流,无单女主,人类侧注DND世界的龙与龙族的龙完全不一样,切勿将两者混为一谈如果您喜欢龙族世界中的黄铜龙,别忘记分享给朋友...
电竞外套,增加电竞能力。于是成为了电竞高手,为国扬名立万。破邪关刀,增加破邪能力。作为一名主播,偶尔竟然还要给观众播一播捉鬼,来吸引眼球,顺便为了世界和平。为什么陆小天先生你这么牛逼。陆小天风突然打了来访的记者一耳光,激动的说道。看这本书的人,谁不比我牛逼?我不就是得了个破系统吗?我不就是顺便扬名立万了吗?我爹妈都穿越了!如果您喜欢我给物品加词缀,别忘记分享给朋友...