アロンゾ・チャーチ

Get Babylon's Translation Software!

Free Download Now!

Babylon 8 - Your all-in-one solution

Award winning translation software trusted by millions. Translate from any language to any language.

Wikipedia 日本語 - フリー百科事典

この辞書をダウンロードする

アロンゾ・チャーチ

アロンゾ・チャーチ（Alonzo Church, 1903年 6月14日 - 1995年 8月11日）はアメリカの論理学者、数学者。ラムダ計算の創案者、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。
Wikipedia.orgをもっと見ると…

この記事はウィキペディア^TMの内容を用いておりGNU Free Documentation License のライセンスのもとに提供されています。

Define アロンゾ・チャーチ

Translate アロンゾ・チャーチ