普遍认为64位整数的极限是$2^{64}-1$,但最新研究表明,通过Lambda演算这一极简编程模型,我们可以在仅64位的代码空间内定义出远超“葛立恒数”的天文数值。文章详细对比了图灵机与Lambda演算在Busy Beaver游戏中的表现,指出后者因更高的可编程性,能用更少的比特数(61位)生成巨大的数学实体。这一发现不仅刷新了“代码高尔夫”的记录,也为计算复杂性理论中关于不同计算模型效率的争论提供了有力实证。
原文链接:Hacker News
普遍认为64位整数的极限是$2^{64}-1$,但最新研究表明,通过Lambda演算这一极简编程模型,我们可以在仅64位的代码空间内定义出远超“葛立恒数”的天文数值。文章详细对比了图灵机与Lambda演算在Busy Beaver游戏中的表现,指出后者因更高的可编程性,能用更少的比特数(61位)生成巨大的数学实体。这一发现不仅刷新了“代码高尔夫”的记录,也为计算复杂性理论中关于不同计算模型效率的争论提供了有力实证。
原文链接:Hacker News
评论前必须登录!
立即登录 注册