ラムダ計算のクエリ

Question

本の運動を続けます ラムダ計算, 、質問は次のとおりです。

λ-カルクルスアルファベットのシンボルが常に0.5cmの幅であると仮定します。長さ20 cm未満のλ項を書き留めてください。少なくとも（10^10）^10 Lightyearの長さの通常のフォームがあります。光の速度はc = 3 *（10^10）cm/秒です。

私はこの質問で何をする必要があるかについてはまったく知りません。誰かが私にいくつかを与えてもらえますか ポインター 質問を理解するのに役立ち、ここで何をする必要がありますか？最後の答えを解決または言及しないでください。

返信を期待しています。

よろしく、ダーク

Answer 1

ラムダの微積分について何も知らないので、私は次のような質問を理解しています：

シンボルが0.5cm未満である20 cm未満でλ項を記述する必要があります。つまり、40未満のシンボルが許可されています。このλ項は、少なくとも（10^10）^10 = 10^100軽量の長さで通常の形に拡張する必要があります。 60*60シンボル。基本的に非常に長い再帰機能。

Answer 2

別のヒントは次のとおりです。Lambda計算では、整数を表す典型的な方法は、教会のエンコードです。 単項 表現。したがって、距離を数値に変換すると、トリックを行うことの1つは、少数に適用すると非常に多くの数を終了して生成する小さな関数になります。