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

集合论多元宇宙(第二版本)篇章 (3-1)

Towards an axiomatization of the set theoretic multiverse

MATTEO DE CEGLIE

FACHBEREICH PHILOSOPHIE(KGW)

UNIVERSITAT SALZBURG

宇宙主义

只有一个独持的数学世界,所有的数学都是在里面进行的。如果V之外似乎有什么东西,这只是一种幻觉。

通常提出以下理由转发作为对宇宙主义的维护。

娄别性:二阶集合论二阶集合论

的每个候型(=论域)都是同构的phir(=mqual”),所以我们实际上是在处理

一个单一的宇宙,

反驳:这样的分类结果需要非常强的假设,而这些假设不容易被证明是合理的(例如,通往阶的通道、马丁的唯性假设和麦基的u relations公理)。

出于这些原因,多元宇宙的集合论方法比宇宙主义的辩护更站得住脚

• 数学特征:经典集合论(ZFC)以非常简单和优雅的方式进行公理化,而多元宇宙概念非常复杂,需要已经发展和先进的集合论知识;

• 前数学直觉:所有ZFC和V证明了我们对集合和成员关系的前数学直觉是正确的,因此没

有必要背离它们。

• 数学特征:这一点与其说是反对整个多元宇宙的立场,不如说是反对某些特定的多元宇宙概念。虽然它的一些数学特征确实非常复杂,但多元宇宙也可以用ZEC同样优雅的方式加以公理化;

• 前数学直觉:同样,

这种反对是针对某个特定的多元宇宙的。有可能定义这样的多元宇宙,在其中我们对集合和成员关系的前数学直觉被证明是正确的,就像ZFC和V

有些数学问题在数学中没有答案我们目前的框架观点pub(策梅洛-弗兰克尔集合论与选择ZFC),在累积层级V→ • 连续统假设(ch):2 0= 1;

• 广义连续统假设:2 n= n+1;

• 如果集合A的元素比B少,那么A的子集也比B少

因此,我们目前的框架是不完整的,我们需要完成→例如通过给ZFC增加新的公理,或者给V增加新的集合

有没有独特的方式没有完成ZFC吗?

多元主义→ 集合论(数学)世界不止一个。这些宁宙中的每一个都是同等合法的,它主要是(但是不仅是)通过使用强多元主义 制。这些宇宙然后连接在一起,形成一个多元宇宙。→有各种理由支持这样一个概念:

• 更好地解释不完整;

• 与当前集合论(数学)实践的一致性;

• 独立问题的解决;

• 可用定理类型的最大化;

• 先前结果的守恒。

关于数学和哲学特征有几种不同的概念集合论多元宇宙

集合通用多元宇宙:这个多元宇宙是公理化的,它是集合通用强制产生的V的所有扩展的集合。它验证了ZFC+大红雀。

V-逻辑多元宇宙可数扩五。

V-逻辑

(例三) V V₁ V₂ V₃ V₄ V₅ V₆

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

相关小说

守道人 连载中
守道人
末世的黎明
佑昊夕在原来的末世世界死亡后,来到了另外一个位面,这个世界没有丧尸没有异能,却有恶鬼有守道人以及乱七八糟的abo,而她自己,却只记得末世世界......
0.2万字5个月前
暗影游戏:无声的谋杀 连载中
暗影游戏:无声的谋杀
是洛宝吖
0.8万字4个月前
——浮生录 连载中
——浮生录
——千枫
她时而活泼开朗,时而冷漠无情。一朝收徒,打破原有生活的平静,开启另一场贪恋,梦醒,浮生过半……他隐瞒身份成为她的徒弟,嬉笑怒骂、伤情难掩,只......
39.0万字4个月前
晗的随便乱写 连载中
晗的随便乱写
秃头的晗
奇思乱想的东西
0.1万字4个月前
穿成女配心慌慌 连载中
穿成女配心慌慌
এ糖ꦿ᭄
睡了一个午觉就穿越了。还要维持人设!哎!这些不是女主的人吗?!
1.2万字4个月前
亡灵小姐总想长眠 连载中
亡灵小姐总想长眠
雨季的马孔多
哦,这世上最惨的莫过于让死人复活后接着打工了,埃洛伊丝仰望着神殿,忍不住踹了一脚神像,她都已经成了亡灵了,为什么还要打工,还有没有人性了?
7.4万字4个月前