ラムダ計算（λ-微積分とも呼ばれる）は、関数の抽象化と変数のバインドと置換を使用したアプリケーションに基づいて計算を表現するための数理論理学の形式的なシステムです。関数定義（Mはラムダ項です）。変数xは式でバインドされます。

上記のほかに、なぜラムダ計算がコンピュータサイエンスで重要なのですか？コンピュータプログラミングにおける抽象化の価値を知ることは不可欠です（数学ではない場合）。ラムダ計算は、数学を関数に抽象化し、次に抽象化することです。実際には、ラムダ計算またはそれに基づく言語は、わずかな労力でかなりの量の作業を行うことを意味します。

これを考慮して、ラムダ計算チューリングは完了していますか？

型なしラムダ計算はチューリング完全ですが、システムFを含む多くの型付きラムダ計算はそうで​​はありません。型付きシステムの価値は、より多くのエラーを検出しながら、最も一般的なコンピュータープログラムを表現する能力に基づいています。 Rule110とConwayのGameof Lifeは、どちらもセルオートマトンであり、チューリング完全です。

λは何の略ですか？

ラムダ（大文字/小文字のΛλ ）はギリシャ語のアルファベットの文字で、古代ギリシャ語と現代ギリシャ語の「l」音を表すために使用されます。ギリシャ数字の体系では、値は30です。これからの文字には、ローマ数字とキリル文字が含まれます。波長の記号として使用されます。