数学联邦政治世界观
超小超大

翻译版(玄宇宙计划原文)超宇宙计划 (7-6)

对于是否以及如何将多元宇宙视为确定真理问题的背景,集合论者之间也没有达成共识。例如,Hamkins提出的异质开放多元宇宙,伴随着双重的邀请,即放弃“CH的梦想解决方案模板”,据此,CH的真值必须由集合论的一些新公理来决定,并考虑CH是否成立的问题已经确定,作为我们对不同真值的认识的结果,它可能在多元宇宙的不同宇宙中被假定。相反,在[23]中,引入集合-一般多元宇宙,以考察集合-一般多元宇宙的真理概念。根据后者,用集合论语言表述的句子,如果它在由V生成的多元宇宙中绝对成立,即如果它在属于该多元宇宙的cach宇宙中成立,则它是成立的。如果一个人采用集合-通用多元宇宙的真理概念,他应该声明像CH这样的句子缺乏真理价值。然而,这并不是Woodin的结论。事实上,他认为集泛多元宇宙的真理概念是站不住脚的,因为它违背了他认为对集论宇宙的任何真理概念都至关重要的原则(见[23])。

然而,请注意,尽管Woodin和Hamkins对多元宇宙有不同的数学理解,他们对独立于ZFC的句子的地位也有不同的立场,在某一点上,他们对多元宇宙的看法比一开始看起来更相似。在考虑通过调用多元宇宙是否可以为集合论句子引入一个合适的真理概念时,Woodin和Hamkins都心照不宣地从一个假设开始,即人们应该把多元宇宙看作是无法超越的终极多个ZFC模型,I.C...被简化成一些更基本的东西。结果,它们都被引导到集合论真理概念的候选者,集合论真理的概念是高度不完全的,允许集合论的句子既不是真的也不是假的。Woodin和Hamkins的这一假设值得强调,因为超宇宙计划明确拒绝了这一假设(见下面的Desideratum 2),这是我们现在提出的一种独特的方法,利用多元宇宙的概念来研究集合论真理。

超宇宙计划可以被理解为从多元宇宙的图景出发,试图达到新的法律上的科学理论真理

超宇宙计划

85

它忠实地总结了在当代集合论中可以得到的大量结果。当使用这种方法时,集中在有充分根据的ZFC模型上,就等于表达了双重信念,即ZFC的公理是事实上的集-核心真理,并且只有这个理论的有充分根据的模型才能提供集论宇宙的似是而非的图画。因此,超宇宙计划一开始就断言,多元宇宙应该满足一个最大值和一个定义明确的标准,只有ZFC的所有可数传递模型的集合才能满足这个标准。更准确地说:

需要1.多元宇宙应该是尽可能丰富的,但它不应该是一个定义不清或无限制的多样性。

在陈述这一点时,one有两个目的。首先,one的动机是,在当代学科理论中,创造有充分基础的宇宙的方法远远超出了集强制或类强制(因此,多元宇宙应该包括更多的集合或类通用扩展和基础模型)。自超宇宙以来,ZFC的所有可数传递模的收集。在所有可能的宇宙创造方法下都是封闭的,人们就会用它来识别多元宇宙。第二,在《需求1》中,多元宇宙被赋予一个精确数学公式,这使得人们能够把它投入工作,以达到丰富集合-核心真理领域目的。这是在超宇宙计划中完成的,通过制定超宇宙某些成员相对于其他成员的合理偏好,从而获得首选宇宙的选择。多元宇宙被明确定义的要求是这一选择过程得以实现的必要条件,如果多元宇宙被明确定义或者是开放的,情况就不会是这样。

需要量2.超宇宙不是终极的多元性。人们可以根据基于合理原则的标准来表达对其某些成员的偏好。

超宇宙计划的另一个关键点是,一阶性质在超宇宙的偏好宇宙中是真实的,在V中也是真实的。

需要3.V的任何一阶性质都反映在ZFC的可数传递模型中,ZFC是超宇宙的首选成员。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

上交系统,我们是国家的大腿 连载中
上交系统,我们是国家的大腿
想撸猫
大女主,两个,都有系统,嗨起来,上交国家
14.0万字8个月前
快穿:狐狸有点脚滑 连载中
快穿:狐狸有点脚滑
萧淑不淑怡
杨欣然原来是人,不过在一次意外,遇到了系统,跟他做了很久的交易,交易结束后,又开启了新的生活,还转生成了狐狸,可惜新身体才用了几百年就噶了。......
0.5万字8个月前
赛少的身份2 连载中
赛少的身份2
玉梅619911653
这篇主要是以赛罗和天斗八怪的日常展开发展,是篇接着上一篇《赛少的身份》
0.1万字8个月前
血色天使(珊瑚教主) 连载中
血色天使(珊瑚教主)
珊瑚教主
那是彩虹的第一种颜色它似乎隐藏着什么不可告人的秘密三百年前,血猎为什么会大肆出动?人类与血族之间到底发生了什么?血族,真的存在吗?…苏醒后的......
13.3万字8个月前
墨渊白浅之三生三世 连载中
墨渊白浅之三生三世
颜玥雪
简介:看三生三世十里桃花因为喜欢墨渊和司音之间的感情,故改写了素素跳青云志台之后的情节,就是想让他们在一起
1.7万字8个月前
女主光环争夺战 连载中
女主光环争夺战
ヤ℡幼稚╰小可爱❤
为了活下去而穿书?可是穿书就穿书,怎么还成了恶毒女配??不行不行,这样的人不能做,争夺女主,女主光环你值得拥有
10.8万字8个月前