查询lambda演算

Question

继续在书中进行练习 lambda演算, ，问题如下：

假设λ-calculus字母的符号始终为0.5厘米。写下一个长度小于20 cm的λ学期，其长度至少为长度（10^10）^10光年。光速为C = 3 *（10^10）cm/sec。

我绝对不知道这个问题需要做什么。谁能给我一些 指针 帮助理解这个问题，在这里需要做什么？请不要解决或提及最终答案。

希望答复。

问候，Darkie

Answer 1

我对Lambda微积分一无所知，我理解以下问题：

您必须在少于20厘米的时间内编写λ任期，其中符号为0.5厘米，这意味着您的符号少于40个符号。该λ-期限应扩展到正常形式，至少为（10^10）^10 = 10^100 lightyears，这导致（10^100）*2*3*（10^10）*24* 60*60符号。基本上是非常长的递归功能。

Answer 2

这是另一个提示：在lambda cyculus中，代表整数的典型方法是由教会编码，这是一个 一般 表示。因此，如果您将距离转换为数字，那么可以解决问题的一件事就是一个小函数，当应用于少量数字时，终止并产生了很大的数字。