123789456ye

已AFO

随笔分类 -  大数

大数分析（6）——Y序列
摘要：前言 然后是Y序列，0-Y可以直接与BMS相互转换，而基本的1-Y序列（常说的Y序列就是这个）便有着极大的提升，甚至可以提升到n-Y，\(\omega-\)Y BMS和Y序列，便如同强者界的天道、奥加一般（ 同样的，后面由于缺少标定记号可能会跳过大段/直接开鸽 阶差为1的情况 请参考PrSS，完全一 阅读全文
posted @ 2024-02-21 22:11 123789456ye 阅读(1153) 评论(0) 推荐(0)
大数分析（5）——BMS（两行）
摘要：前言 在稍微过了一遍反射和最基本的稳定之后，我们终于可以着手分析当今最前沿的两个记号了 不过BMS和Y序列其实都和PrSS和Hydra模式有关，进而也就是和树型模式有关 首先是Bashicu Matrix System，简称BMS 单行BMS 请参考PrSS，顺便可以复习一下，每一项少一即可 两行B 阅读全文
posted @ 2024-02-18 10:31 123789456ye 阅读(991) 评论(0) 推荐(0)
大数进阶（3）——稳定（单段）
摘要：前言 接下来的稳定序数是真正的空白地带，其行为多种多样，层级复杂嵌套，并且还没有被完全解析 \(\Sigma_1\)稳定 定义 定义： 若\(L_\alpha\prec_{\Sigma_1}L_\beta\)，则称\(\alpha\)是\(\Sigma_1\)稳定(stable)序数，\(\alph 阅读全文
posted @ 2024-02-17 11:02 123789456ye 阅读(538) 评论(0) 推荐(0)
大数进阶（2）——反射（$\Pi_2$及其上）
摘要：前言 \(\Pi_1\)反射看上去行为非常简单，强度也不高，那为什么要用这种奇怪的东西？ 真正上强度是从\(\Pi_2\)反射开始，随着强度的大幅度提升，序数的行为逐渐复杂，这需要对其行为更深刻的理解，也即对于数学基础的更高要求 在进入\(\Pi_2\)反射之前，需要更多的基础来往后推进，否则只会一 阅读全文
posted @ 2024-02-16 22:06 123789456ye 阅读(696) 评论(0) 推荐(0)
大数进阶（1）——反射（$\Pi_1$）
摘要：一点吐槽 序数分析（Ordinal Analysis）这一脉实际上是从证明论衍生出来的，因此去找文献通常会找到各种证明某一公理系统强度的文献，并没有系统的综述 踏入序数之后，几乎没有统一记号，需要在各人的记号中切换，加之数理逻辑本身就需要一堆新记号，可谓是乱七八糟，有一种踏入前沿的美（确实即使从Go 阅读全文
posted @ 2024-02-15 21:16 123789456ye 阅读(761) 评论(0) 推荐(0)
大数进阶（0）——前言与概要
摘要：基于OCF，我们迈入序数与基数之路，登神长阶 我们进入不可计算的领域，需要的则是底层的集合论与数理逻辑 学术界对于序数分析(Ordinal Analysis)的研究起源于证明论序数(Proof Theory Ordinal)，由此诞生的则是前沿的目标大饼，离我们最近的也许是\(PTO(Z_2)\)， 阅读全文
posted @ 2023-12-13 16:51 123789456ye 阅读(858) 评论(0) 推荐(0)
大数分析（4）——Hydra模式
摘要：与PrSS并列的基础之二，仔细看可以看到OCF和PrSS wiki上似乎没有一个很好的材料，所以我就结合各个地方的理解一下 Hydra模式 在折叠的时候，我们可以重新定义一个记号来折叠掉前一部分，比如 \(\psi(\psi_1(0))=\psi(\psi_0(\psi_0(...)))\) 我们记 阅读全文
posted @ 2023-12-12 21:03 123789456ye 阅读(707) 评论(0) 推荐(0)
大数分析（3）——PrSS
摘要：又是一个典中典的记号，不过这个缩写是怎么回事（ Primitive Sequence(PrSS) 我们记一串原始序列(PrSS)为\(S=(S_0,S_1,...)\)，它将一个数字映射为另一个数字 最简单的，空序列，\(()[n]=n\) 然后我们定义坏部(bad part)和好部(good pa 阅读全文
posted @ 2023-12-12 11:05 123789456ye 阅读(599) 评论(0) 推荐(0)
大数入门（3）——序数坍缩函数（OCF）
摘要：上一章中我们定义的序数到\(LVO\)就打止了，原则上我们可以用迭代继续往上，但是会显得很丑，所以我们引入不可达基数与序数坍缩函数(Ordinal Collapsing Function)来定义更大的基数 OCF 还没学明白，可能有锅 引入 我们之前有提到过，通过\((0,1),(+,×)\)所定义 阅读全文
posted @ 2023-12-11 19:07 123789456ye 阅读(1241) 评论(0) 推荐(1)
大数分析（2）——BAN
摘要：写在前面：本分析相当于习题，不保证正确性（虽然我会去对一下） 定义 鸟之记号 BAN 基础版——线性数阵 请参看BEAF篇，完全一样 \[\begin{split} (a,b)&=a^b\\ (a,1,...)&=a\\ (a,b,1,...,1,c,...)&=(a,a,...,a,(a,b-1, 阅读全文
posted @ 2023-12-10 18:37 123789456ye 阅读(676) 评论(0) 推荐(0)
大数分析（1）——BEAF
摘要：写在前面：本分析相当于习题，不保证正确性（虽然我会去对一下） 定义 BEAF 基础版——线性数阵 数阵的第一个为底数(base,\(a\))，第二个为指数(prime,\(b\))，之后第一个非1的数为驾驶(pilot)，驾驶前的一个数是副驾驶(copilot)，副驾驶之前的所有被称为乘客(pass 阅读全文
posted @ 2023-12-10 16:20 123789456ye 阅读(1710) 评论(0) 推荐(0)
大数入门（2）——扩展的基本列与多元Veblen函数
摘要：对序数的初步扩展 扩展——指数不动点 进一步的，我们可以考虑\(\omega^{\omega^{\omega^{...}}}\) 仿照\(\omega\)的定义，我们定义\(\epsilon_0=\sup\{\omega,\omega^\omega,\omega^{\omega^\omega},.. 阅读全文
posted @ 2023-12-07 23:16 123789456ye 阅读(1322) 评论(0) 推荐(0)
大数入门（1）——FGH与基本列
摘要：虽然是英文但是讲的不错，稍微翻译一下罢（虽然已经有挺多人写过这个了） 网站 说起来发明FGH这个标尺的确实是神，简洁明了 前置知识 超运算 这倒是非常自然的想法 若将加法看作第一级运算，乘法看作第二级运算，乘方看作第三级运算，如何继续推广呢？ 我们观察以下乘法和乘方是怎么定义的 \[a*b=a*(b 阅读全文
posted @ 2023-12-07 17:19 123789456ye 阅读(1710) 评论(0) 推荐(1)