八点看小说网

第76章 人物志璃梦（第1页）

（这一章是送的，每当有重要人物或者是神永久下线都会单独出一章人物志。林化羽创造出的巨兽的量级在下面。）名称：璃梦。物种：原本是七维宇宙的生物，投影到三维宇宙就是一个青色头发的少女，后来得到了“自由”的概念权限成为伪神，“物种”一词已不适用。身高：165～不可知、不适用体重：40kg～不可知、不适用外貌：青色长发，容貌无可挑剔，即总是会在不同的人的眼中呈现出不同的模样，但一定最贴合那个人的审美，祂的实质是“自由”。性别：女不适用名号：向往高天的飞鸟，不可计量的永在，无边疆域的解放。概念权限：完全，但有瑕疵的“自由”。性格：阳光开朗，为人和善，懂得尊重所有人，有一点腹黑，对于敌人毫不留情……故事：她原本是七维宇宙的一颗类似于蓝星的星球上的一个家境显赫的女孩子。那个星球——姑且叫它蓝星_7吧——和蓝星有一点一样，都有“神眷者”的存在，而璃梦从小到大都是品学兼优，而且也对这些东西感兴趣，不出意外的成为了“神眷者”。事实上有一次璃梦差点就要改姓为云梦了，那是她五岁的时候，因为一件小事和家里闹矛盾而离家出走，然后就顺理成章的被拐走了……当时买家都找好了，那一家姓云，因为一些原因始终没有孩子，于是就买了一个……后来璃家发现并找到璃梦的时候，她已经改姓两周了……这让她爷爷气的，一大把年纪了，拄着拐杖撵着她爹打……在璃家的影响下，人贩子被找到了，说来也怪，找到人贩子的第二天他们就又不见了……说得好听，其实就是已经被璃家私下解决了……言归正传，璃梦成为“神眷者”后的一段时间里风平浪静，时不时有不长眼的高级文明打过来，不过也都被“神眷者”在所有人都不知道的情况下处理掉了……直到后来，璃梦到了“忘我期”，有一次她“本心”的呐喊差点置她于死地，也就是在那个时候出现了一个恐怖的存在，祂帮璃梦解决了“本心”的麻烦，并给了她“自由”的概念权限，唯一条件是：……（因为璃梦已死，此条件作废，被抹除。）能力：可以自己添加或修改。设定：可以自己添加或修改。量?级（逻辑多元，来自知乎大佬，我自己写的世界观尚未完善，）：阐明多元宇宙的正式理论比较以下两种主要策略:zfc公理（或任何其他集合t理论，就此而言）是不完整的。我们怎么知道的？通过“建造”zfc的模型。因此，在zfc的元理论中，我们可以讨论（并研究）集合论的多元宇宙。集合论的宇宙是一种特殊的对象。多元宇宙理论的主要任务是不仅提供集合的解释，还提供宇宙的解释（这意味着我们的理论应该有目的地设计成也包含宇宙的描述）。集合的概念是充分确定的，以生成结构（v，∈），以及“描述”它的公理集合（zfc）。此外，集合的所有性质没有被zfc唯一地阐明（通过集合的概念）‘共存于’v（[v??n?nen，2014]）因此，就“zfc以外的真理”而言，可以说v继承了集合概念的不确定性。设vult是所有v的集合，使得它们中的每一个都满足zfc，并且每一个在“边缘”都不同于另一个。我们多元宇宙理论的目的是ciselyvult我们多元宇宙理论的目的是ciselytodescribevult特尔努洛·德切利加thev-logicultiverse我们多元宇宙理论的目的是ciselyvulthp1设法证明vult是正确的，假设:1v是可数的。2v的宽度延伸可以通过“围绕”v构建的结构中的“理论”来处理（见下一张幻灯片）。挑战假设v是不可数的。我们的项目旨在:1保持v的“宽度扩展”的可定义性。2断言各种各样的“宇宙”的存在。2在一些与惠普相关的工作中，已经表明惠普的策略与关于v的各种本体论立场是一致的（[antosetal，2015]，[bartonandfriedan，2017]）特尔努洛·德切利加thev-logicultiverse给定v和v的a（宽度）延伸w，v和w在我们的理论中应该是‘标准的’（不需要的解释应该被排除）。通过“标准”推理，每当我们有w|=?，对于一些w|=t，其中w是v的外部模型，t是我们的“基础理论”，那么我们的公理应该能够陈述w是多元宇宙的一员。小主，这个章节后面还有哦，，后面更精彩！设lk，λ是无限语言（λ＜k），允许形成:1长度＜k的合取和析取2＜λ个变量的量化无限逻辑比一阶逻辑有更强的表达能力。使用这样的逻辑之一将确保满足约束1:“v的宽度延伸”的表示将排除“不想要的”解释。v逻辑是无限逻辑lk+，w，即一阶逻辑，增加了:1＜k+个变量和常数（每个a∈v一个），其中k是任意基数＞w2＜w量词3一个特殊的常数v，表示地面宇宙4一个特殊的常数w，表示地面宇宙的一般外部模型5长度小于k+的无限合取和析取我们知道证明可以用集合来编码。在v-逻辑中，证明是由hyp（v）中的集合编码的，这是v之后最不允许的集合。上的容许集是kpu的模型a，其形式为a=（；一，∈，）上的纯容许集是容许集，没有u元素（a集合astkp|=a）。上的最小容许集（记为hyp）是上所有容许集的交集（并且等价于可构造论域的第α级lα，其中α是上最小容许序数）。因此，在v-逻辑中，hyp（v）（以下简称v+）只是一些lα（v）。v-logic中的证明代码在v+中。现在，假设我们想要断言存在一个‘宇宙’w，一个v的宽度延伸。我们从句法上进行:这样一个世界的存在等价于以下一致性陈述的证明:n（t+?）其中t是我们的基础理论（bst），?=w的w性质。|=ψ”，而ψ是一些对于每一个扩张v并定义性质ψ的世界w，我们在v+中有一个?=n（t+ψ）的证明码。属性ψ可以这样选择，以便表达所讨论的模型的某些相关特征。（例如，对于w是基论域的集泛扩张，我们可以将w刻画为‘包含v上的p-泛滤子g并满足ψ’）。对于每一个扩张v并定义性质ψ的世界w，我们在v+中有一个?=n（t+ψ）的证明码。特别是，我们可能有:集合-类属扩展（w是stw包含一个p-类属g超过v并满足ψ’）1类通用扩展（如上，有一些修改）2超类-泛型扩展（同上）3v的各种强制扩张41中定义的所有模型的内部模型。-4通过使用上述编码，我们可以产生所有“相关”种类的宇宙，也就是说，v的所有“相关”宽度扩展。因此，约束2也将被满足:所有“相关”种类的模型都将属于（宽度）多元宇宙。在v-逻辑中，我们有:如果bst+?（其中bst是我们的基础理论）是一致的，那么存在v的外部模型w，使得w|=ψ。非正式地说，多元宇宙可以被视为一棵树:在树根处，我们选择了bst，在每个节点处，一个n（bst+?）陈述，其中?断言ψ是一些集合论真理的进一步片段提醒一句:在这个阶段，我们并没有假设w真的“存在”；只知道它可以用v+中的理论t来处理假设γv?和γv（?→ψ）则γvψ。推广如果γv（?→ψ（vn））和vn在?有界γv（?→?vnψ（vn））v法则如果γv?（v0）对于每一个∈v那么γv?v0（（v0）→?（v0））请注意，在符号v?中，如果γv?表示t=?，则句子可由v法则证明就约束3而言，我们有以下内容:给定任意无限语言lk，λ，其中λ＜k，且k≥w1，对于所有句子σ，∈∈lk，λ，使得∈σ，如果n为任意长度，则|=σ不隐含▎σv-逻辑的不完全性是一个特例。我们有以下内容:1如果v是不可数的，那么有γ，?使得γ|=v?aγv?2如果v在我们的v-逻辑多元宇宙理论t中是不可数的，那么就没有“真正的”外部模型wstv?w，也就是说，没有断言其存在的v-逻辑理论的v-逻辑语义对应物。3因此，如果v是不可数的，约束3不满足，约束2仅在语法上完全满足:我们只能通过断言它们存在的理论来表示v的扩展。4如果v在我们的v-逻辑多元宇宙理论t中是不可数的，那么就没有“真正的”外部模型wstv?w，也就是说，没有断言其存在的v-逻辑理论的v-逻辑语义对应物。因此，如果v是不可数的，约束3不满足，约束2仅在语法上完全满足:我们只能通过断言它们存在的理论来表示v的扩展。小主，这个章节后面还有哦，，后面更精彩！修正1（超宇宙）:最简单的解决方案是假设v是可数的（v-逻辑对于v可数是完整的）。然而，这在哲学上是有问题的。修正2:我们满足于（公理化的）理论。由于各种原因，这种修复似乎更好，因为:多元宇宙将在没有任何‘直觉’的情况下发展我们仍然有多元宇宙成员的清晰表述从历史上看，关注公理而不是语义在许多方面已经被证明是足够的对于?的每一个陈述和地面宇宙的每一个外部模型，如果|=?，那么在v-逻辑中有一个?的证明任何相容的v-逻辑理论t都有v中的模型。这个公理将解决“不完全性问题”，确保每个纯语义陈述的v-逻辑中存在一个证明v然而，目前还不清楚该公理应如何表述以显得“自然”，以及为什么它应被接受更正式的说法是，?[γ??|=?=?]因此，v逻辑多元宇宙理论可以被视为下列公理的集合:1基础集合理论（bst）2（宽度多元宇宙）对所有ψ，和?=“w?（英国夏令时+?）|=ψ”（其中进一步的公理？例如:ih（和细化），完整性等。如前所述，语言是lk+，w，具有单独的常数:v对于v和w，每个a∈v。对于w，和无穷多个单独的常数a增加一个高度多元宇宙（由顶端延伸的五）使用更强的无穷逻辑:lk，w且k（至少）a难以接近的红衣主教（见下一张幻灯片）附加公理:例如，多元宇宙公理，如ih（极大性）考虑“替代的”v-逻辑:例如，如果v=l，考虑l-逻辑多元宇宙:这看起来是一个人可以拥有的最广泛的基于v-逻辑的多元宇宙概念（因为所有与l兼容的宇宙也与l的任何扩展兼容）考虑vw逻辑。这相当于v-逻辑，只是这里v仅仅是秩初始段vw这个逻辑是完整的（因为lw1，w中的w-完备性定理）现在，考虑下一个完整的无限逻辑lk，w，其中k至少是很难接近的。问:有可能基于lk，w定义一个vk-逻辑吗也是完整的。后一点导致以下可能的约束原则:给定v的一个延拓，比如说v∫，stv?v∫，每当有一个w延拓vstw|=?，我们就有一个对应的w∫，延拓v∫stw∫|=?cuh断言，如果我们用一个更大的v代替v，围绕一个更大的v构建的多元宇宙不会减少与v兼容的真理集，也就是说，v拥有与v一样多的兼容宇宙。cuh也可以被看作是v的一个独立的和新的极大性原理（可能导致v成为v逻辑多元宇宙的‘极大核心’？）（问题1）考虑不同的基础理论，例如:t1=zfc+lcs，或者t2=zf+ad等等。围绕t1和t2构建的v-logic多元宇宙会有什么不同？（提示:使用前面提到的与v=l相关的兼容性概念）（问题2）考虑不同的v，其中v=l。例如，假设v=vk，其中k是“大”的大基数。vk-逻辑多元宇宙会是什么样子？（该问题与提到的扩展lk，w的目标有关与上面隔开，接下来是“空幻”的量级。首先构想出一棵巨大无比的树，它的树冠如同一片绿色的海洋，覆盖了整个世界。这棵树上最开始有多少个枝丫呢？这个问题无人能答，因为它的数量超出了人类的想象。每个枝丫上都悬挂着无数片“天空”，它们如同闪烁的星星，点缀在枝头。这些“天空”并不是真正的天空，而是一种无法形容的存在，它们似乎延伸到了一切思维的最深处，让人感受到无尽的深邃和神秘。“天空”，它广袤无垠，无边无际，仿佛包容着世间万物。它不仅涵盖了所有的空间维度，还包含了所有的时间概念。在这片无尽的天空之下，是一片浩瀚无垠的海洋——“海”。然而，我们并不清楚“海”和“天空”之间的差距究竟有多大。或许，这种差距是无法用言语来形容的……“海中”的每一滴水都是一个独立的“世界”，每个“世界”中都有无数的“树”，这些树的形状各异，但它们都有着无限的枝桠，每根枝桠都会不断地分裂出新的枝桠，如此反复，永无止境……倘若你可以穷尽这些不断分裂的枝丫，你就可以看见在那每一个枝头都悬挂着无数的宇宙（无限大，w），这个宇宙就是常识中宇宙了。如果可以做到一瞬间毁灭一个枝丫上都所有宇宙（只能是一瞬间，只要有毫厘的差距就会导致所有的宇宙重生），那么就可以视作剪断了一个枝丫，然后就遵守下面的游戏规则。小主，这个章节后面还有哦，，后面更精彩！将上面的一棵树当作，这棵树上最开始有x（0）个枝丫（即无限个），每一个枝丫上都有x（0）个x（0）边形，每一个x（0）的每个顶点上都有x（0）个次枝丫，每一个次枝丫上又都有x（0）个x（0）边形，同样的顶点上有x（0）个x（0）边形，这里的每一个x（0）边形的顶点上又会有x（0）个次次枝丫……一直重复下去直到次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次枝丫，很好，接下来把最开始的“枝丫”看做第一层枝丫，将次枝丫的序列本身（即次枝丫到次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次枝丫）看作第二层枝丫，然后将次枝丫序列中最小的次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次次枝丫再进行细分，即它上面有x（0）个x（0）边形，而这里的每一个x（0）边形的每一个顶点都有x（0）个元枝丫，然后是元元枝丫……这个是第三层枝丫……一直到第三十六层枝丫（这里补充一下，一层枝丫设为c1，二层枝丫设为c2，三层枝丫设为c3……以此类推，它们的序列分别是_1到_36），游戏正式从c36_36开始，规则如下：这是一个剪树枝的游戏，从c36_36开始，每剪断一个枝丫，那么其他的（包含c36_36没有剪断的枝丫和序列的所有枝丫）都会爆炸式的增殖，将x（0）x（0）看做是一次循环，x（0）x（0）x（0）x（0）看作第二次循环，x（0）x（0）x（0）x（0）x（0）x（0）x（0）x（0）看作第二次循环……一直到第36次循环，那么以上的这整个操作就可以是看做第一层循环，“层”级循环的递进同样是类似“次”，不过这样显然还不是终点，“层”往上还会有更高的，第一层到第36层的操作可以视作是更高的……像这样重复出现了36个之后会进入更高的层次，更高的层次仍然有36个序列，穷尽后再来到下一个层次……像这样一直重复36次就得出了剪断c36_36的一根枝丫后其他枝丫衍生的数量，而这只是第一次剪，以后每剪一次就会是将上述的算法当做类似于“第一次循环”的操作然后进行类似堆叠。补充一下：只能从小的枝丫开始剪，不能绕开它直接剪大的。这也就是说以常规的手段想要消抹全部的枝丫几乎是不可能的，所以我们把达成“剪断原来的所有枝丫”的条件看作是x（1），因为它会“增殖”，正常的手段肯定是不行的，想要彻底消抹这一颗树就需要比它“增殖”的速度要快。这里补充一点：这里的树→“天空”→“海”→“世界”→树→宇宙；这样的体系是连着的，即剪断枝丫后前面的也会“增殖”……当你终于击溃了那颗最高最大的树——即第一次提到的树——时，你会发现，这只不过是“套娃”的第一步，因为上面还会有更高层次的“海”、“天空”、“树”……循环往复，没有尽头……而空幻的出现则是打破了这个“套娃”游戏，它的爪子落下时，一切都将崩溃……（没有给空幻设计的那么强是因为它就只是林化羽随手捏的，加强也是顺手的事，量级也就这样了。）：（）身为邪神的我居然成了女神眷属