アロンゾ・チャーチ

意味・説明・定義・用語集

アロンゾ・チャーチ

百科事典から

アロンゾ・チャーチ(Alonzo Church, 1903年6月14日 - 1995年8月11日)はアメリカ論理学者数学者ラムダ計算の創案者、「チャーチ=チューリングのテーゼ」の提唱者として知られる。

英語: Alonzo Church

タッグ

リンク集

もっと探す: