「ラムダ計算と無限ラムダ多項式」では呼び出しの深さが有限のクロージャーを含む式を表すための「有限ラムダ多項式」を定義しましたが、これは「一般マグマの多項式」と同様のものでした。呼び出しの深さが有限なのでクロージャーを除去することはできると…

このブログでは有限時間で終了する論理プログラミングと無限の時間動作する論理プログラミングの関係をフラクタルの考え方で表すことはできないかと以前考えていましたが、その件は今は中断しています。今後はクロージャーではどうなるか考えてみたいと思っ…

関数の再帰的定義 ここではある形の関数の再帰的定義について考えます。 に対して を と定義します。、 とおきます。、 とおくと は を満たす最小の集合となります。 に対して と定義します。 とおくと が成り立つので、自然数の性質より となります。計算可…