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

アメリカの数学者、論理学者
1995年 8月11日 没 享年92

関連画像

以上の表記方法は全て全称量化にも適用可能である 全称量化の他の記法として 次のものがある  一部の記法では 量化範囲を明示的に示している点に注意されたい 量化範囲は常に示すべきだが その数学理論によっては表現方法も つまり仮 引数 の上にハットを置く これにちなんで λ計算 の生みの親であるアロンゾ チャーチは次のように書きました  しかしチャーチの文章を出版するとき 当時の印刷技術ではハット付きの文字が印刷できなかった     ので  ^x 2x+1 と 写植 屋さんが 編集   量化の範囲 それぞれの量化は 1つの特定の変項に関するものであって その変項の 議論領域 あるいは 量化範囲 に関する

関連資料

略歴

アロンゾ・チャーチ(Alonzo Church, 1903年6月14日 - 1995年8月11日)はアメリカ合衆国 アメリカの論理学者、数学者。ラムダ計算の創案者、「チャーチ=チューリングのテーゼ」の提唱者として知られる。
ワシントンD.C.にて判事の父のもとに生まれ、1924年にプリンストン大学で学士号を取得。同大学院に進み、1927年にはオズワルド・ヴェブレンの指導のもと、公理的集合論に関する論文で博士号を取得した。
その後、ハーバード大学 ハーヴァード大学、ゲッティンゲン大学等を経て、1929年にプリンストン大学助教授に就任。1939年には準教授、1947年には教授に昇格した。1967年、プリンストン大学を退官し、その後は1990年に退官するまでカリフォルニア大学ロサンゼルス校教授を務めた。特にプリンストン大学時代には、スティーヴン・コール・クリーネ S・C・クリーネ、ジョン・バークリー・ロッサー ジョン・ロッサー、アラン・チューリング、レオン・ヘンキン、デイナ・スコットをはじめとする多くの弟子を育て、アメリカ論理学界に多大な影響力を振るった。プリンストンでの講義ノートをもとに書かれた数理論理学の教科書 b1944 [5] は、この分野の古典の一つとして読み継がれている。
Wikipediaより

関連ブログ記事

停止性問題 - アットランダムより

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

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

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

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

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

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

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

パズル:泥をつけた院生 - 絶体絶命! 小論文より

... これは有名なパズルで、初出はアロンゾ・チャーチ氏によって1930年代に作成されたものとのこと。 あくまでもパズルなので、「太郎『おまえ、泥ついてるぜ』、次郎『ははは。おまえもだよ』、三郎『二人ともバカだなあ。 ...

関連サイト

アロンゾ・チャーチ - Wikipedia

アロンゾ・チャーチ. 出典: フリー百科事典『ウィキペディア(Wikipedia) ... アロンゾ・チャーチ(Alonzo Church, 1903年6月14日 - 1995年8月11日)はアメリカの論理学者、数学者。 ...

チャーチ - Wikipedia

アロンゾ・チャーチ (Alonzo Church, 1903-1995 )- アメリカの論理学者、数学者。 シャルロット・チャーチ (Charlotte M. Church, 1986 - )- イギリスのソプラノ歌手。 ...

数式 - ディスマス

が一定の規則にのっとって結合された、文字列のことである。 一般に数式には、その値 (value) とよばれるものが定められており、 ... 数式やその評価について、その定式化は、1930年代のアロンゾ・チャーチやステファン・クリーンのラムダ計算 ...

アロンゾ・チャーチ | RFMSケータイページ検索サイト

アロンゾ・チャーチ(Alonzo Church, 1903年6月14日 - 1995年8月11日)はアメリカの論理学者、数学者。 ... この間に彼がリヴューを執筆した論文は膨大な量にのぼり、この仕事はチャーチのライフワークともいえるものだった。 ...

レファレンス協同データベース

アロンゾ・チャーチの著作で、変数を含む関係を示す文言を含む論理と量限定記号の領域で、論証の妥当性決定の機械的手順がないと証明した文献のタイトルを調べています。 ... まもなく別の方面にも大きな影響を及ぼすことになった.それはアロンゾ・チャーチの論文 ...

量化 - ディスマス

量化(りょうか、英: Quantification)とは、言語や論理学において、論理式が適用される(または満足される)議論領域の個体の ... また、ウィラード・ヴァン・オーマン・クワインとアロンゾ・チャーチも生涯を通じて、ペアノの記法を使用した。 ...

アラン・チューリング プロフィール - あのひと検索 SPYSEE [スパイシー]

この証明はアロンゾ・チャーチのラムダ算法による同等の証明の直後に発表されたが、チューリングの論文のほうがずっとわかりやすく直感的であった。 ... 1937年から1938年にかけて彼はプリンストン大学においてアロンゾ・チャーチに師事し、1938年、 ...

カール・ヒューイット プロフィール - あのひと検索 SPYSEE [スパイシー]

カール・ヒューイット(Carl E. Hewitt)は、マサチューセッツ工科大学(MIT) ... アロンゾ・チャーチ. アロンゾ・チャーチ(Alonzo Church, 1903年6月14日 - 1995年8月11日)はアメリカの論理学者...

lambda

λ計算は数学者アロンゾ・チャーチが発明した「計算体系」です。 ... チャーチ、チューリングともに偉大な数学者ですが一般的知名度には大きな差があります。 ... チャーチとチューリングは同時代の人で同じ研究機関に所属していたこともあったそうです。 ...

データモデリング

この年、プリンストン大学のアロンゾ・チャーチ氏がλ式を発表した。 チャーチが発表した論文「An unsolvable problem of elementary number ... λ式とは、アロンゾ・チャーチ氏によって考案された計算モデルである。 ...