Tabelog的用户贡献

搜索贡献展开折叠

⧼contribs-top⧽

IP地址或用户名：

命名空间：

反选

关联的命名空间

标签过滤：

反选

仅显示最后版本的编辑

仅显示创建页面的编辑

隐藏小编辑

⧼contribs-date⧽

起始日期：

截止日期：

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” 当前
22:062025年8月30日 (六) 22:06 差异历史 −17 小 BHM分析Part1：0~FSO 文字替换 -“BHM”替换为“BHM”
22:062025年8月30日 (六) 22:06 差异历史 −17 小 BHM分析文字替换 -“BHM”替换为“BHM” 当前
22:062025年8月30日 (六) 22:06 差异历史 −17 小 BHM分析Part6 文字替换 -“BHM”替换为“BHM” 当前
22:062025年8月30日 (六) 22:06 差异历史 −34 小 EBO 文字替换 -“BSM”替换为“BSM”
22:052025年8月30日 (六) 22:05 差异历史 −17 小 BHM分析Part10 文字替换 -“BHM”替换为“BHM” 当前
22:032025年8月30日 (六) 22:03 差异历史 0 小 BHM Tabelog移动页面Bashicu超矩阵至BHM
22:032025年8月30日 (六) 22:03 差异历史 0 小 BSM Tabelog移动页面Bashicu急矩阵至BSM

2026年2月24日 (星期二)

2026年2月22日 (星期日)

2026年2月21日 (星期六)

2025年8月31日 (星期日)

2025年8月30日 (星期六)