アロンゾ＝チャーチの情報（AlonzoChurch） 数学者 芸能人・有名人Wiki検索[誕生日、年齢、出身地、星座]
アロンゾ＝チャーチさんについて調べます
|
■名前・氏名 |
|
|
アロンゾ＝チャーチと同じ出身地の人 |
アロンゾ＝チャーチの情報まとめ
アロンゾ＝チャーチ(Alonzo Church)さんの誕生日は1903年6月14日です。
1995年に亡くなられているようです。
アロンゾ＝チャーチのプロフィール Wikipedia（ウィキペディア）アロンゾ・チャーチ（Alonzo Church、1903年6月14日 - 1995年8月11日）はアメリカの論理学者、数学者である。ラムダ計算の創案者や、「チャーチ＝チューリングのテーゼ」の提唱者として知られる。 ワシントンD.C.にて判事の父のもとに生まれ、1924年にプリンストン大学で学士号を取得した。同大学院に進み、1927年にはオズワルド・ヴェブレンの指導のもと、公理的集合論に関する論文で博士号を取得した。 その後、ハーヴァード大学、ゲッティンゲン大学等を経て、1929年にプリンストン大学助教授に就任。1939年には準教授、1947年には教授に昇格した。1967年、プリンストン大学を退官し、その後は1990年に退官するまでカリフォルニア大学ロサンゼルス校（UCLA）教授を務めた。特にプリンストン大学時代には、S・C・クリーネ、ジョン・ロッサー、アラン・チューリング、レオン・ヘンキン、デイナ・スコットをはじめとする多くの弟子を育て、アメリカ論理学界に多大な影響を与えた。プリンストンでの講義ノートをもとに書かれた数理論理学の教科書 [5] は、この分野の古典の一つとして読み継がれている。 チャーチの業績は多岐にわたっているが、主なものとしては、 「チャーチ＝チューリングのテーゼ」の提唱 [1] 1階述語論理の決定不可能性証明 [2] ラムダ計算の創案 [4] が挙げられる。この他にも、公理的集合論、型理論、内包論理に関する業績があり、また数理論理学分野以外では、微分方程式論やラプラス変換に関する仕事もある。 チャーチは『記号論理学雑誌』（Journal of Symbolic Logic）の創刊者の一人に名を連ねており、創刊された1936年から1979年にかけて、同誌のリヴュー部門編集者を務めた。この間に彼がリヴューを執筆した論文は膨大な量にのぼり、この仕事はチャーチのライフワークともいえるものだった。チャーチは1967年にプリンストン大学からカリフォルニア大学ロサンゼルス校へと移ったが、これは、プリンストンがこのリヴュー編集への支援を打ち切ったことが原因だと言われている。 また、1936年に彼が編纂した『記号論理学文献表』[3] は、その時点までに出版されたほぼすべての論理学文献を網羅し、その一つ一つに注釈をつけたものであり、これは「論理学文献の博物学者」ともいうべきチャーチの面目躍如たる仕事である。 [1] "An unsolvable problem in elementary number theory," American Journal of Mathematics, Vol. 58, 1936, pp. 345-363. [2] "A note on the Entscheidungsproblem," Journal of Symbolic Logic, Vol. 1, 1936, pp. 40-41. [3] "A bibliography of symbolic logic," Journal of Symbolic Logic Vol. 1, 1936, pp. 121-218; Vol. 3, 1938, pp. 178-212. Revised and expanded edition reissued by ASL, 1985 (ISBN 0821800841). [4] The Calculi of Lambda Conversion, Princeton University Press, 1941. [5] Introduction to Mathematical Logic, Part I, Princeton University Press, 1944; Revised and enlarged edition, 1956 (ISBN 0691079846). チャーチによるレヴューの一覧 FAST ISNI VIAF WorldCat ノルウェー フランス BnF data ドイツ イタリア イスラエル アメリカ スウェーデン チェコ オーストラリア クロアチア オランダ ポーランド 計算機協会 CiNii Books CiNii Research DBLP MathSciNet Mathematics Genealogy Project zbMATH Trove（オーストラリア）
SNAC IdRef 20世紀の論理学者 20世紀の数学者 アメリカ合衆国の数学者 アメリカ合衆国の論理学者 計算可能性理論の研究者 形式手法の人物 述語論理 イギリス学士院客員フェロー プリンストン大学出身の人物 ハーバード大学出身の人物 カリフォルニア大学ロサンゼルス校の教員 プリンストン大学の教員 ワシントンD.C.出身の人物 カリフォルニア州の哲学者 ニュージャージー州の哲学者 ワシントンD.C.の数学者 1903年生 1995年没 数学に関する記事 FAST識別子が指定されている記事 ISNI識別子が指定されている記事 VIAF識別子が指定されている記事 WorldCat Entities識別子が指定されている記事 BIBSYS識別子が指定されている記事 BNF識別子が指定されている記事 BNFdata識別子が指定されている記事 GND識別子が指定されている記事 ICCU識別子が指定されている記事 J9U識別子が指定されている記事 LCCN識別子が指定されている記事 Libris識別子が指定されている記事 NKC識別子が指定されている記事 NLA識別子が指定されている記事 NSK識別子が指定されている記事 NTA識別子が指定されている記事 PLWABN識別子が指定されている記事 ACM-DL識別子が指定されている記事 CINII識別子が指定されている記事 CRID識別子が指定されている記事 DBLP識別子が指定されている記事 MATHSN識別子が指定されている記事 MGP識別子が指定されている記事 ZBMATH識別子が指定されている記事 Trove識別子が指定されている記事 SNAC-ID識別子が指定されている記事 SUDOC識別子が指定されている記事 ISBNマジックリンクを使用しているページ
2025/01/27 11:54更新
|
Alonzo Church
アロンゾ＝チャーチと同じ誕生日6月14日生まれの人
TOPニュース
アロンゾ＝チャーチと近い名前の人
話題のアホネイター
この記事は、クリエイティブ・コモンズ・表示・継承ライセンス3.0のもとで公表されたウィキペディアの項目「アロンゾ＝チャーチ」を素材として二次利用しています。