每个人都是记载生活之人
原作者:佩勒 OCF(Ordinal Collapsing Function)是将非递归序数“折叠”成递归序数的函数,用ψ表示 ψ()函数相对于非递归序数,就好比于FGH增长率f_a()相对于序数 OCF有MOCF(Madore's OCF)和BOCF(Buchholz's OCF)两种,我们以MOCF讲解 MOCF的定义如下: C0(a)={0,1,ω,Ω} C(n+1)(a)={b+c,b×c,b^c,ψ(d)|b,c,d∈Cn(a),d作者楼主:Ancient | 发表时间:2026-07-18 12:33:40 | ID:6a5b02249a0e2
族客云提供支持