アロンゾ・チャーチとプログラミング言語間の類似点
アロンゾ・チャーチとプログラミング言語は(ユニオンペディアに)共通で3ものを持っています: 型理論、ラムダ計算、アラン・チューリング。
型理論
型理論(かたりろん、Type theory)は、数理論理学の一分野であり、「型」の階層を構築し、それぞれの型に数学的(あるいはそれ以外の)実体を割り当てるものである。階型理論(かいけいりろん、Theory of Types)とも。ある型のオブジェクトはその前提となる型のオブジェクトから構築される。この場合の「型」とは形而上的な意味での「型」である。バートランド・ラッセルは、彼が発見したラッセルのパラドックスにより素朴集合論の問題が明らかにされたことを受けて、型理論を構築した。型理論の詳細はホワイトヘッドとラッセルの 『プリンキピア・マテマティカ』にある。 型理論は、プログラミング言語の理論における型システムのベースにもなっている。「型システム」と「型理論」の語はほぼ同義として扱われることもあるが、ここでは、この記事では数理論理学の範囲を説明し、プログラミング言語の理論については型システムの記事で説明する。.
アロンゾ・チャーチと型理論 · プログラミング言語と型理論 ·
ラムダ計算
ラムダ計算(ラムダけいさん、lambda calculus)は、計算模型のひとつで、計算の実行を関数への引数の評価(evaluation)と適用(application)としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を(否定的に)解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論など、計算機科学のいろいろなところで使われており、特にLISP、ML、Haskellといった関数型プログラミング言語の理論的基盤として、その誕生に大きな役割を果たした。 ラムダ計算は1つの変換規則(変数置換)と1つの関数定義規則のみを持つ、最小の(ユニバーサルな)プログラミング言語であるということもできる。ここでいう「ユニバーサルな」とは、全ての計算可能な関数が表現でき正しく評価されるという意味である。これは、ラムダ計算がチューリングマシンと等価な数理モデルであることを意味している。チューリングマシンがハードウェア的なモデル化であるのに対し、ラムダ計算はよりソフトウェア的なアプローチをとっている。 この記事ではチャーチが提唱した元来のいわゆる「型無しラムダ計算」について述べている。その後これを元にして「型付きラムダ計算」という体系も提唱されている。.
アロンゾ・チャーチとラムダ計算 · プログラミング言語とラムダ計算 ·
アラン・チューリング
アラン・マシスン・チューリング(Alan Mathieson Turing、〔テュァリング〕, 1912年6月23日 - 1954年6月7日)はイギリスの数学者、論理学者、暗号解読者、コンピュータ科学者。.
上記のリストは以下の質問に答えます
- 何アロンゾ・チャーチとプログラミング言語ことは共通しています
- 何がアロンゾ・チャーチとプログラミング言語間の類似点があります
アロンゾ・チャーチとプログラミング言語の間の比較
プログラミング言語が146を有しているアロンゾ・チャーチは、43の関係を有しています。 彼らは一般的な3で持っているように、ジャカード指数は1.59%です = 3 / (43 + 146)。
参考文献
この記事では、アロンゾ・チャーチとプログラミング言語との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください: