讨论:大数史:修订间差异
更多操作
→个人感觉ggg应该这么分时代: 新章节 |
→个人感觉ggg应该这么分时代: 回复 |
||
(未显示另一用户的1个中间版本) | |||
第20行: | 第20行: | ||
反正现在这个时代ω-Y以后基本没啥共识了,感觉像是卡在那了一样 [[用户:Wjyg|Wjyg]]([[用户讨论:Wjyg|留言]]) 2025年8月26日 (二) 13:10 (CST) | 反正现在这个时代ω-Y以后基本没啥共识了,感觉像是卡在那了一样 [[用户:Wjyg|Wjyg]]([[用户讨论:Wjyg|留言]]) 2025年8月26日 (二) 13:10 (CST) | ||
:分的挺好了,但是也得要别人写(以我的能力只能写到大概 201x 的近代) | |||
:不过 worm 型和 OCF 型基本上是同时的吧 [[用户:Tabelog|Tabelog]]([[用户讨论:Tabelog|留言]]) 2025年8月26日 (二) 16:33 (CST) | |||
::这段我有发言权,我是当时历史亲历(云)者,与其说worm时代开搞OCF,不如说OCF时代研究的是大基数,worm时代研究的是非递归,当年一大堆人真的认为那些OCF用的IMK是大基数的,hypcos还有谁来的提出Ω只用ω1ck就够了,用ω1属于浪费行为,但是似乎被Pbot喷了 | |||
::当年的OCF在现在的眼光看起来实在有点乱,带的函数都是一堆类似于χ和Ξ之类的让我头疼的函数,远没有今天的非递归记号这么简洁清晰,我宁愿去啃投影都不愿研究那些玩意,当年任何想要把OCF搞简洁点的也会被Pbot喷 | |||
::个人云了N年的感想:当年搞OCF是因为没有OCF以外的尺子去分析记号强度(所以会有一帮瞎编OCF比如UNOCF,要不然记号根本没法分析),不过OCF时代后期的前沿也已经开始探索稳定后的世界和不带OCF直接用非递归分析了(当年BMS也是前沿,只不过很少有人真去造worm记号,都在分析三行BMS强度,能算到SSO的都少,所以个人认为BMS出了不能算是worm时代的开端,得大家都反应过来百花齐放才算(最起码要有BMS急不急和Y急不急以外的worm),就像当年的非递归分析),比如hypcos分析他的强数阵,slcon作者搞出的稳定序数大饼 | |||
::另外,有人知道当年hypcos在他个人网站用来分析强数阵的那版TON强度吗?我记得当时分析到C(C(Ω_2*3,0),0) (好像,记不得具体记号长啥样了)就停止分析了,TON那个记号和别的记号比起来很乱,所以需要一个赤石仙人来算 | |||
::不说了,在这样说下去括号都要套成hydra了,结论是OCF早于worm,非递归和worm大概同时 [[用户:Wjyg|Wjyg]]([[用户讨论:Wjyg|留言]]) 2025年8月27日 (三) 13:16 (CST) |
2025年8月27日 (三) 13:16的最新版本
个人感觉ggg应该这么分时代
云gggist,没搞过大数,也读不懂定义,就瞎看N年wiki得出的结果,说的可能不太准确,见谅
1.吹牛期:佛教、哲学家、和数学家会因为自己想要吹牛(或者文雅点,描述宇宙与神的无穷)的欲望而创造大数,不过大多都过不了指数塔
2.序数分析期:ggg这个概念还没有形成,但是已经有了一波专业的数学家在搞序数分析给还未到来的gggist铺路
3.命名期:这个时代的特点是一堆人在搞命名,所以大家可以看到BO以前的大数表基本在刷屏,BO以后基本不见踪影,即使现在BO只能说入门水平
4.OCF和嵌套阵期:特点是一半人研究OCF,一半人在搞数阵/函数/嵌套阵,OCF也是一半人在瞎搞,比如著名的UNOCF(或许这个时代已经有人能够到LRO了,但是都私藏在个人空间里没人知道也没人扽,而且定义良不良都不清楚)
5.worm期:BMS横空出世,但是大家都没反应过来,还在搞嵌套,等大家终于反应过来以后,发现worm这东西简直离谱,就都在搞worm了,所以我们可以看到现在的记号各种序列,不知道的乍一看记号还以为在研究正经数学呢(当然,这个时代那帮命名的又回来了,只不过他们都去搞FG了)
我还记得我当年刷ggg wiki,日语区一堆搞序列的,英语区还一堆嵌套阵,我还搁那傻笑说原版worm那么弱,你这东西都看不出强在哪,当年分析出sdo是000,111,221,3我还不信
另外,4期当年能搞懂M就是专家,K就算是大神了,SSO以上没人懂,但是大家都还不少能造出SSO以上的记号,而且已经隐约有SSO是ε形序数的概念了,当年wiki里各种瞎编OCF和序数记号的,曾经看见过有管SSO叫序数空间(ordinal space)ε0的,也看见过Ω后套括号的,比如ψ(ε_Ω{1}+1)=SSO,只不过UNOCF最著名最广为人知
话说大家觉得下一次ggg革命会是怎么样的,我希望能迎来一个证明时代,做个梦,扽完z2扽z3,最后扽出zfc
反正现在这个时代ω-Y以后基本没啥共识了,感觉像是卡在那了一样 Wjyg(留言) 2025年8月26日 (二) 13:10 (CST)
- 分的挺好了,但是也得要别人写(以我的能力只能写到大概 201x 的近代)
- 不过 worm 型和 OCF 型基本上是同时的吧 Tabelog(留言) 2025年8月26日 (二) 16:33 (CST)
- 这段我有发言权,我是当时历史亲历(云)者,与其说worm时代开搞OCF,不如说OCF时代研究的是大基数,worm时代研究的是非递归,当年一大堆人真的认为那些OCF用的IMK是大基数的,hypcos还有谁来的提出Ω只用ω1ck就够了,用ω1属于浪费行为,但是似乎被Pbot喷了
- 当年的OCF在现在的眼光看起来实在有点乱,带的函数都是一堆类似于χ和Ξ之类的让我头疼的函数,远没有今天的非递归记号这么简洁清晰,我宁愿去啃投影都不愿研究那些玩意,当年任何想要把OCF搞简洁点的也会被Pbot喷
- 个人云了N年的感想:当年搞OCF是因为没有OCF以外的尺子去分析记号强度(所以会有一帮瞎编OCF比如UNOCF,要不然记号根本没法分析),不过OCF时代后期的前沿也已经开始探索稳定后的世界和不带OCF直接用非递归分析了(当年BMS也是前沿,只不过很少有人真去造worm记号,都在分析三行BMS强度,能算到SSO的都少,所以个人认为BMS出了不能算是worm时代的开端,得大家都反应过来百花齐放才算(最起码要有BMS急不急和Y急不急以外的worm),就像当年的非递归分析),比如hypcos分析他的强数阵,slcon作者搞出的稳定序数大饼
- 另外,有人知道当年hypcos在他个人网站用来分析强数阵的那版TON强度吗?我记得当时分析到C(C(Ω_2*3,0),0) (好像,记不得具体记号长啥样了)就停止分析了,TON那个记号和别的记号比起来很乱,所以需要一个赤石仙人来算
- 不说了,在这样说下去括号都要套成hydra了,结论是OCF早于worm,非递归和worm大概同时 Wjyg(留言) 2025年8月27日 (三) 13:16 (CST)