「アロンゾ・チャーチ」の版間の差分
削除された内容 追加された内容
m ボット: 言語間リンク 34 件をウィキデータ上の (d:Q92741 に転記) |
英語版よりinfobox |
||
1行目:
{{Infobox scientist
| name = アロンゾ・チャーチ<br/>Alonzo Church
| image =
| caption =
| birth_date = {{Birth date|1903|6|14}}
| birth_place = {{USA}} [[ワシントンD.C.]]
| death_date = {{death date and age|1995|8|11|1903|6|14}}
| death_place = {{USA}} [[オハイオ州]] {{仮リンク|ハドソン (オハイオ州)|en|Hudson, Ohio|label=ハドソン}}
| residence = {{USA}}
| nationality = {{USA}}
| field = [[数学]]、[[論理学]]
| work_institution = [[プリンストン大学]]（1929年-1967年）<br/>[[カリフォルニア大学ロサンゼルス校]]（1967年-1995年）
| alma_mater = [[プリンストン大学]]
| doctoral_advisor = [[オズワルド・ヴェブレン]]
| doctoral_students = [[:en:C. Anthony Anderson|C. Anthony Anderson]]<br/>[[:en:Peter B. Andrews|Peter B. Andrews]]<br/>[[:en:George Alfred Barnard|George Alfred Barnard]]<br/>[[:en:Martin Davis|Martin Davis]]<br/>[[レオン・ヘンキン]]<br/>[[:en:David Kaplan (philosopher)|David Kaplan]]<br/>[[ジョン・ジョージ・ケメニー]]<br/>[[スティーヴン・コール・クリーネ]]<br/>[[:en:Gary R. Mar|Gary R. Mar]]<br/>[[マイケル・ラビン]]<br/>[[:en:Hartley Rogers, Jr.|Hartley Rogers]]<br/>[[ジョン・バークリー・ロッサー]]<br/>[[デイナ・スコット]]<br/>[[レイモンド・スマリヤン]]<br/>[[アラン・チューリング]]
| known_for = [[ラムダ計算]]<br/>[[チャーチ＝チューリングのテーゼ]]<br/>{{仮リンク|フレーゲ＝チャーチのオントロジー|en|Frege–Church ontology}}<br/>[[チャーチ・ロッサーの定理]]
| thesis_title = Alternatives to Zermelo's Assumption
| thesis_url = http://www.ams.org/journals/tran/1927-029-01/S0002-9947-1927-1501383-1/
| thesis_year = 1927
}}
'''アロンゾ・チャーチ'''（Alonzo Church, [[1903年]][[6月14日]] - [[1995年]][[8月11日]]）は[[アメリカ合衆国|アメリカ]]の[[論理学者]]、[[数学者]]。[[ラムダ計算]]の創案者、「[[チャーチ＝チューリングのテーゼ]]」の提唱者として知られる。
| |||