2025年12月9日
church函数与区间算术
摘要： 上一篇随笔漏了练习2.5和2.6，这边补充一下。 练习2.5要求证明如果能够将a和b的序对表示为乘积(2a)*(3b)对应的整数，我们可以只用非负整数和算术运算表示序对。 这个表述有点绕口，我最初理解为用(2a)*(3b)表示任意整数，但这是做不到的（在a和b都为非负整数的情况下）；而如果是通过(2 阅读全文
posted @ 2025-12-09 19:59 檐上落白luckin 阅读(4) 评论(0) 推荐(0)