翻訳と辞書 Words near each other ・ アロンソ・エドワルド ・ アロンソ・エドワード ・ アロンソ・サンチェス・コエリョ ・ アロンソ・ベルゲテ ・ アロンソ・ペレス・デ・グスマン ・ アロンソ・ムダーラ ・ アロンソ・ロボ ・ アロンソ・ローボ ・ アロンゾ ・ アロンゾ・ジー ・ アロンゾ・チャーチ ・ アロンゾ・ハーディング・モーニングJr. ・ アロンゾ・バーバース ・ アロンゾ・パウエル ・ アロンゾ・モーニング ・ アロンダイト ・ アロンダイト (剣) ・ アロンダイト (競走馬) ・ アロンテ ・ アロンドラ・デ・ラ・パーラ Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク アロンゾ・チャーチ ： ウィキペディア日本語版 アロンゾ・チャーチ アロンゾ・チャーチ（Alonzo Church, 1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者。ラムダ計算の創案者、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。 ==経歴== ワシントンD.C.にて判事の父のもとに生まれ、1924年にプリンストン大学で学士号を取得。同大学院に進み、1927年にはオズワルド・ヴェブレンの指導のもと、公理的集合論に関する論文で博士号を取得した。 その後、ハーヴァード大学、ゲッティンゲン大学等を経て、1929年にプリンストン大学助教授に就任。1939年には準教授、1947年には教授に昇格した。1967年、プリンストン大学を退官し、その後は1990年に退官するまでカリフォルニア大学ロサンゼルス校(UCLA)教授を務めた。特にプリンストン大学時代には、S・C・クリーネ、ジョン・ロッサー、アラン・チューリング、レオン・ヘンキン、デイナ・スコットをはじめとする多くの弟子を育て、アメリカ論理学界に多大な影響力を振るった。プリンストンでの講義ノートをもとに書かれた数理論理学の教科書 [5] は、この分野の古典の一つとして読み継がれている。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「アロンゾ・チャーチ」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.