Abfrage auf Lambda-Kalkül

Question

Weiter auf Übungen in Buch Lambda-Kalkül , ist die Frage, wie folgt :

  

Angenommen, ein Symbol für das ?-Kalkül   Alphabet ist immer 0,5 cm breit. Schreiben   unten ein ?-Term mit einer Länge von weniger als 20   cm Länge mit einer Normalform an   mindestens (10 ^ 10) 10 ^ Lightyear. Die Geschwindigkeit   des Lichts ist c = 3 * (10 ^ 10) cm / sec.

Ich habe absolut keine Ahnung, was in dieser Frage getan werden muss. einige Zeiger , um die Frage verstehen geben kann mir jemand bitte und was muss hier getan werden? Bitte nicht lösen oder die endgültige Antwort erwähnen.

Hoffnung auf eine Antwort.

Viele Grüße, darkie

Answer 1

nichts über Lambda-Kalkül zu wissen, verstehe ich die Frage, wie folgend:

Sie haben einen ?-Term in weniger als 20 cm zu schreiben, wo ein Symbol 0.5cm ist, das heißt, Sie dürfen weniger als 40 Symbole. Diese ? Zeit sollte mit der Länge von mindestens (10 ^ 10) ^ 10 = 10 ^ 100 Lichtjahre, was in (10 ^ 100) * 2 * 3 * (10 ^ 10) * 24 in einer Normalform erweitern * 60 * 60 Symbole. Im Grunde eine sehr lange rekursive Funktion.

Answer 2

Hier ist ein weiterer Hinweis: in Lambda-Kalkül, die typische Art und Weise eine ganze Zahl darstellt durch seine Kirche Codierung ist, die eine einstellige Darstellung. Wenn Sie also die Abstände in Zahlen zu konvertieren, ist eine Sache, die den Trick tun würde, wäre eine kleine Funktion, die bei der Anwendung auf eine kleine Zahl, beendet und eine sehr große Anzahl produziert.