おくやみ：アロンゾ・チャーチ氏
アメリカの数学者、論理学者
1995年 8月11日 没 享年92
略歴
アロンゾ・チャーチ（Alonzo Church, 1903年6月14日 - 1995年8月11日）はアメリカ合衆国 アメリカの論理学者、数学者。ラムダ計算の創案者、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。
ワシントンD.C.にて判事の父のもとに生まれ、1924年にプリンストン大学で学士号を取得。同大学院に進み、1927年にはオズワルド・ヴェブレンの指導のもと、公理的集合論に関する論文で博士号を取得した。
その後、ハーバード大学 ハーヴァード大学、ゲッティンゲン大学等を経て、1929年にプリンストン大学助教授に就任。1939年には準教授、1947年には教授に昇格した。1967年、プリンストン大学を退官し、その後は1990年に退官するまでカリフォルニア大学ロサンゼルス校教授を務めた。特にプリンストン大学時代には、スティーヴン・コール・クリーネ S・C・クリーネ、ジョン・バークリー・ロッサー ジョン・ロッサー、アラン・チューリング、レオン・ヘンキン、デイナ・スコットをはじめとする多くの弟子を育て、アメリカ論理学界に多大な影響力を振るった。プリンストンでの講義ノートをもとに書かれた数理論理学の教科書 b1944 [5] は、この分野の古典の一つとして読み継がれている。
Wikipediaより
関連ブログ記事
東京 都 世田谷 区 の 評判 山本クリニックの毎日の日記帳平 ... - 高度先進医療の山本クリニック 世田谷 区 東京 都 の日々毎 ...より
... 日本海軍の大佐（* 1904年） 1994年 - ピーター・カッシング、俳優（* 1913年） 1995年 - アロンゾ・チャーチ、数学者・論理学者（* 1903年） 1995年 - 城戸禮、小説家（* 1909年） 1996年 - ラファエル・クーベリック、指揮者 ...
... この証明はアロンゾ・チャーチのラムダ算法による同等の証明の直後に発表されたが、チューリングの論文 ... 1938年にかけて彼はプリンストン大学においてアロンゾ・チャーチに師事し、1938年、プリンストンで博士号を得ている。 ...
買本 意味と必然性，大森荘蔵－哲学の見本 - 世界を図書館により
... アロンゾ・チャーチへの回答 Ｄ．自然言語における意味と同義 Ｅ．語用論のいくつかの概念について 『大森荘蔵－哲学の見本』（講談社）野矢茂樹 目 次 １ 「超越」という ...
[Scheme] SICPを読む(23) 1.3.2(2) ラムダについて - ボクノスより
... Λ - Wikipedia JΛL( 日本航空 )はλ教の メンバー だった!!(驚 こんなのを 発明 した人物は・・・ アロンゾ・チャーチ - Wikipedia スティーヴン・コール・クリーネ - Wikipedia 正規表現 の 発明 者でもある。 ...
やる気の無い文章 - ホワット・ア・ワンダフル・ワールドより
... ラッセル/ホワイトヘッドがいなかったら，ヒルベルトがいなかったら，ゲーデルがいなかったら，チューリングがアロンゾチャーチがノイマンがいなかったら． 僕が本当に 「できたら素晴らしいなぁ… 」 っていうアイデアは，ほとんどがそういう ...
... これは有名なパズルで、初出はアロンゾ・チャーチ氏によって１９３０年代に作成されたものとのこと。 あくまでもパズルなので、「太郎『おまえ、泥ついてるぜ』、次郎『ははは。おまえもだよ』、三郎『二人ともバカだなあ。 ...
