アロンゾ・チャーチとは? わかりやすく解説

Weblio 辞書 > 固有名詞の種類 > 人名 > 学者・研究者 > 数学者 > 20世紀の数学者 > アロンゾ・チャーチの意味・解説 

アロンゾ・チャーチ

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/05/03 05:57 UTC 版)

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




「アロンゾ・チャーチ」の続きの解説一覧




固有名詞の分類


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「アロンゾ・チャーチ」の関連用語

アロンゾ・チャーチのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



アロンゾ・チャーチのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのアロンゾ・チャーチ (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2024 GRAS Group, Inc.RSS