Tabelog的用户贡献

搜索贡献展开折叠

⧼contribs-top⧽

IP地址或用户名：

命名空间：

反选

关联的命名空间

标签过滤：

反选

仅显示最后版本的编辑

仅显示创建页面的编辑

隐藏小编辑

⧼contribs-date⧽

起始日期：

截止日期：

21:162026年8月29日 (六) 21:16 差异历史 −6,450 小 PSS的良序性无编辑摘要当前

23:332026年8月14日 (五) 23:33 差异历史 −11,450 小 PSS的良序性无编辑摘要标签：可视化编辑：已切换
23:072026年8月14日 (五) 23:07 差异历史 +417,841 新 PSS的良序性创建页面，内容为“我们给出 P 進大好き bot 关于 PSS（即两行 BMS）良序性的证明。<ref>P 進大好き bot. Introduction to the Termination of Pair Sequence System [EB/OL]. 2018. https://googology.fandom.com/wiki/User_blog:P%E9%80%B2 %E5%A4%A7%E5%A5%BD%E3%81%8Dbot/Introduction_to_the_Termination _of_Pair_Sequence_System.</ref><ref>P 進大好き bot. ペア数列の停止性[EB/OL]. 2018. https://googology.fand om.com/ja/wiki/%E3%83%A6%E3%83%BC%E3%82%B6%E3%83%BC…”
21:202026年8月14日 (五) 21:20 差异历史 +122 小 Test 无编辑摘要
20:582026年8月14日 (五) 20:58 差异历史 +3 小变换映射无编辑摘要当前标签：可视化编辑：已切换
20:452026年8月14日 (五) 20:45 差异历史 +20 小 BMS的良序性无编辑摘要当前标签：可视化编辑
20:432026年8月14日 (五) 20:43 差异历史 +21,698 新 BMS的良序性创建页面，内容为“我们给出 BMS 良序性的证明过程。<ref>VARGOVCIK S. Well-orderedness of the bashicu matrix system[A]. 2023.</ref><ref>小清新. 对 BMS 良序性证明的个人理解[EB/OL]. 2023. https://zhuanlan.zhihu.com/p/653719928.</ref> '''定义''' 在 BMS 中给出如下定义和约定： (1) 列和行均从 0 开始数起。例如 <math>(000)(111)</math> 的 <math>(000)</math> 是第 0 列。 (2) <math>A</math>：一般指一个 BMS。 (3) <math>A[n]</m…” 标签：可视化编辑

20:122026年2月24日 (二) 20:12 差异历史 −489 增长层级无编辑摘要当前
20:062026年2月24日 (二) 20:06 差异历史 −6,873 序数无编辑摘要

22:302026年2月22日 (日) 22:30 差异历史 +32 小序数无编辑摘要
10:102026年2月22日 (日) 10:10 差异历史 −22 小 FTO 无编辑摘要标签：可视化编辑
10:092026年2月22日 (日) 10:09 差异历史 −53 小 Laver Table 无编辑摘要标签：可视化编辑
10:012026年2月22日 (日) 10:01 差异历史 +23,869 新哥德尔不完备性创建页面，内容为“以下是 Gödel 关于完备性定理的证明。 ---------- 众所周知，怀特海和罗素构建逻辑和数学的方法是，将某些显而易见的命题置于公理之上，并根据一些精确表述的推理原理，以纯粹形式化的方式（即不再诉诸符号含义）从中推导出逻辑和数学命题。这种思路自然会立即引发一个问题：置于顶端的公理和推理原理体系是否完备，即是否真的足以推导出…”
09:472026年2月22日 (日) 09:47 差异历史 +14 小 FTO 无编辑摘要标签：可视化编辑
09:392026年2月22日 (日) 09:39 差异历史 +23,032 AOCF 无编辑摘要当前
09:352026年2月22日 (日) 09:35 差异历史 −23,627 AOCF 页面内容被替换为“'''Arai's Ordinal Collapse Function（AOCF）'''是一种类序数坍缩函数。” 标签：替换

22:542026年2月21日 (六) 22:54 差异历史 +26,880 新变换映射创建页面，内容为“变换映射方法是<code>P進大好きbot</code>发展的一个系统性地对记号进行分析和证明良序的方法。分析一个符号时，需要将其与另一个符号进行比较。换句话说，需要明确“哪个项对应哪个项”。在传统的表格分析中，我们并非写出每个项对应的项，而是简单地选择有限个看起来美观的项，然后写出希望它们对应的项。而使用转换映射进行分析，则是…” 标签：可视化编辑：已切换
22:412026年2月21日 (六) 22:41 差异历史 +18,879 PrSS的良序性无编辑摘要标签：可视化编辑

11:072025年8月31日 (日) 11:07 差异历史 +18 小首页无编辑摘要标签：已被回退
11:062025年8月31日 (日) 11:06 差异历史 +30 小传递闭包无编辑摘要标签：已被回退可视化编辑
11:062025年8月31日 (日) 11:06 差异历史 +1 小良基宇宙等同于集论全域的证明无编辑摘要当前标签：可视化编辑
11:052025年8月31日 (日) 11:05 差异历史 −16 小无穷基数的平方等于自身无编辑摘要当前标签：可视化编辑
11:052025年8月31日 (日) 11:05 差异历史 −19 小命数定理无编辑摘要标签：手工回退可视化编辑
11:042025年8月31日 (日) 11:04 差异历史 −18 小不可达基数的独立性无编辑摘要当前标签：可视化编辑
11:032025年8月31日 (日) 11:03 差异历史 0 小 PrSS的良序性 Tabelog移动页面PrSS的良序性至PrSS 的良序性，不留重定向
11:032025年8月31日 (日) 11:03 差异历史 +26 小 PrSS的良序性无编辑摘要标签：可视化编辑
11:012025年8月31日 (日) 11:01 差异历史 +122 小 Googology 无编辑摘要标签：可视化编辑
10:512025年8月31日 (日) 10:51 差异历史 −32 小 Laver Table 无编辑摘要标签：可视化编辑
10:422025年8月31日 (日) 10:42 差异历史 +2,540 Laver Table 无编辑摘要标签：可视化编辑
10:392025年8月31日 (日) 10:39 差异历史 0 新文件:Laver6 new.webp 无编辑摘要当前

22:532025年8月30日 (六) 22:53 差异历史 0 小 SHO 无编辑摘要
22:532025年8月30日 (六) 22:53 差异历史 −11 小 Googology 梗百科无编辑摘要
22:522025年8月30日 (六) 22:52 差异历史 −8 小 BO 无编辑摘要
22:512025年8月30日 (六) 22:51 差异历史 −10 小序数超运算无编辑摘要
22:512025年8月30日 (六) 22:51 差异历史 +4 小 Googology 社区无编辑摘要
22:462025年8月30日 (六) 22:46 差异历史 +126 小 Laver Table 无编辑摘要标签：可视化编辑
22:412025年8月30日 (六) 22:41 差异历史 0 小 Laver Table Tabelog移动页面Laver table至Laver Table，不留重定向
22:392025年8月30日 (六) 22:39 差异历史 +17 新 Bashicu 超矩阵重定向页面至BHM 当前标签：新重定向
22:382025年8月30日 (六) 22:38 差异历史 +17 新 Bashicu 急矩阵重定向页面至BSM 当前标签：新重定向
22:382025年8月30日 (六) 22:38 差异历史 +17 新 Bashicu 矩阵系统重定向页面至BMS 当前标签：新重定向
22:372025年8月30日 (六) 22:37 差异历史 −43 小非递归化序列记号无编辑摘要当前
22:352025年8月30日 (六) 22:35 差异历史 −17 小 SSS 分析无编辑摘要
22:152025年8月30日 (六) 22:15 差异历史 −17 小 BHM分析Part9 文字替换 -“BHM”替换为“BHM” 当前
22:152025年8月30日 (六) 22:15 差异历史 −17 小 BSM 文字替换 -“BHM”替换为“BHM”
22:142025年8月30日 (六) 22:14 差异历史 −17 小 BHM分析Part5：ψ(I)~SRO 文字替换 -“BHM”替换为“BHM”
22:122025年8月30日 (六) 22:12 差异历史 −17 小 BHM分析Part4：BO~ψ(I) 文字替换 -“BHM”替换为“BHM” 当前
22:122025年8月30日 (六) 22:12 差异历史 −17 小 EBO 文字替换 -“BHM”替换为“BHM”
22:092025年8月30日 (六) 22:09 差异历史 −17 小 BHM分析Part2：FSO~ψ(Ω 2^Ω) 文字替换 -“BHM”替换为“BHM” 当前
22:092025年8月30日 (六) 22:09 差异历史 −17 小 TFBO 文字替换 -“BHM”替换为“BHM”
22:072025年8月30日 (六) 22:07 差异历史 −17 小 BHM分析Part8 文字替换 -“BHM”替换为“BHM” 当前

2026年8月29日 (星期六)

2026年8月14日 (星期五)

2026年2月24日 (星期二)

2026年2月22日 (星期日)

2026年2月21日 (星期六)

2025年8月31日 (星期日)

2025年8月30日 (星期六)