本Lambda Calculusの演習を続けると、問題は次のようになります。
λ微積分アルファベットの記号は常に幅 0.5cm であると仮定します。少なくとも (10^10)^10 光年の長さを持つ通常の形を持つ、長さが 20 cm 未満の λ 項を書き留めます。光の速度は c = 3 * (10^10) cm/秒です。
この質問で何をする必要があるかについては、まったくわかりません。質問とここで何をする必要があるかを理解するのに役立つヒントを教えてください。最終的な答えを解決したり言及したりしないでください。
返信を願っています。
よろしく、ダーキー
もう 1 つのヒントは次のとおりです。ラムダ計算では、整数を表現する一般的な方法は、単項表現であるチャーチ エンコーディングによるものです。したがって、距離を数値に変換する場合、このトリックを行う 1 つの方法は、小さい数値に適用すると終了して非常に大きな数値を生成する小さな関数です。
ラムダ計算について何も知らないので、次のように質問を理解しています。
記号が 0.5cm の場合、λ 項は 20 cm 未満で記述する必要があります。つまり、40 個未満の記号が許可されます。この λ 項は、少なくとも (10^10)^10 = 10^100 光年の長さを持つ正規形に展開する必要があり、結果は (10^100)*2*3*(10^10)*24* になります。 60*60 シンボル。基本的に非常に長い再帰関数です。