主要公开日志

所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2025年8月2日 (六) 16:10 Zhy137036 留言 贡献删除页面PrSS良序 （误操作）
• 2025年8月2日 (六) 16:09 Zhy137036 留言 贡献创建了页面PrSS良序 （创建页面，内容为“* 若 <math>S</math> 中有不止一项是零。<br>设 <math>S</math> 中有 <math>r>1</math> 项为零，且 <math>a_{k_1}=a_{k_2}=\cdots=a_{k_r}=0</math>，其中 <math>1=k_1<k_2<k_3<\cdots<k_r<k_{r+1}=n+1</math>。<br>取 <math>S_i=(a_{k_i},a_{k_i+1},\cdots,a_{k_{i+1}-1}),\quad i=1,2,\cdots,r</math>，则 <math>F(S)=F(S_1)+F(S_2)+\cdots+F(S_r)</math>。<br>设 <math>S</math> 的坏根为 <math>a_x</math>。不难看出，<math>x\ge k_r</math>。<br>设 <mat…”）
• 2025年7月31日 (四) 11:17 Tabelog 留言 贡献创建了页面(test) BMS 分析 （我在测试什么东西） 标签：可视化编辑：已切换
• 2025年7月30日 (三) 15:04 Zhy137036 留言 贡献创建了页面分类:集合论相关 （创建页面，内容为“此分类储存与集合论相关的条目。”）
• 2025年7月30日 (三) 13:05 Z 留言 贡献创建了页面非递归化序列记号 （创建页面，内容为“本词条介绍将部分序列记号改造为非递归记号的通用办法 == 定义 == 对于极限基本列为<math>1,2</math>、<math>1,3</math>、<math>1,4</math>……的，且存在坏根、好部、坏部的序列型记号，可以按照如下方法将其转换为非递归记号： # 末项为1，则为后继； # 否则，在序列最前方补一个1，随后按该记号规则找到坏根，如果坏根不是补的那个1，则按照该记号规则…”） 标签：可视化编辑
• 2025年7月30日 (三) 09:43 Phyrion 留言 贡献创建了页面讨论:Dropping Hydra （无标题：​ 新章节） 标签：新话题
• 2025年7月29日 (二) 20:32 Tabelog 留言 贡献创建了页面传递集 （创建页面，内容为“在集合论中，'''传递集'''（或递移集，Transitive Set）是一种特殊的集合，其元素的所有元素也属于该集合本身。这一概念是集合论模型论和构造性集合论（如内模型理论）的基础工具。 === 定义 === 一个集合 <math>U</math> 称为传递集，当且仅当它满足以下条件： <math>\forall x\in U\forall y(y\in x\Rightarrow y\in U)</math> 即，若 <math>x</math> 是 ''<math>U</math…”） 标签：可视化编辑
• 2025年7月29日 (二) 19:53 Tabelog 留言 贡献创建了页面内模型 （创建页面，内容为“在集合论中，'''内模型'''（Inner Model）是指一个满足 ZFC 公理的传递类模型（即其元素关系在更广泛的宇宙中保持绝对），且包含所有序数。内模型是研究集合论基础问题（如大基数公理的一致性强度、独立性证明等）的核心工具之一，尤其在内模型计划（Inner Model Program）中扮演关键角色。 === 定义与性质 === * 若 <math>M</math> 是内模型…”） 标签：可视化编辑
• 2025年7月29日 (二) 19:48 Tabelog 留言 贡献创建了页面传递模型 （创建页面，内容为“在集合论中，'''传递模型'''（或称'''传递结构'''，Transitive Model）是一种特殊的模型（结构），其元素的元素仍属于该模型。它是研究集合论公理（如 ZFC）及其独立性、内模型理论（Inner Model Theory）和力迫法（Forcing）的重要工具。 === 定义 === 一个传递模型通常指一个二元组 <math>(M,\in M)</math>，其中 <math>M</math> 是一个集合或真类，<math>\i…”） 标签：可视化编辑
• 2025年7月29日 (二) 19:41 Tabelog 留言 贡献创建了页面一致性 （创建页面，内容为“在'''集合论'''中，'''一致性'''（Consistency）指一个形式理论无法推导出矛盾（即同时证明某个命题及其否定）。若一个理论存在至少一个模型（即满足所有公理的结构），则该理论是一致的。一致性是形式系统可信度的核心，确保其推导的定理不会导致逻辑悖论。 === 定义 === 若理论 <math>T</math> 中不存在命题 <math>\varphi</math> 使得 <math>T\vdash\varphi</math>…”） 标签：可视化编辑
• 2025年7月29日 (二) 19:14 Tabelog 留言 贡献创建了页面FUO （创建页面，内容为“在集合论中，<math>\omega_1</math>（First Uncountable Ordinal，FUO）表示第一个不可数序数，即所有可数序数的最小上界。它是序数的良序集合，其元素为所有与自然数集序型相同的可数良序集。作为序数，<math>\omega_1</math> 本身是不可数的，其基数为 <math>\aleph_1</math>，即第一个不可数基数。在 ZFC 公理体系下…”） 标签：可视化编辑
• 2025年7月29日 (二) 16:04 Zhy137036 留言 贡献创建了页面分类:证明 （创建页面，内容为“此分类用于储存与 Googology 相关的定理和结论的证明。”）
• 2025年7月29日 (二) 15:57 Zhy137036 留言 贡献移动页面证明至无穷基数的平方等于自身，不留重定向
• 2025年7月29日 (二) 15:45 Zhy137036 留言 贡献创建了页面证明 （创建页面，内容为“== <math>\aleph_\alpha\times\aleph_\alpha=\aleph_\alpha</math> 的证明 == 证明：我们如下定义 <math>\mathrm{Ord}^2</math> 上的良序： <math display=block> \begin{aligned} (\alpha,\beta)<(\gamma,\delta)\iff{}&\max\{\alpha,\beta\}<\max\{\gamma,\delta\}\\ &\lor(\max\{\alpha,\beta\}=\max\{\gamma,\delta\}\land \alpha<\gamma)\\ &\lor(\max\{\alpha,\beta\}=\max\{\gamma,\delta\}\land\alpha=\gamma\land\beta<\delta)\\ \end{aligned} </math> 可以证明，…”）
• 2025年7月29日 (二) 15:19 Tabelog 留言 贡献删除页面测试 （内容为：“#重定向 Test”，唯一贡献者是“Phyrion”（讨论））
• 2025年7月29日 (二) 15:19 Tabelog 留言 贡献删除页面Phi （内容为：“#重定向 Veblen函数”，唯一贡献者是“QWQ-bili”（讨论））
• 2025年7月29日 (二) 15:18 Tabelog 留言 贡献删除页面Googology 梗 （内容为：“#重定向 Googology 梗百科”，唯一贡献者是“Phyrion”（讨论））
• 2025年7月29日 (二) 15:18 Tabelog 留言 贡献删除页面-illion数字系统 （内容：“#重定向 Googolism”）
• 2025年7月29日 (二) 15:17 Tabelog 留言 贡献删除页面Googologism （内容：“#重定向 Googolism”）
• 2025年7月29日 (二) 14:46 Tabelog 留言 贡献删除页面Googolism - Part 7 （内容为：“【更小 | 主页 | 更大】 === Part 7.1: <math>f_{\omega^2}(f_3(10))</math> ~ <math>f_{\omega^2 2}(f_3(10))</math> === * Chainol, s(3,2,2,1,2) * Gugolda-plexithird, E100###2#2 * Great gugolthra, E100###3#2 * Tetratriplex, {3,3,1,1,2} * Gugoltesla-plexithird / Great gugoltesla, E100###4#2 * Gugolpeta-plexithird…”，唯一贡献者是“Tabelog”（讨论））
• 2025年7月29日 (二) 14:46 Tabelog 留言 贡献删除页面Googolism - Part 8 （内容为：“【更小 | 主页 | 更大】 === Part 8.1: <math>f_{\omega^{\omega^2}}(f_3(10))</math> ~ <math>f_{\omega^{\omega^3}}(f_3(10))</math> === * Xappolplex, {10,3,2 (2) 2} * Planelplex, s(3,3,2{3}2) * Grand gridgahlah, E100#^##100#2 * Plantrienel, s(3,3,3{3}2) * Xappolduplex, {10,4,2 (2) 2} * Gixxol, {10,100,2 (2) 2}…”，唯一贡献者是“Tabelog”（讨论））
• 2025年7月29日 (二) 14:46 Tabelog 留言 贡献删除页面Googolism - Part 9 （内容为：“【更小 | 主页 | 更大】 === Part 9.1: <math>f_{\omega^{\omega^{\omega^{\omega}}}}(f_3(10))</math> ~ <math>f_{\omega^{\omega^{\omega^{\omega^2}}}}(f_3(10))</math> === * Grand godtothol, E100#^#^#^#100#2 * Grangol-carta-godtothol, E100#^#^#^#100#100 * Dimentrienthrex, s(3,3,3{1{2}2}2) * Godgahlah-carta-godto…”，唯一贡献者是“Tabelog”（讨论））
• 2025年7月29日 (二) 14:46 Tabelog 留言 贡献删除页面Googolism - Part 10 （内容为：“【更小 | 主页 | 更大】 === Part 10.1: <math>f_{\varepsilon_0}^2(10)</math> ~ <math>f_{\varepsilon_02}^2(10)</math> === * Backoogolplex, {10,3,2 [1\2] 2} * Grand tethrathoth, E100#^^#100#2 * Goppatothplex, {10,goppatoth,2} & 10 * Grand tethrinoogol, {100,3,2 [1\2] 2} * Grand tethrathothigong, E100,000#^^#1…”，唯一贡献者是“Tabelog”（讨论））
• 2025年7月29日 (二) 14:45 Tabelog 留言 贡献删除页面Googolism - Part 11 （内容为：“【更小 | 主页 | 更大】 === Part 11.1: <math>f_{\zeta_0}^2(10)</math> ~ <math>f_{\varepsilon_{\zeta_0+1}}^2(10)</math> === * Grand tethracross, E100#^^##100#2 * Grand Berlin Wall, E100#^^##100,000,000#2 * '''Fish number 6''', <math>\approx f_{\zeta_0+1}(63)</math> * Grangol-carta-tethracross, E100#^^##100…”，唯一贡献者是“Tabelog”（讨论））
• 2025年7月29日 (二) 14:45 Tabelog 留言 贡献删除页面Googolism - Part 12 （内容为：“【更小 | 主页 | 更大】 === Part 12.1: <math>f_{\Gamma_0}^2(10)</math> ~ <math>f_{\Gamma_1}^2(10)</math> === * Grand pentacthulhum / grand tethrarxihect / tethrarxitethrarxihect, E100#^^^#100#2 * Grand grand pentacthulhum, E100#^^^#100#3 * Triple grand pentacthulhum, E100#^^^#100#4 * Quadruple grand pentacthulhum, E100#^^^#100#5…”，唯一贡献者是“Tabelog”（讨论））
• 2025年7月29日 (二) 13:52 Tabelog 留言 贡献删除页面Veblen结构分析 （内容为：“#重定向 User:不要相信我/记号分析”，唯一贡献者是“不要相信我”（讨论））
• 2025年7月29日 (二) 13:52 Tabelog 留言 贡献删除页面用户讨论:Veblen结构分析 （内容为：“#重定向 Veblen结构分析”，唯一贡献者是“不要相信我”（讨论））
• 2025年7月29日 (二) 13:48 Phyrion 留言 贡献已将Tabelog的用户组从（无）更改至管理员 （水王）
• 2025年7月29日 (二) 12:01 Tabelog 留言 贡献创建了页面递归 Mahlo 序数 （创建页面，内容为“递归 Mahlo 序数 <math>M</math> 是一个大反射序数，定义为 <math>2-2</math>。、”） 标签：可视化编辑
• 2025年7月28日 (一) 20:10 Tabelog 留言 贡献创建了页面Dropping Hydra （创建页面，内容为“=== 定义 === 该符号是一个三色有序树 '''T'''，附加两个正整数作为其“数值参数”。在符号 '''T'''[x, y] 中，红色是根节点的特殊颜色，而白色和黑色用于其他节点。 首先，红根树的数量少于白根树的数量，而白根树的数量又少于黑根树的数量。然后，在所有白根树中，只有白根的树是最小的，而在所有黑根树中，只有黑根的树是最小的。要比较树 '''A…”） 标签：可视化编辑：已切换
• 2025年7月28日 (一) 19:27 GaoKao 留言 贡献创建了页面超限(-1)-Y VS Veblen函数 （创建页面，内容为“本条目展示超限(-1)-Y和Veblen函数的列表分析。 {| class="wikitable" !超限(-1)-Y !Veblen函数 |- |<math>(1,\omega)</math> |<math>\varphi(1,0)</math> |- |<math>(1,\omega,1)</math> |<math>\varphi(1,0)+1</math> |- |<math>(1,\omega,1,\omega)</math> |<math>\varphi(1,0)+\varphi(1,0)</math> |- |<math>(1,\omega,2)</math> |<math>\varphi(\varphi(1,0)+1)</math> |- |<math>(1,\omega,2,1,\omega,2)</math> |<math>\varphi(\varphi(1,0)+1)+\varphi(\varphi(…”） 标签：可视化编辑
• 2025年7月28日 (一) 18:38 Tabelog 留言 贡献创建了页面NOCF （创建页面，内容为“NOCF（None Ordinal Collapse Function）是 OCF 的一种。 === 理念 === 由于 NOCF 没有完整的定义，这里给出它的理念： <math>\psi_\alpha(0)=\Omega_\alpha\quad(\Omega_0=1)</math>，<math>\psi_\alpha(\sharp+1)=\psi_\alpha(\sharp)+1</math>；在 OCF 内遇到 <math>\Omega_\alpha</math> 的处理方式与 MOCF 一致。 === 分析 === 下列分析的等号左侧为 NOCF，右侧为 MOCF。<…”） 标签：可视化编辑
• 2025年7月27日 (日) 12:59 Zhy137036 留言 贡献解封了Zhy137036 留言 贡献
• 2025年7月27日 (日) 12:56 Zhy137036 留言 贡献已封禁Zhy137036 留言 贡献，到期时间为2025年7月27日 (日) 13:54（停用账号创建、​停用自动封禁）
• 2025年7月26日 (六) 15:14 QWQ-bili 留言 贡献创建了页面Fffz （重定向页面至Fake Fake Fake Zeta） 标签：新重定向
• 2025年7月26日 (六) 11:45 虚妄之幻 留言 贡献创建了页面命数定理 （命数定理完整证明） 标签：可视化编辑
• 2025年7月26日 (六) 09:57 虚妄之幻 留言 贡献创建了页面Hybrid Prss （Hybrid Prss） 标签：可视化编辑
• 2025年7月25日 (五) 17:42 用户账号SyncZeta 留言 贡献已创建
• 2025年7月24日 (四) 21:02 Tabelog 留言 贡献创建了页面BAN （创建页面，内容为“'''Bird 数组表示法'''（Bird's Array Notation,BAN）是由 Chris Bird 发明的一种大数记号。它是 BEAF 的扩展，无论是在历史上还是在定义上都类似于 BEAF，但与 BEAF 略有不同，使其更加“简单”。 == 定义 == === “简单”数阵 === ==== 线性和多维数阵 ==== * '''规则 1'''. 若有一或两个元素，则有 <math>\{a\} = a,\{a,b\} = a^b</math> * '''规则 2'''. 若最后一个元素为 1，则可…”） 标签：可视化编辑
• 2025年7月24日 (四) 20:40 Zhy137036 留言 贡献创建了页面PPS分析 （扽西内容来自Phyrion）
• 2025年7月24日 (四) 20:14 Tabelog 留言 贡献创建了页面CKO （创建页面，内容为“CKO(Church-Kleene Ordinal)是可数序数的上确界。 === 定义 === Church-Kleene 序数，记作 <math>\omega_1^{\rm CK}</math>，是可计算序数（computable ordinals）的上确界。具体来说，它是在可计算良序（computable well-orderings）的序型（order types）集合中的最小不可数上界。 ==== 形式化定义 ==== 设 <math>\mathrm{O}</math> 是所有可计算良序的序型构成的集合。即，若 <math>\prec</math> 是…”） 标签：可视化编辑
• 2025年7月24日 (四) 19:51 Guogaoloogy 留言 贡献创建了页面Fake Fake Fake Zeta （fffz） 标签：可视化编辑
• 2025年7月23日 (三) 20:33 夏浅不是下潜 留言 贡献创建了页面LPrSSvsHPrSSvs0-YvsY （创建页面，内容为“{| class="wikitable" |+ !LPrSS !HPrSS !0-Y !Y !MOCF |- | <math>1,3</math> | <math>1,3</math> | <math>1,3</math> | <math>1,2,4</math> | <math>\psi(0)</math> |- | <math>1,3,2</math> | <math>1,3,2</math> | <math>1,3,2</math> | <math>1,2,4,2</math> | <math>\psi(0)\times\omega</math> |- | <math>1,3,3</math> | <math>1,3,3</math> | <math>1,3,3</math> | <math>1,2,4,4</math> | <math>\psi(1)</math> |- | <math>1,3,4</math> | <math>1,3,4</math> | <math>1,3,4</math> | <math…”） 标签：可视化编辑：已切换
• 2025年7月23日 (三) 17:04 用户账号ABCD 留言 贡献已创建
• 2025年7月23日 (三) 17:02 夏浅不是下潜 留言 贡献创建了页面超限(-1)-Y （创建页面，内容为“'''超限 (-1)-Y''' 是一种 Worm 型序数记号． == 定义 == === 合法式 === 一个'''合法'''的超限 (-1)-Y 表达式是形如 <math>S=(s_{1},s_{2},\cdots,s_{n})|n,s_{1},s_{2},\cdots,s_{n}<\Omega</math> 且 <math>\langle \text{1} \rangle\ \quad s_{1}=1\quad\text{if }n>0.</math> '''例：''' <math>(1,\omega)</math> 是一个合法的超限 (-1)-Y 表达式. <math>(\Omega_\Omega,1,2)</math> 不是一个合法的超限 (…”）
• 2025年7月23日 (三) 16:40 夏浅不是下潜 留言 贡献创建了页面-1-Y （创建页面，内容为“'''(-1)-Y''' 是一种 Worm 型序数记号． == 定义 == === 合法式 === 一个'''合法'''的 (-1)-Y 表达式是形如 <math>S=(s_{1},s_{2},\cdots,s_{n})|n,s_{1},s_{2},\cdots,s_{n}\in\mathbb{N}</math> 且 <math>\langle \text{1} \rangle\ \quad s_{1}=1\quad\text{if }n>0.</math> '''例：''' <math>(1,2,2,3,3)</math> 是一个合法的 (-1)-Y 表达式. <math>(\Omega,1,2)</math> 不是一个合法的 PrSS 表达式，因为 <m…”） 标签：可视化编辑：已切换
• 2025年7月23日 (三) 16:17 用户账号Guogaoloogy 留言 贡献已创建
• 2025年7月22日 (二) 22:01 YourCpper 留言 贡献创建了页面JO （创建页面，内容为“JO（Jäger's Ordinal，雅格序数），是一个重要的序数。 {| class="wikitable" |+JO !记号 !表达式 |- |BOCF |<math>\psi(\Omega_{I+1})</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 2 & 3 & 4\\ 0 & 1 & 1 & 1 & 2\\ 0 & 1 & 1 & 0 & 0\end{pmatrix}</math> |- |0-Y |<math>1,4,7,9,12</math> |- |Y序列 |<math>1,2,4,8,12,15,19</math> |- |ex-hydra |<math>p1(p3(p3(p2(p3))))</math> |- |M记号…”） 标签：可视化编辑
• 2025年7月22日 (二) 21:41 YourCpper 留言 贡献创建了页面BIO （创建页面，内容为“BIO(Bird's Ordinal，鸟之序数)，是 googology 历史中的一个重要的序数。它是鸟之记号（Bird's Array Notation）的极限。 {| class="wikitable" |+BIO !序数记号 !表达式 |- !BOCF/MOCF !<math>\psi(\Omega_\Omega)</math> |- |BMS |<math>\begin{pmatrix} 0 & 1 & 2 & 3\\ 0 & 1 & 1 & 1\\ 0 & 1 & 1 & 0\end{pmatrix}</math> |- |[…”） 标签：可视化编辑
• 2025年7月22日 (二) 20:15 用户账号YourCpper 留言 贡献已创建