主要公开日志
更多操作
所有Googology Wiki公开日志的联合展示。您可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。
- 2025年8月18日 (一) 00:16 Phyrion 留言 贡献移动页面大数简史至大数史,不留重定向
- 2025年8月17日 (日) 23:08 Phyrion 留言 贡献创建了页面ωMN (重定向页面至Mountain Notation) 标签:新重定向 可视化编辑
- 2025年8月17日 (日) 22:59 用户账号风物之诗 留言 贡献已创建
- 2025年8月17日 (日) 22:49 Zhy137036 留言 贡献创建了页面自然数 (待补充:自然数的加法和乘法、非标准自然数模型、……)
- 2025年8月17日 (日) 22:42 用户账号Kae313 留言 贡献已创建
- 2025年8月17日 (日) 17:18 用户账号Gggxg 留言 贡献已创建
- 2025年8月17日 (日) 12:38 用户账号Chase Light 留言 贡献已创建
- 2025年8月17日 (日) 12:01 用户账号328580jak 留言 贡献已创建
- 2025年8月17日 (日) 12:00 用户账号3284 留言 贡献已创建
- 2025年8月17日 (日) 10:34 Tabelog 留言 贡献创建了页面Dropping (创建页面,内容为“Dropping 模式是指在 Hydra 中,往外找 n-Dropping 对应的 n 层的模式。 === M 记号 === M 记号实际上使用的是 2-dropping hydra 模式,而一般的 hydra 实际上是 1-dropping hydra。 比如 p0(p1+p1),p1 向外找到 p0,然后进行迭代,得到 p0(p1+p0(p1+p0(p1+..)) 而在 M 记号中 p0(p0(p1)+p0(p1),p1 向往找到等级更低的 p0,得到 p0(p1),将其作为迭代子,继续向外找,得到…”) 标签:可视化编辑
- 2025年8月17日 (日) 10:15 Tabelog 留言 贡献删除页面用户:😰 (内容为:“Guogao of me 2025.6.25”,唯一贡献者是“😰”(讨论))
- 2025年8月17日 (日) 10:14 Tabelog 留言 贡献删除页面用户:Guogao (内容为:“测试+1”,唯一贡献者是“Guogao”(讨论))
- 2025年8月17日 (日) 10:12 Tabelog 留言 贡献删除页面Weak veblen函数 (内容为:“#重定向 Weak Veblen 函数”,唯一贡献者是“Phyrion”(讨论))
- 2025年8月17日 (日) 10:02 Tabelog 留言 贡献移动页面Moumtain Notation至Mountain Notation,不留重定向
- 2025年8月17日 (日) 09:33 Tabelog 留言 贡献移动页面非平凡至初等嵌入,不留重定向
- 2025年8月16日 (六) 21:22 用户账号632zsz 留言 贡献已创建
- 2025年8月16日 (六) 21:14 Phyrion 留言 贡献创建了页面PTO (重定向页面至证明论序数) 标签:新重定向 可视化编辑
- 2025年8月16日 (六) 17:00 用户账号Elmi 留言 贡献已创建
- 2025年8月16日 (六) 13:56 用户账号GOD 留言 贡献已创建
- 2025年8月16日 (六) 11:11 灵依 留言 贡献创建了页面非平凡 (创建页面,内容为“ <!-- 1. 非平凡初等嵌入 --> <mtable columnalign="left"> <!-- 标题 --> <mtr> <mtd> <mstyle mathvariant="bold" mathsize="1.2em"> <mtext>非平凡初等嵌入</mtext> </mstyle> </mtd> </mtr> <!-- 定义 --> <mtr> <mtd> <mrow> <mtext>设</mtext> <mi>M</mi> <mo>,</mo> <mi…”) 标签:可视化编辑
- 2025年8月15日 (五) 23:02 用户账号水 留言 贡献已创建
- 2025年8月15日 (五) 22:03 用户账号一只屑角角 留言 贡献已创建
- 2025年8月15日 (五) 18:57 Guogaoloogy 留言 贡献创建了页面用户讨论:Optimism (Opti😰ism: 新章节) 标签:新话题
- 2025年8月15日 (五) 18:08 虚妄之幻 留言 贡献创建了页面不可达基数的独立性 (独立性证明) 标签:可视化编辑
- 2025年8月15日 (五) 17:56 用户账号油手就行 留言 贡献已创建
- 2025年8月15日 (五) 17:54 Ankdnjj 留言 贡献创建了页面文件:2025-08-11 狄安娜的考验.png
- 2025年8月15日 (五) 17:54 Ankdnjj 留言 贡献上传文件:2025-08-11 狄安娜的考验.png
- 2025年8月15日 (五) 17:49 用户账号灵依 留言 贡献已创建
- 2025年8月15日 (五) 17:48 用户账号黍 留言 贡献已创建
- 2025年8月15日 (五) 17:42 用户账号Albert 留言 贡献已创建
- 2025年8月15日 (五) 17:30 用户账号Asheep233 留言 贡献已创建
- 2025年8月15日 (五) 17:23 用户账号洛希 留言 贡献已创建
- 2025年8月15日 (五) 17:13 用户账号Ankdnjj 留言 贡献已创建
- 2025年8月15日 (五) 17:13 用户账号梦幻の蝶 留言 贡献已创建
- 2025年8月15日 (五) 17:12 用户账号芒果 留言 贡献已创建
- 2025年8月15日 (五) 17:12 用户账号屑鹿a 留言 贡献已创建
- 2025年8月15日 (五) 17:10 用户账号Celibacy禁欲 留言 贡献已创建
- 2025年8月15日 (五) 17:09 用户账号学不会向上投影不改名 留言 贡献已创建
- 2025年8月15日 (五) 17:08 用户账号荧光 留言 贡献已创建
- 2025年8月15日 (五) 16:20 Phyrion 留言 贡献创建了页面文件:pcf 25-07-22.jpg
- 2025年8月15日 (五) 16:20 Phyrion 留言 贡献上传文件:pcf 25-07-22.jpg
- 2025年8月15日 (五) 16:09 Phyrion 留言 贡献创建了页面PPS (创建页面,内容为“'''Parented Predecessor Sequence(PPS)'''是由3184创造的一个序列记号,其父项定位方式是标记父项位置。 PPS有着较为简单的定义,但分析它却极为复杂和困难。 === 定义 === 极限表达式:0,1,2,3,4,5,... 坏根:第(末项的值)项;如果末项是0,则表示后继序数 对于一个序列表达式,记其末项的列标减末项的值为L,坏根的值为b,末项…”) 标签:可视化编辑
- 2025年8月15日 (五) 15:01 Phyrion 留言 贡献创建了页面项定位方式 (创建页面,内容为“在序列记号中,一个项蕴含了某种信息,让它能直接或间接找到它的父项(或其他形式的与它有关的项),这就是'''项定位信息'''。决定项定位信息的是'''项定位方式'''。 目前有以下三种项定位方式: === 1.标记层级 === 标记层级,即标记其祖先链长度,项的内容表达了这个项要经过多少次父项才会到达没有父项的项。 标记层级能让一个项'''间接'''找…”) 标签:可视化编辑
- 2025年8月15日 (五) 14:15 Phyrion 留言 贡献创建了页面ω (重定向页面至FTO) 标签:新重定向 可视化编辑
- 2025年8月15日 (五) 14:11 Phyrion 留言 贡献移动页面Weak veblen函数至Weak Veblen 函数
- 2025年8月15日 (五) 13:51 Zhy137036 留言 贡献创建了页面ω-Y (创建页面,内容为“1”)
- 2025年8月8日 (五) 10:21 Tabelog 留言 贡献创建了页面UNOCF (创建页面,内容为“Username’s OCF(UNOCF)是一个由 Username5243 提出的不严格的序数折叠函数。它并未给出集合论定义,而是直接讨论其折叠性质。因此,这实际上只是一个长得像 OCF 的序数记号。 === 首个不可数基数 === 在 <math>\psi(\Omega)</math> 之前,我们可以遵循三个简单的规则: * <math>\psi(0)=1</math> * <math>\psi(\alpha+1)[n]=\psi(\alpha)n</math> * <math>\psi(\alpha[n])=\p…”) 标签:可视化编辑
- 2025年8月7日 (四) 22:51 YourCpper 留言 贡献创建了页面TSO (创建页面,内容为“TSO(Triply Stability Ordinal),指第一个涉及三段稳定链的序数。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.(\lambda\beta.(\lambda\gamma.\gamma+1-\Pi_0[\beta+1])-\Pi_0[\alpha+1])-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varepsilon_{\Omega_{\alpha_3+1}+1}))</math> |- |Aarex's exUNOCF |<math>\psi(\Omega_{C(1::;;0)+1})</math> |- |BMS |<math>(0)(…”) 标签:可视化编辑
- 2025年8月7日 (四) 22:47 YourCpper 留言 贡献创建了页面DSO (创建页面,内容为“DSO(Doubly Stability Ordinal),指第一个涉及二段稳定链的序数。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.(\lambda\beta.\beta+1-\Pi_0[\alpha+1])-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\varepsilon_{\Omega_{\alpha_2+1}+1}))</math> |- |Aarex's exUNOCF |<math>\psi(\Omega_{C(1:;;0)+1})</math> |- |BMS |<math>(0)(1,1,1)(2,2,1)(3,3)</math> |- |0…”) 标签:可视化编辑
- 2025年8月7日 (四) 22:37 YourCpper 留言 贡献创建了页面LDO (创建页面,内容为“LDO(Large Dropping Ordinal),由 Username5243 命名,指代拓展 UNOCF 极限。该名字曾经也用于指代 {| class="wikitable" |<math>\psi(\psi_\alpha(\Omega_{\alpha_2+1}\times\alpha))</math> |} ( {| class="wikitable" |<math>(0)(1,1,1)(2,2,1)(3,1)(2)</math> |} ) {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.\Phi(1,\alpha+1)-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\Omega_{…”) 标签:可视化编辑