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

2025年7月4日 (五) 00:04的版本

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

2025年7月3日 (四) 22:47的版本查看源代码 Phyrion（留言 \| 贡献）行政员、界面管理员、管理员 643次编辑小无编辑摘要标签：可视化编辑 ←上一编辑		2025年7月4日 (五) 00:04的版本查看源代码 Z（留言 \| 贡献）监督员、管理员 617次编辑小无编辑摘要标签：可视化编辑下一编辑→
第1行：		第1行：
	'''序数塌缩函数(Ordinal Collapsing Function,OCF)'''是一种[[序数]]函数。它们的特点是利用足够大的序数(通常是[[非递归序数]])来输出递归序数。		'''序数塌缩函数(Ordinal Collapsing Function,OCF)'''是一种[[序数]]函数。它们的特点是利用足够大的序数(通常是[[非递归序数]])来输出递归序数。
			[[分类:记号]]