おくやみ：アロンゾ・チャーチ氏

アメリカの数学者、論理学者
 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より

... この証明はアロンゾ・チャーチのラムダ算法による同等の証明の直後に発表されました。けれども。チューリングの論文のほうが ... 1938年にかけて彼はプリンストン大学においてアロンゾ・チャーチに師事致しました。 1938年、プリンストンで博士号を得 ...

東京都世田谷区の評判山本クリニックの毎日の日記帳平 ... - 高度先進医療の山本クリニック世田谷区東京都の日々毎 ...より

買本意味と必然性，大森荘蔵－哲学の見本 - 世界を図書館により

... アロンゾ・チャーチへの回答Ｄ．自然言語における意味と同義Ｅ．語用論のいくつかの概念について『大森荘蔵－哲学の見本』（講談社）野矢茂樹目次１「超越」という問題物と ...

【 8月11日】 - 今日は何の日より

... 映画評論家（* 1932年） 1994年 - ピーター・カッシング、俳優（* 1913年） 1995年 - アロンゾ・チャーチ、数学者・論理学者（* 1903年） 1995年 - 城戸禮、小説家（* 1909年） 1996年 - ラファエル・クーベリック、指揮者 ...

[Scheme] SICPを読む(23) 1.3.2(2) ラムダについて - ボクノスより

... Λ - Wikipedia JΛL( 日本航空 )はλ教のメンバーだった!!(驚こんなのを発明した人物は・・・アロンゾ・チャーチ - Wikipedia スティーヴン・コール・クリーネ - Wikipedia 正規表現の発明者でもある。 ...

なぜλ計算はλ計算と呼ばれているのか - まめめもより

... x を受け取って 2x+1 を返す関数を次のように書いていました。つまり仮引数の上にハットを置く。これにちなんで、 λ計算の生みの親であるアロンゾ・チャーチは次のように書きました。

やる気の無い文章 - ホワット・ア・ワンダフル・ワールドより

... ラッセル/ホワイトヘッドがいなかったら，ヒルベルトがいなかったら，ゲーデルがいなかったら，チューリングがアロンゾチャーチがノイマンがいなかったら．僕が本当に「できたら素晴らしいなぁ… 」っていうアイデアは，ほとんどがそういう類の奴 (gcc を ...

変わるもの変わらないもの - ホワット・ア・ワンダフル・ワールドより

... いまだ見ぬ，はるか未来の世界を予感していた，偉大なるロジシャン達の洞察．アロンゾ・チャーチ氏とハスケル・カリー氏のまいた種は，その後巨大な大木へと成長し，現在においてもなお，毎年新たな実をたわわに実らせ続けている．そのむくわれた人生と ...

THE HISTORY OF HASKELL の翻訳 - ホワット・ア・ワンダフル・ワールド (この素晴らしき世界， ...より

... Church in 1932 intended to be a foundation for mathematics. ラムダ計算は，1932 年に，数学の基礎付けを目指し，アロンゾ・チャーチにより提唱されました． At first sight it is hard to imagine that such an extremely simple formal language of ...

おくやみ：アロンゾ・チャーチ氏

関連画像

略歴

関連ブログ