Requête sur le calcul Lambda

Question

Poursuite des exercices dans le livre Lambda Calcul , la question est la suivante :

  

Supposons qu'un symbole de-calcul λ   alphabet est toujours 0.5cm de large. Écrire   en bas d'une durée λ d'une longueur inférieure à 20   cm ayant une forme normale d'une longueur à   moins (10 ^ 10) ^ 10 lightyear. La vitesse   de la lumière est c = 3 * (10 ^ 10) cm / s.

Je n'ai absolument aucune idée de ce qui doit être fait dans cette question. Quelqu'un peut-il s'il vous plaît me donner quelques pointeurs pour aider à comprendre la question et ce qui doit être fait ici? S'il vous plaît ne résolvent pas ou mentionner la réponse finale.

En espérant une réponse.

Cordialement, darkie

Answer 1

Ne sachant pas quoi que ce soit au sujet du calcul lambda, je comprends la question suivante:

Vous devez écrire un λ-terme en moins de 20 cm, où un symbole est 0.5cm, ce qui signifie que vous êtes autorisé à moins de 40 symboles. Cette λ terme devrait augmenter à une forme normale à la longueur d'au moins (10 ^ 10) ^ 10 = 10 ^ 100 lightyears, ce qui conduit à (10 ^ 100) * 2 * 3 * (10 ^ 10) * 24 * 60 * 60 symboles. Fondamentalement, une fonction très longue récursive.

Answer 2

Voici une autre astuce: dans lambda calcul, la manière typique de représenter un entier est par son Eglise encodage, ce qui est un unaire représentation. Donc, si vous convertissez les distances en chiffres, une chose qui ferait l'affaire serait une petite fonction qui, lorsqu'elle est appliquée à un petit nombre, et produit un se termine très grand nombre.