الاستعلام على حساب التفاضل والتكامل Lambda

Question

الاستمرار في التمارين في الكتاب حساب التفاضل والتكامل لامدا, السؤال هو كما يلي:

لنفترض أن رمز الأبجدية λ-calculus هو دائمًا 0.5 سم. اكتب على المدى المدى بطول أقل من 20 سم لها شكل عادي بطول على الأقل (10^10)^10 Lightyear. سرعة الضوء هي c = 3 * (10^10) سم/ثانية.

ليس لدي أي فكرة على الإطلاق حول ما يجب القيام به في هذا السؤال. هل يمكن لأي شخص أن يعطيني بعضًا مؤشرات للمساعدة في فهم السؤال وما الذي يجب القيام به هنا؟ من فضلك لا تحل أو ذكر الإجابة النهائية.

على أمل الرد.

التحيات ، داركي

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 ، الطريقة النموذجية لتمثيل عدد صحيح هي عن طريق ترميز كنيستها ، وهو أ أحادي التمثيل. لذا ، إذا قمت بتحويل المسافات إلى أرقام ، فإن الشيء الوحيد الذي من شأنه أن يقوم بالخدعة هو وظيفة صغيرة ، عند تطبيقها على عدد صغير ، تنتهي وينتج عددًا كبيرًا جدًا.