|贴子

2023-04-21
【Hi-Res】18部纪录片原声带hires吧
这个资源可能比较冷门，包括行星地球、蓝色星球、绿色星球、完美星球等等星球系列的纪...
• 
2021-07-21
划线这一步怎么得来的高等数学吧
百思不得其解，为什么被积函数乘了对数以后相当于结果求偏导？
• 
2021-07-13
可能是凑黎曼和高等数学吧
大佬们这个结果是怎么出来的，其中w/L是大于0小于1的常数，用mathematica随便代了几个...
2021-03-03
大基数都被用来论战了吗？葛立恒数二吧
大基数的顺序都是一个模子刻出来的 (我知道都是抄了我那个已经删除了的列表，其实想扩...
• 
• 
• 
2020-09-05
【名词党福利】KP的总结葛立恒数二吧
首先声明，本人只是彻头彻尾的名词党，本帖只相当于我搜集到的某些结果的汇总，其中出...
2020-08-31
CIAN良定义化尝试葛立恒数二吧
良定义与否是相对的，甚至可以划分出一个层级，越高级表示定义越形式化，直到以类型λ...
2020-08-24
强数阵介绍11：下降数阵(DAN)葛立恒数二吧
这是SAN良定义的最强部分，引入了任意多重逗号，而且只作为分隔符，不出现在分隔符右...
2020-08-04
【水】证明论序数葛立恒数二吧
二楼防吞
2020-08-03
强数阵介绍10：Dropping Hydra模式葛立恒数二吧
这一节算是DAN的铺垫。 为了避免@和#符号造成的问题，接下来使用R表示原始式中数阵结...
2020-07-29
强数阵介绍9：次级下降数阵(sDAN)2葛立恒数二吧
最近写驱动写得很开心，没什么心思碰大数，但由于催得比较急，所以先把sDAN的第二部分...
2020-07-09
强数阵介绍8：次级下降数阵(sDAN)1葛立恒数二吧
在这一部分，重音符号又出现了，但和双重逗号合并了，成为`,,或,,`这样的符号. 同理，...
2020-07-04
强数阵介绍7：初级下降数阵(pDAN)2葛立恒数二吧
接着来看出现第二种双重逗号的情况，这一部分pDAN可以超过更多.
2020-06-23
强数阵介绍6：初级下降数阵(pDAN)1葛立恒数二吧
这一部分出现了更高级别的分隔符：双重逗号“,,”，用来代替之前的重音符号，类似的，双...
2020-06-22
强数阵介绍5：多重扩张数阵(mEAN)葛立恒数二吧
这一部分数阵引入了连续的重音符号，同扩张数阵，“连续的重音符号”分为两种，第一种用...
2020-06-09
强数阵介绍4：扩张数阵2葛立恒数二吧
第二部分引入了重音符号“`”，它可以简化并增强点号的作用，{1.k}可以等价改写为{1`k}....
2020-06-08
强数阵介绍3：扩张数阵1葛立恒数二吧
扩张数阵(Expanding Array Notation, EAN)又分为两个小的部分. 第一部分引入了点号“.”...
2020-06-05
强数阵介绍2：扩展数阵葛立恒数二吧
扩展数阵(exAN)添加了分隔符的概念，算是简单的多维数阵的例子，和BAN的嵌套数阵差不...
2020-06-03
强数阵介绍1：线性数阵葛立恒数二吧
强数阵(Strong Array Notation, SAN)由 @Hyp_Cos 提出，看名字就知道它很强，确实，可...
2020-03-28
葛立恒数介绍（试验）葛立恒数二吧
这篇文章用于代替葛立恒数吧置顶帖介绍葛立恒数，先在这里试水，如有疏漏，敬请指出 ...
2020-02-05
简单迭代数阵(SIAN)第一次拓展失败葛立恒数吧
把结论放在前面，SIAN的第一阶段拓展没有达到LVO，仅仅达到了Γ0，即Feferman-Schutte...
•