序数坍缩函数：修订间差异
来自Googology Wiki
更多操作
小无编辑摘要 |
小无编辑摘要 |
||
| 第1行： | 第1行： | ||
'''序数塌缩函数(Ordinal Collapsing Function,OCF)'''是一种[[序数]]函数。它们的特点是利用足够大的序数(通常是[[非递归序数]]) | '''序数塌缩函数(Ordinal Collapsing Function,OCF)'''是一种[[序数]]函数。它们的特点是利用足够大的序数(通常是[[非递归序数]])来输出递归序数。事实上，OCF有很多不同的版本。本词条着力于介绍[[BO]]之前的'''BOCF'''(Buchholz's OCF)和'''MOCF'''(Madore's OCF)。 | ||
== BOCF == | |||
== MOCF == | |||
[[分类:记号]] | [[分类:记号]] | ||