打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

新页面

更多操作
新页面
隐藏注册用户 | 隐藏机器人 | 隐藏重定向
最新 | 最旧) 查看( | 较旧50条)(20 | 50 | 100 | 250 | 500

2026年2月28日 (星期六)

  • 19:162026年2月28日 (六) 19:16 基于翻转性质的大数函数Flip(n,a)历史 | 编辑[2,100字节] Z留言 | 贡献 (创建页面,内容为“Kirby 描述了一个独立于 PA 的命题“翻转性质”<ref name=":0">Kirby L A S. Flipping properties in arithmetic[J]. The Journal of Symbolic Logic, 1982, 47(2): 416-422.</ref>。本条目介绍基于翻转性质的函数<math>\mathrm{Flip}(n,a)</math> . === 翻转性质 === '''定义 1'''. 设 X 为自然数的有限集,<math>\langle A_n\rangle</math>为 X 的子集构成的一个有限序列。若将<math>\langle A_n\rangle</math>中的某些元…”) 标签可视化编辑
  • 18:292026年2月28日 (六) 18:29 2025年中文大数社区十大事件历史 | 编辑[39,133字节] Z留言 | 贡献 (创建页面,内容为“大数数学(Googology,ggg)是系统性地研究如何构造大自然数的数学分支。中文大数社区是一个致力于发展大数数学理论的中心化业余数学社区,它以一系列 QQ 群为核心,其成员为较为严肃的大数数学爱好者。广义的中文大数社区包含中文互联网上所有关心和讨论大数数学相关问题的人。 本词条总结了 2025 年中文大数社区影响力最大的 10 个事件(…”) 标签可视化编辑
  • 18:062026年2月28日 (六) 18:06 沙拉数历史 | 编辑[9,004字节] Z留言 | 贡献 (创建页面,内容为“googology中有“沙拉”这样的现象,即把若干种大数记号“组合”到一起,变成一个看上去很复杂的东西,但实际上强度没有什么变化;一般情况下,与其“原料”中的最强者相比没多少提升。 === 简单的混合 === ==== 函数的复合 ==== 设大数函数f、g分别具有相当于Hardy层数(Hardy hierarchy,简记为HH)中<math>\alpha</math>、<math>\beta</math>的增长…”) 标签可视化编辑
  • 17:192026年2月28日 (六) 17:19 序数尺历史 | 编辑[2,082字节] Z留言 | 贡献 (创建页面,内容为“序数记号的序数尺,是一种将该记号极限之下的序数保序映射到实数轴的方法。 == 定义 == 以下提供一个序数尺的定义,序数尺将给定的序数记号S所刻画的序数映射到了实数区间(0,1)上。或者更准确地说,映射到了该实数区间的有理点的一小部分上.记作记作f(序数记号表达式)=实数。 记S的极限为L,<math>\alpha[n]</math>为<math>\alpha</math>的基本列第n项.…”) 标签可视化编辑

2026年2月26日 (星期四)

  • 14:032026年2月26日 (四) 14:03 BLM分析历史 | 编辑[20,465字节] 油手就行留言 | 贡献 (创建页面,内容为“BLM(Bashicu Large Matrix)是Bashicu创造的记号,文字规则不详,其展开器可参考[https://hypcos.github.io/notation-explorer/ NE]。BLM是目前NE上最小的记号,因为其奇特的行为引起了gggist的广泛兴趣。<ref> [https://zhuanlan.zhihu.com/p/2009657886595388394 BLM vs BMS - 知乎]</ref>此分析出自梅天狸。 {|class="wikitable" |BLM |BMS |- |<math>\varnothing</math> |<math>\varnothing</math> |- |(0) |(0) |- |(0)(1) |(0)…”) 标签可视化编辑
  • 06:392026年2月26日 (四) 06:39 连续统假设历史 | 编辑[14,889字节] 星汐镜Littlekk留言 | 贡献 (创建页面,内容为“'''连续统假设(Continuum Hypothesis,简称CH)'''是德国数学家格奥尔格·康托尔(Georg Cantor)于1878年提出的集合论核心猜想,是大卫·希尔伯特1900年提出的23个世纪数学问题的首位问题,也是20世纪数理逻辑与数学基础研究中最具影响力的命题之一。该猜想断言不存在基数严格介于自然数集基数ℵ₀与实数集基数𝔠之间的无穷集合,其核心是对无穷集合基数…”) 标签可视化编辑

2026年2月25日 (星期三)

2026年2月24日 (星期二)

  • 12:022026年2月24日 (二) 12:02 sqar函数历史 | 编辑[1,261字节] Z留言 | 贡献 (创建页面,内容为“Sqar函数,又名独方函数,是Increasinity于2025年提出的大数函数。 == 定义 == 函数sqar(n)定义为按照以下规则,能够写出的最多的字符串数量: * 所有字符串都只包含已经选取的n种字符 * 第k个字符串长度不超过k * 对于任意u>v,在第u个字符串不能通过删除一部分字符使其成为第v个字符串 可以看出,sqar函数类似于Friedman序列,是按照规则不断地写字…”) 标签可视化编辑

2026年2月23日 (星期一)

2026年2月22日 (星期日)

2026年2月21日 (星期六)

  • 23:372026年2月21日 (六) 23:37 iBLP历史 | 编辑[46,477字节] 油手就行留言 | 贡献 (创建页面,内容为“== 记号简介 == 无限基本Laver图案(Infinite Basic Laver Pattern)是由test_alpha0的记号Basic Laver Pattren改造而来。IBLP目前尚不理想,还存在许多的坏图案,test_alpha0规定其极限表达式为(1,0)1(2,1,0)1(3,2,1,0)2(4,3,2)1(5,4,3,2)2(6,5,4)1。尽管如此,IBLP仍然被认为是目前最强的记号。本页面介绍的规则对应[https://hypcos.github.io/notation-explorer/ NE]上的DEN2。 == 定义 == === 定义1 (IBLP…”) 标签可视化编辑 最初创建为“iblp”
  • 22:542026年2月21日 (六) 22:54 变换映射历史 | 编辑[26,880字节] Tabelog留言 | 贡献 (创建页面,内容为“变换映射方法是<code>P進大好きbot</code>发展的一个系统性地对记号进行分析和证明良序的方法。 分析一个符号时,需要将其与另一个符号进行比较。换句话说,需要明确“哪个项对应哪个项”。在传统的表格分析中,我们并非写出每个项对应的项,而是简单地选择有限个看起来美观的项,然后写出希望它们对应的项。而使用转换映射进行分析,则是…”) 标签可视化编辑:已切换
  • 19:522026年2月21日 (六) 19:52 弱MMS VS ω-Y历史 | 编辑[31,375字节] Z留言 | 贡献 (创建页面,内容为“本条目展示弱MMSω-Y的列表分析。 注:在<math>()(1,1)(2,2,1,1)</math>之前,弱MMSMM3相同。 * ()(1,1)(2,2,1,1)=1,3,10 * ()(1,1)(2,2,1,1)(1,1)=1,3,10,3 * ()(1,1)(2,2,1,1)(1,1)(2,2,1)=1,3,10,3,9 * ()(1,1)(2,2,1,1)(1,1)(2,2,1)(3,3,2,1)=1,3,10,3,9,27 * ()(1,1)(2,2,1,1)(1,1)(2,2,1,1)=1,3,10,3,10 * ()(1,1)(2,2,1,1)(2,1)=1,3,10,5 * ()(1,1)(2,2,1,1)(2,1,1)=1,3,10,5,9 * ()(1,1)(2,2,1,1)(2,1,1)(3,2,2)=1,3,10,5,10 * ()(1,1)(2,…”) 标签可视化编辑
  • 19:482026年2月21日 (六) 19:48 弱MMS历史 | 编辑[72字节] Z留言 | 贡献 (创建页面,内容为“弱MMS是MMS的改版。 == 定义 == 将MMS定义中,根的计数序列去掉。坏根直接取末列最下非0项(LNZ)的父项所在列,数值为LNZ-1的项中,行标最小的元素。 其余规则同MMS。 分析 主词条:弱MMS VS ω-Y 弱MMS的强度与ω-Y相同。 {{默认排序:序数记号}} 分类:记号”) 标签可视化编辑
  • 19:392026年2月21日 (六) 19:39 ZSS Hydra分析历史 | 编辑[142,830字节] Z留言 | 贡献 (创建页面,内容为“本词条展示ZSS Hydra(左)与BMS(右)的对比分析。 * p0=(0) * p0(p0)=(0)(1) * p0(p0+p0)=(0)(1)(1) * p0(p0(p0))=(0)(1)(2) * p0(p1)=(0,0)(1,1) * p0(p1+p0)=(0,0)(1,1)(1,0) * p0(p1+p0(p0))=(0,0)(1,1)(1,0)(2,0) * p0(p1+p0(p1))=(0,0)(1,1)(1,0)(2,1) * p0(p1+p0(p1)+p0(p1))=(0,0)(1,1)(1,0)(2,1)(1,0)(2,1) * p0(p1+p0(p1+p0))=(0,0)(1,1)(1,0)(2,1)(2,0) * p0(p1+p0(p1+p0(p1)))=(0,0)(1,1)(1,0)(2,1)(2,0)(3,1) * p0(p1+p1)=(0,0)(1,1)(1,1) * p0(p1+p1+p0(p1…”) 标签可视化编辑
  • 19:312026年2月21日 (六) 19:31 ZSS Hydra历史 | 编辑[2,275字节] Z留言 | 贡献 (创建页面,内容为“ZSS Hydra,是梅天狸创造的序数记号。它既可以是两行ZSM进一步理想化的产物,也是SSS Hydra更易分析的改版。 == 定义 == 表达式集和极限表达式和PSS Hydra一致。 将表达式中所有的pn()称为'''节点''',n为该节点等级,括号中的部分称为被该节点包含的部分; 记最内层的、包含节点A的节点为节点A的外层; 若节点B包含节点A,则称节点A、节点A…”) 标签可视化编辑
  • 19:212026年2月21日 (六) 19:21 ZSM历史 | 编辑[806字节] Z留言 | 贡献 (创建页面,内容为“ZSM是梅天狸创造的急模式序数记号。它是BSM的改版。 == 定义 == ZSM中有"待定根"和"检测根"两个概念。检测根,即BSM规则中的待定根,除了0不再向前找父项。大根和小根概念和BSM完全一样,但没有强制大根和强制小根的规则。 ZSM的待定根就是末列最下非0项的祖先项。 而ZSM的坏根是最右的小根往右一个的待定根。若没有小根,则是最左的…”) 标签可视化编辑
  • 19:042026年2月21日 (六) 19:04 zFOS历史 | 编辑[6,091字节] Z留言 | 贡献 (创建页面,内容为“zeta-transmitted Fundamental Ordinal Seuence (zFOS),即ζ点传递型基本序数序列,是3183丶4139在2024年7月创造的序数记号。是FOS系列的阶段性成果,但因为其行为与FOS的理念不符而被废弃。 == 定义 == 极限表达式:(0,1,2) (0,(0,1),(0,1,2)) (0,(0,(0,1)),(0,(0,1),(0,1,2))) (0,(0,(0,(0,1))),(0,(0,(0,1)),(0,(0,1),(0,1,2)))) ... 表达式0=(0)是序数0,表达式1=(0,1)是序数1。除了判断序列阶数时…”) 标签可视化编辑
  • 19:022026年2月21日 (六) 19:02 提升急矩阵历史 | 编辑[2,058字节] Z留言 | 贡献 (创建页面,内容为“USM(Upgrading Sudden Matrix,提升急矩阵),是lilacblast在2024.12.27创造的记号。 === 名字来源 === 记号中将类似 BMS 的提升提前到 2 行,且远强于 BMS 提升,所以名字中有个“提升”。 === 基本定义 === 1.0 下标 1 起。 1.1 向量:由多个数字组成的数组。 1.2 矩阵:由多个长度相等的向量组成的数组,S 为待展开矩阵,第 y 行第 x 列的元素记作 S[x,y]。 1.3 父项…”) 标签可视化编辑
  • 18:342026年2月21日 (六) 18:34 pPMPN历史 | 编辑[7,063字节] Z留言 | 贡献 (创建页面,内容为“pPMPN是''318`4''的第6次山脉记号式高阶山脉图尝试,目的是解决FOS Ɵ(φ(ε₀,0))之前的主要问题。 == 定义 == === pPMPN === protovariance Progressive-mountain parallel Notation 极限表达式:(0)(,1,,1)(,2,,2',2,,2)(,3,,3',3,,3',3,,3)... 列:序列中以底层逗号分隔的数组,用列标表示一列在序列中的相对位置 项:一个由多逗号分隔符和数字组成的元素,是记号的基本组成部…”) 标签可视化编辑
  • 18:292026年2月21日 (六) 18:29 传递序数超运算历史 | 编辑[6,244字节] Z留言 | 贡献 (创建页面,内容为“传递序数超运算,是量子杰克发明的记号。目前未知其定义,只有理念和枚举分析。 == 分析 == <ε_ε_0: 和无传递的版本相同 * ω^^ω^ω^^ω = ε_ε_0 * ω^^(ω^ω^^ω+1) = ω^(ε_ε_0+1) * ω^^(ω^ω^^ω+ω) = ε_(ε_0+1) * ω^^(ω^ω^^ω*2) = ε_(ε_0*2) * ω^^ω^(ω^^ω+1) = ε_(ω^(ε_0+1)) * ω^^ω^(ω^^ω*2) = ε_(ω^(ε_0*2)) * ω^^ω^ω^^(ω+1) = ω^^ω^ω^(ω^^ω+1) = ε_(ω^ω^(ε_0+1)) * ω^^ω^ω^^(ω+2) =…”) 标签可视化编辑
  • 18:242026年2月21日 (六) 18:24 跨行父项矩阵系统历史 | 编辑[5,512字节] Z留言 | 贡献 (创建页面,内容为“EPMS(Enjambment Parented Matrix System,跨行父项矩阵系统),是qwerty在2025.6.21创造的序数记号, == EPMS == === 定义 === 极限表达式:(0)(1)(2,2)(3,3,3)(4,4,4,4)(5,5,5,5,5)…… 规则: 1、空矩阵=0 2、如果矩阵的最右列全为0,则该矩阵对应的序数等于去掉最右列后对应的序数的后继 3、矩阵中的所有非0项都有一个父项(0没有父项,空项等价于0) 矩阵第一行非0项的父项是…”) 标签可视化编辑
  • 18:192026年2月21日 (六) 18:19 BOS历史 | 编辑[4,312字节] Z留言 | 贡献 (创建页面,内容为“BOS是qwerty创造的序数记号, 2024.3.24 == 定义 == 1.空序列等于0,即(Ø)=0 2.所有合法的非空序列必须以1开头,(1)=1 3.对于任意合法的非空序列(#),(#,1)=(#)+1 4.对于任意合法的不以1结尾非空序列,都可以找到坏根并进行展开,序列的展开有无穷多项 5.对于任意合法的不以1结尾非空序列所代表的序数,都存在标准基本列,设该序列一共有m项,坏根是序列的…”) 标签可视化编辑
  • 18:152026年2月21日 (六) 18:15 非驼峰BMS历史 | 编辑[3,031字节] Z留言 | 贡献 (创建页面,内容为“非驼峰BMS,是BMS的一个改版。其修改BMS的定义: 对于一个存在LNZ的BMS来说,找到其坏根和阶差向量,之后正常加阶差向量,但坏部只包含坏根列。 其他规则不变。 非驼峰BMS的极限是<math>\varepsilon_0</math>. == 分析 == 左为非驼峰BMS,右为PrSS * 0=0 * 00=00 * 01=01 * 010=010 * 0100=0100 * 011=0101 * 0110=01010 * 0111=010101 * 012=011 * 0121=01101 * 01211=0110101…”) 标签可视化编辑
  • 18:072026年2月21日 (六) 18:07 FOSnn历史 | 编辑[11,495字节] Z留言 | 贡献 (创建页面,内容为“FOSnn 是 3183丶4139于 2024.2.2 创造的记号。是FOS系列记号的阶段性成果。但因为行为不符合预期而被废弃。 == 20240224 定义 == FOSnn(Fundamental Ordinal Sequence with Natural Numbers array)20240224 空序列=Ѻ(0)=0,表达式0=(0)=1 '''层''':Ѻ(n)为第0层,(1,2,3,4,5,...)中的项位于第1层,即底层;某一层的一项的组成部分就是下一层的项 k层'''尾项''':末项为1层尾项 自然数…”) 标签可视化编辑
  • 18:002026年2月21日 (六) 18:00 毁灭者矩阵系统历史 | 编辑[4,791字节] Z留言 | 贡献 (创建页面,内容为“DMS(Destroyer Matrix System)是 qwerty 于 2024.5.11 创造的记号。 DMS是我最近十天才开始创造的记号,应用了前所未有的模式,极大可能能拓宽全人类对大递归序数的理解,是理想强度最高的递归记号,没有之一。DMS(Destroyer Matrix System),又名毁灭者矩阵系统,其中“毁灭”二子表示该记号具有强大的威力,很可能能毁灭现有所有的递归记号,杀穿整个递归…”) 标签可视化编辑
  • 17:532026年2月21日 (六) 17:53 Y序列 VS TBMS历史 | 编辑[30字节] Baixie01000a7留言 | 贡献 (重定向页面至Y 序列 vs TBMS 标签新重定向 可视化编辑
  • 17:492026年2月21日 (六) 17:49 复制一次当后继的BMS历史 | 编辑[4,527字节] Z留言 | 贡献 (创建页面,内容为“复制一次当后继的BMS,即在BMS中修改规则: 如果末列与倒数第二列完全相同,则矩阵等于去掉末列的矩阵加一 其他规则不变,得到的改版。该改版的强度与BMS相同。 == 分析 == * 0 1 = 0 1 * 0 1 1 = 0 1 0 * 0 1 1 1 = 0 1 0 0 * 0 1 2 = 0 1 0 1 * 0 1 2 2 = 0 1 0 1 0 * 0 1 2 3 = 0 1 0 1 0 1 * 0 11 = 0 1 1 * 0 11 11 = 0 1 1 0 * 0 11 2 = 0 1 1 0 1 * 0 11 2 2 = 0 1 1 0 1 0 * 0 11 2 3 = 0 1 1 0 1 0 1 * 0 1…”) 标签可视化编辑
  • 17:192026年2月21日 (六) 17:19 赋权链图历史 | 编辑[3,510字节] Z留言 | 贡献 (创建页面,内容为“赋权链图(Weighted Chain Graph,wcg),是FataliS1024创造的图论记号。 == 定义 == 满足以下性质的有限图为一个wcg: * 所有边都是有向边,都有一个正整数的权值 * 不一定连通,但是每个连通部分都有且只有一个顶点使得这个顶点的入度为0,这个顶点称作根 * 所有顶点的入度不是0就是1,即边的方向总是从根向外放射的 * 无环,无重边 对两个wcg A和B,称A“镶…”) 标签可视化编辑
  • 16:472026年2月21日 (六) 16:47 伪燃烧数历史 | 编辑[40字节] Phyrion留言 | 贡献 (重定向页面至燃烧数#伪燃烧函数 标签新重定向 可视化编辑
  • 16:032026年2月21日 (六) 16:03 Sudan 函数历史 | 编辑[12,486字节] 星汐镜Littlekk留言 | 贡献 (创建Sudan函数页面【左对齐问题群内未解决】) 标签可视化编辑
  • 15:492026年2月21日 (六) 15:49 赋权二叉树历史 | 编辑[6,823字节] Z留言 | 贡献 (创建页面,内容为“赋权二叉树(Weighted Binary Tree)是FataliS1024提出的大数函数。 === 定义 === 对于有根二叉树,令其每条边都有一个正整数权值,即得到赋权二叉树,记作'''wb''' 对于两个'''wb''' A和B,如果A能通过以下操作得到B,就称B嵌入A,A容纳B,A大于B,B小于A: # 删掉一个度为1的顶点和它连接的边 # 删掉一个度为2的非根顶点和它连接的两条边,并将它原本连接的…”) 标签可视化编辑

2026年2月20日 (星期五)

最新 | 最旧) 查看( | 较旧50条)(20 | 50 | 100 | 250 | 500