ウィキペディア |
 
|
アロンゾ・チャーチ
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2011/12/14 01:31 UTC 版)
アロンゾ・チャーチ（Alonzo Church, 1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者。ラムダ計算の創案者、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。
[続きの解説]
「アロンゾ・チャーチ」の続きの解説一覧
- 1 アロンゾ・チャーチとは
- 2 アロンゾ・チャーチの概要
固有名詞の分類
| 20世紀の数学者 |
ヘルマン・ワイル ポール・エルデシュ アロンゾ・チャーチ 鈴木治夫 ゲオルク・カントール |
| アメリカ合衆国の数学者 |
ヒュー・ウッディン ニール・スローン アロンゾ・チャーチ ドナルド・クヌース リチャード・ハミング |
| 論理学者 |
ヒュー・ウッディン チャールズ・サンダース・パース アロンゾ・チャーチ 論理学 ベルナルト・ボルツァーノ |
アロンゾ・チャーチのページへのリンク
