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

Question

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

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

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

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

С уважением, Негр

Answer 1

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

Answer 2

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

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