序数坍缩函数：修订间差异

2025年7月3日 (四) 22:47的版本

序数塌缩函数(Ordinal Collapsing Function,OCF)是一种序数函数。它们的特点是利用足够大的序数(通常是非递归序数)来输出递归序数。

2025年7月3日 (四) 22:43的版本查看源代码 Phyrion（留言 \| 贡献）行政员、界面管理员、管理员 643次编辑创建页面，内容为“'''序数塌缩函数(Ordinal Collapsing Function,OCF)'''是一种序数函数。它们的特点是使用足够大的序数(通常是非递归序数)来输出递归序数。” 标签：可视化编辑		2025年7月3日 (四) 22:47的版本查看源代码 Phyrion（留言 \| 贡献）行政员、界面管理员、管理员 643次编辑小无编辑摘要标签：可视化编辑下一编辑→
第1行：		第1行：
	'''序数塌缩函数(Ordinal Collapsing Function,OCF)'''是一种[[序数]]~~函数。它们的特点是使用足够大的序数~~(~~通常是非递归序数~~)来输出递归序数。		'''序数塌缩函数(Ordinal Collapsing Function,OCF)'''是一种[[序数]]函数。它们的特点是利用足够大的序数(通常是[[非递归序数]])来输出递归序数。