おくやみ：アロンゾ・チャーチ氏
アメリカの数学者、論理学者
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] は、この分野の古典の一つとして読み継がれている。
http://wikipedia.simpleapi.net/ja/370270/
関連するブログ記事
... ヒルベルト(ヒルベルト・プログラム)、ゲーデル(不完全性定理)、 ノイマン (あまり関係ないけど)、アロンゾ・チャーチ( ラムダ計算 )、 チューリング (ラムダ計算)、クリーネ( 正規表現 の発明者)、 ハスケル といった天才たちが関わっています。 ...
買本 意味と必然性，大森荘蔵－哲学の見本 - 世界を図書館により
... アロンゾ・チャーチへの回答 Ｄ．自然言語における意味と同義 Ｅ．語用論のいくつかの概念について 『大森荘蔵－哲学の見本』（講談社）野矢茂樹 目 次 １ 「超越」という問題 物と ...
... 映画評論家（* 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 ...
関連するWebページ
アロンゾ・チャーチ. 出典: フリー百科事典『ウィキペディア(Wikipedia) ... アロンゾ・チャーチ(Alonzo Church, 1903年6月14日 - 1995年8月11日)はアメリカの論理学者、数学者。 ...
アロンゾ・チャーチ (Alonzo Church, 1903-1995 )- アメリカの論理学者、数学者。 シャルロット・チャーチ (Charlotte M. Church, 1986 - )- イギリスのソプラノ歌手。 ...
アロンゾ・チャーチの著作で、変数を含む関係を示す文言を含む論理と量限定記号の領域で、論証の妥当性決定の機械的手順がないと証明した文献のタイトルを調べています。 ... まもなく別の方面にも大きな影響を及ぼすことになった.それはアロンゾ・チャーチの論文 ...
チャーチ - church キリスト教の教会 ... アロンゾ・チャーチ (Alonzo Church, 1903-1995 )- アメリカの論理学者、数学者。 ** シャルロット・チャーチ (Charlotte M. Church, 1986 ...
ハッカー用語集である jargon ファイルには、次のような記述がある。 ... この名前は、アロンゾ・チャーチにより発明された、 LISP と密接に結び付いた 数学形式にちなんだものである。 ... ラムダ式とは、チャーチの考えた関数の記述方法である。 ...
ラムダ計算(もしくはラムダ算法)は、論理学者アロンゾ・チャーチによって考案された、関数の定義と実行を抽象化した計算体系である。 関数を記号ラムダ(λ)を使った式で表記する。 ... 関数抽象 (function abstruction) ...
アロンゾ・チャーチ | English | Dictionary ...
... of アロンゾ・チャーチ to English, Japanese. ... アロンゾ・チャーチ(Alonzo Church, 1903年6月14日 - 1995年8月11日)はアメリカの論理学者、数学者。 ...
アロンゾ・チャーチとスティーヴン・コール・クリーネによって. 1930年代に考案された。 1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を(否定的に)解いた。 ... この記事ではチャーチが提唱した元来のいわゆる ...
オズワルド・ヴェブレン - あのひと検索 SPYSEE [スパイシー]
E3%82%AA%E3%82%BA%E3%83%AF%E3%83%AB%E3%83%89%E3%83%BB%E3%83%B4%E3%82%A7%E3 ... アロンゾ・チャーチ. ミハイル・グロモフ. デニス・サリヴァン. スティーヴン・スメイル ...
論理学者とは、論理学を専門に研究する人のことである。 もともと論理学は哲学の一部門だったため、かつては哲学者が論理学者を兼ねることが多かった。 ... アロンゾ・チャーチ. スティーヴン・コール・クリーネ. クルト・ゲーデル. ゲルハルト・ゲンツェン ...
