星空之智的个人资料 - RAT

星空之智星空之智

关注数: 33 粉丝数: 33 发帖数: 189 关注贴吧数: 5

退贴吧了，退贴吧了，有事知乎找我

发些基数，这些本来都是我的，被冰毅转载了为了让你们好拿走，好借，放评论

自创想上论外的进我主页

第5贴，V和L2 P-name宇宙V 令P为一个拥有rank ( P ) = r>ω假设P-names 通过一个flat pairing function 来构造。那么对于任意的V上的G⊆P-generic 以及对于任意的a≥r×w有V[G]ₐ=Vₐ[G] 令f为一个固定的的flatpairing function ;再递归地构造一个宇宙： V₀ᴾ=∅ Vλᴾ=∪＿α<ג Vαᴾ Vα+1ᴾ=P(Vαᴾ×P) Vᴾ=∪＿α∈Ord Vαᴾ 宇宙V=终极L： V=终极L的前置条件：一个内模型是终极-L至少要见证一个超紧致基数。一个内模型是终极-L也可以至少见证超幂公理UA+地面公理GA+存在一个最小强紧致基数成立。一个内模型是终极-L必须是基于策略分支假设SBH。如果V[G]是V的脱殊集合扩张并且V在V[G]的 ω− 序列下不封闭那么V[G]≠终极-L并且V[G]中普遍分区公理不成立。见证普遍分区公理成立。见证强普遍分区公理成立。终极L是一个典范内模型，并见证地面公理Ground Axiom成立。 V=终极L的直接推论：见证最大基数伊卡洛斯的存在性。见证真类多的武丁基数终极L是最大的内模型。见证能够和选择公理兼容的最大的类- ADR 公理，并且θ是正则的。拥有最大的证明论序数。（即使序数分析目前远未到ZFC的水平）

第4贴，论外，V和L 冯·诺依曼宇宙 V₀=∅ V＿α+1=P(V＿α) 若λ为极限序数，则V_λ=∪_k<λ V_k，V=∪_k V_k，k跑遍所有序数令ord为所有序数的类则V=∪_k∈ord V_k 可构造宇宙V=L：定义Def()为一个包含所有X子集的集合。一个X的子集x位于Def(X)当且仅当存在一个一阶逻辑公式φ和u₀,u₁,u₂,……∈X使得x = {y∈X :φˣ[y,u₀,u₁,u₂,……]然后： L₀=∅ L₁=Def(L1)={∅}=1 Ln+1=Def(Ln)=n Lω=∪＿k<ω Lω Lλ=∪＿k<λ λ is a limit ordinalג是极限序数 L=∪＿k Lk，k跑遍所有序数

第三贴，论外，脱殊复宇宙大小的“数字” 人可以任意的发明一些符号，并定制一套判定规则以判明任意两个符号之间的＜和 = ，以至于让这些符号像是在表现无穷大数一样，并排列成一条井然有序的序列，这个序列的长度就是这套规则可表示的序数。每套规则都有其可表示的序数，简单的规则可以只生成一个数字或单个自然数长的序列，而人类可以定制的所有规则的可表示序数构成的序列——这个序列的长度就不是人类可以定制的某套规则可以表示的了，否则我们可以很容易的改进，令其+1更大。最小的这样的不可表示序数称作 ω_1^CK当然，你定制的一套规则处理的符号中也可以有 ω_1^CK 这个符号，符号本身是没什么意义的，而是看你这套规则的处理，令其处于怎样的位置中。如果人掌握了 ω_1^CK 长序列的表示方法(比如得到某种超越人智的无限实体的赐福)，那人当然还能继续表示 ω_1^CK+1，ω_1^CK×2 之类的，把 ω_1^CK 像 0 一样穷尽以前的所有套路，但因为以前的所有套路——ω_1^CK 的表示法已被掌握，所以穷尽了所有也只是新的开始，像 ω_1^CK+1 一样，你还能更加超越的继续叠堆。在这种情况下，人类可以定制的所有规则的可表示序数构成的序列——其长度被称作 ω_2^CK ，以此类推，掌握 ω_n^CK 的表示法都没法让你搞定 ω_n+1^CK，更别说 ω_ω^CK，而掌握 ω_ω^CK 的表示法就可以让你搞定无穷多个 ω_n^CK 。所以 ω_1^CK 也是作为规则意义上实在的数学无法触及的绝对边界，即你需要预设存在某种外在的超越语言的主体，比如神启，比如灵魂，它能够正确认识到语言无法描述的数学世界，并建立起语言和数学对象之间的语义联系。 CK序数：第一个不可计算序数是ω_1^ck，这是所有递归序数的集合，而ck是邱奇克林的缩写，而第二个不可计算序数为ω_2^ck，这是第一个不可计算序数ω_1^ck放入任何递归运算的集合总和，这里的运算可以有很多，如后继，加法，乘法，乘方，中函数，序数坍缩函数.…...，而我们还有第三个不可计算序数ω_3^ck，第四个不可计算序数ω_4^ck，第五个不可计算序数ω_5^ck.....以此类推，不可计算序数可以任意的多，不过任意ω_a^ck也都小于阿列夫一，而我们还有着对不可计算序数的拓展，也就是Фck，假如说有一个不可计算序数ω_1^ck，用Фck可以表示为Ф(1)^ck，ω_2^ck可以表示为Ф(2)^ck，ω_3^ck可以表示为Ф(3)^ck.....以此类推，运算规则都一样，而Ф(1)^ck、Ф(2)^ck、Ф(3)^ck.....用二元ck函数可以表示为Ф(0，1)^ck，Ф(0，2)^ck，Ф(0，3)^ck....以此类推。

第2贴，论外，脱殊复宇宙…… 高阶指数塔：任何大于三阶指数塔的定义，与高阶级无限次方无限盒子意义等同。四阶指数塔：ω^ω^ω^ω=ω↑↑4 五阶指数塔：ω^ω^ω^ω^ω=ω↑↑5………………………………………………… 无限阶指数塔：ω^ω^ω^ω^ω……=ω↑↑ω=ω↑↑↑2=ε_0 超指数塔:即ω↑↑↑↑↑……↑↑ω=ε_ω （注：ω表示无穷大，无穷大=无限大=ℵ0=ω=∞=n。）（注：ω^2表示ω*ω，表示ω个ω相加。）简单形象的说，人可以类推的发明无穷多种符号，如 0，1，2，3，……，和 ω，=，+，×，()，^，ε ，阿列夫等符号通过组合，就可以产生 ω+1，ω×2，ω^3，ε4 等同样无穷多种不同的符号这些符号本身虽然还没什么意义，但人可以通过规定赋予它们意义，比如说它们之间存在＜关系规定 1=0+1，2=1+1，3=2+1，…… 这是可类推的再规定对任意 n，都有 n＜n+1，并且 a＜b 就不会 b＜a规定对任意 n，都有 n＜ω，ω 就是一个在＜关系上位于无穷个 n 之后的“数”然后同样有 ω+n＜ω+n+1＜ω+ω ，或许是处于方便，我们规定了像 ω+ω=ω×2，(ω^ω)×(ω^ω)=ω^(ω×2) 这样的等式，表示两个组合符号在＜序列上处于同一个位置，是相同

关于论外，脱殊复宇宙，集合论多元宇宙，V逻辑，要用的给我说一声第1贴宇宙结构:一个有限的宇宙单体宇宙:一个无限的宇宙超单:复数个单体宇宙多元宇宙:无限个单体宇宙超多元:复数个多元宇宙无限多元:无限个多元宇宙无限盒子(任意有限层级往上叠加无限层，每两层间差距无限倍)ω*ω*ω*ω*ω*……ω=ω^ω 无限盒子往上叠一层： (ω^ω)^ω 无限盒子往上叠两层：(ω^ω)*ω*ω=（ω^ω)*(ω^2) 无限盒子是一种比多元宇宙更多元，全能宇宙更全能的存在。众所周知，单体宇宙是由无限个平行宇宙组成，平行宇宙和我们的宇宙物理法则相同 “越近”，只有细节上些许不同，和我们的宇宙越相似的平行世界离我们反之“越远”虽然只有些许细节上些许不同，但是经过“无限”放大，异常将越来越异常直到成为只是个物理法则相同，其他完全不同的宇宙。由此，无限个平行宇宙组成一个单体宇宙。每一个单体宇宙物理法则都不相同， “越近”相似的法则越多，越远相似的法则越少直至完全不同。由此，无限个物理法则不同的单体宇宙组成多元宇宙。可以说，一个多元其实就是一个世界观。全能宇宙，包涵一切想象，一切逻辑一切宇宙，一切世界观.也就相当于无限多元（多元之上）级别。以此无限类推，往复循无限次，就是一个无限盒子。简单点来说无限盒子就是，虚空生妙花，花中有界，界中有花，反反复复无穷无尽(前提：世界无限大，花无限多。无限层无限盒子/无限阶无限盒子（可表示为“无限次元含于第一位面，无限位面含于第一维度，无限维度含于第一**……无限循环的较为直观的形式无限次元相当于一层无限盒子，无限位面等于以无限次元为底层，往上叠加无限层得到的二层无限盒子，那么无限维度就是以无限位面为底层往上叠加无限层得到的三层无限盒子，以此类推循环无限次得到无限层无限盒子。或者说，把无限层无限盒子比作一个无限层的塔，那么底层就是ω^ω，每两层之间的差距是ω^ω）: (ω^ω)^ω=(ω^ω)*(ω^ω)*(ω^ω)……(ω^ω)=ω^ω(ω+ω+ω……ω)=ω^(ω*ω)ω^(ω^2)=ω^ω^2=ω↑ω↑2 二层无限层无限盒子/二阶无限阶无限盒子：( (ω^ω)^ω)^2=( (ω^ω)^ω*( (ω^ω)^ω 无限次方无限盒子无限层无限层无限层………无限层无限盒子/无限阶无限阶无限阶无限盒子/三阶指数塔:(……( ( (ω^ω)^ω)^ω)^……（无限循环）=ω↑↑3=ω↑ω↑ω=ω^ω^ω它大于一切此类格式的有限层数的嵌套。高阶无限次方无限盒子：任何大于无限次方无限盒子的定义。

1 下一页