Запрос на лямбда исчисление

Question

Продолжая упражнения в книге Лямбда исчисления, Вопрос следующий:

Предположим, символ алфавита Λ-исчисления всегда составляет 0,5 см. Запишите λ-термин с длиной менее 20 см, имея нормальную форму длиной, по меньшей мере, (10 ^ 10) ^ 10 легкомысленно. Скорость света C = 3 * (10 ^ 10) см / сек.

Я не имею абсолютно понятия о том, что нужно сделать в этом вопросе. Может кто-нибудь, пожалуйста, дай мне немного указатели Чтобы помочь понять вопрос и что нужно сделать здесь? Пожалуйста, не решайте и не упомяните окончательный ответ.

Надеясь на ответ.

С уважением, Динри

Answer 1

Не зная ничего о лямбда-исчислении, я понимаю вопрос следующим:

Вы должны написать λ-термин менее чем за 20 см, где символ составляет 0,5 см, что означает, что вам разрешено менее 40 символов. Этот λ-термин должен расширяться до нормальной формы с длиной, по меньшей мере, (10 ^ 10) ^ 10 = 10 ^ 100 легких, что приводит к (10 ^ 100) * 2 * 3 * (10 ^ 10) * 24 * 60 * 60 символов. В основном очень длительная рекурсивная функция.

Answer 2

Вот еще один подсказку: в исчислении лямбда, типичный способ представлять целое число - это его церковная кодировка, что является одинарный представление. Поэтому, если вы преобразуете расстояния в цифры, одно, что бы сделать, трюк, будет небольшая функция, которая применилась к небольшому количеству, заканчивается и производит очень большое количество.