アロンゾ・チャーチ
ウィキペディア フリーな encyclopedia
アロンゾ・チャーチ(Alonzo Church、1903年6月14日 - 1995年8月11日)はアメリカの論理学者、数学者である。ラムダ計算の創案者や、「チャーチ=チューリングのテーゼ」の提唱者として知られる。
概要 アロンゾ・チャーチAlonzo Church, 生誕 ...
アロンゾ・チャーチ Alonzo Church | |
---|---|
生誕 |
(1903-06-14) 1903年6月14日 アメリカ合衆国 ワシントンD.C. |
死没 |
1995年8月11日(1995-08-11)(92歳) アメリカ合衆国 オハイオ州 ハドソン(英語版) |
居住 | アメリカ合衆国 |
国籍 | アメリカ合衆国 |
研究分野 | 数学、論理学 |
研究機関 |
プリンストン大学(1929年-1967年) カリフォルニア大学ロサンゼルス校(1967年-1995年) |
出身校 | プリンストン大学 |
論文 | Alternatives to Zermelo's Assumption (1927) |
博士課程 指導教員 | オズワルド・ヴェブレン |
博士課程 指導学生 |
C. Anthony Anderson Peter B. Andrews George Alfred Barnard Martin Davis レオン・ヘンキン David Kaplan ジョン・ジョージ・ケメニー スティーヴン・コール・クリーネ Gary R. Mar マイケル・ラビン Hartley Rogers ジョン・バークリー・ロッサー デイナ・スコット レイモンド・スマリヤン アラン・チューリング |
主な業績 |
ラムダ計算 チャーチ=チューリングのテーゼ フレーゲ=チャーチのオントロジー(英語版) チャーチ・ロッサーの定理 |
プロジェクト:人物伝 | |
テンプレートを表示 |
閉じる