ハスケル＝カリーの情報（HaskellBrooksCurry） 数学者、論理学者 芸能人・有名人Wiki検索[誕生日、年齢、出身地、星座]
ハスケル＝カリーさんについて調べます
|
■名前・氏名 |
|
|
ハスケル＝カリーと同じ出身地の人 |
ハスケル＝カリーの情報まとめ
ハスケル＝カリー(Haskell Brooks Curry)さんの誕生日は1900年9月12日です。
卒業に関する情報もありますね。1982年に亡くなられているようです。
ハスケル＝カリーのプロフィール Wikipedia（ウィキペディア）ハスケル・ブルックス・カリー（Haskell Brooks Curry、1900年9月12日 - 1982年9月1日）は、アメリカの数学者、論理学者。 マサチューセッツ州ミリスで教育者サミュエル・サイラス・カリーの子として生まれる。ハーバード大学を卒業後、1930年、ゲッティンゲン大学でダフィット・ヒルベルトに師事し、博士号を得た。 ゲッティンゲンに在学中、モーゼス・シェーンフィンケルが組合せ論理を導入した1920年の講義の記録を読んだのは、幸運な出来事であった。これに触発されて、組合せ論理をテーマにして博士論文を書き上げた。残りの研究歴をこの分野に費やし、組合せ論理の開拓者、最大の貢献者になった。組合せ論理は、ある種の関数型プログラミング言語の基盤になっている。組合せ論理の力と範囲は、アロンゾ・チャーチのラムダ計算のそれときわめて似通っているが、近年は後者の形式主義の方が優勢である。 はじめ、ハーバード大学とプリンストン大学で教え、1929年から1966年までペンシルベニア州立大学で教えた。1942年、カリーのパラドックスを発表。1966年、アムステルダム大学の数学教授になった。 Haskell - ハスケル・カリーの名にちなんだプログラミング言語 Curry - 同上 カリー化 組合せ論理 ラムダ計算 Yコンビネータ カリー・ハワード対応 カリーのパラドックス 関数型プログラミング 1951年、『形式主義者の数理哲学の概要』（Outlines of a formalist philosophy of mathematics）。North Holland出版。 1958年 (Robert Feysとの共著)、『組合せ論理』（Combinatory Logic I）。North Holland出版。この本のアプローチの大部分は、1972年の第2巻と以降の著作で置き換えられている。 1979年(1963年)、『数理論理学の基礎』（Foundations of Mathematical Logic）。Dover出版。 1972年（J. R. Hindley、J. P. Seldinとの共著)。『続・組合せ論理』（Combinatory Logic II）。North Holland出版。組合せ論理の包括的な概要であり、簡単な歴史的経緯も含む。 1980年、Seldin, J.P.、Hindley, J.R.編集。『H. B. カリー：組合せ論理およびラムダ計算、形式主義に関するエッセイ』（To H.B. Curry: Essays on combinatory logic, lambda calculus, and formalism）。Academic Press。伝記的な随筆も含む。 O'Connor, John J., and Edmund F. Robertson. "Haskell Curry". MacTutor History of Mathematics archive. Bitmap of Curry's mss, 1920-1931, CLg. bibliography 587 pp FAST ISNI VIAF WorldCat スペイン フランス BnF data ドイツ イスラエル アメリカ チェコ オランダ DBLP MathSciNet Mathematics Genealogy Project zbMATH ドイッチェ・ビオグラフィー SNAC IdRef 20世紀アメリカ合衆国の哲学者 20世紀の数学者 20世紀の論理学者 アメリカ合衆国の数学者 アメリカ合衆国の論理学者 数学の哲学者 アムステルダム大学の教員 ペンシルベニア州立大学の教員 プリンストン大学の教員 ハーバード大学の教員 1900年生 1982年没 数学に関する記事 FAST識別子が指定されている記事 ISNI識別子が指定されている記事 VIAF識別子が指定されている記事 WorldCat Entities識別子が指定されている記事 BNE識別子が指定されている記事 BNF識別子が指定されている記事 BNFdata識別子が指定されている記事 GND識別子が指定されている記事 J9U識別子が指定されている記事 LCCN識別子が指定されている記事 NKC識別子が指定されている記事 NTA識別子が指定されている記事 DBLP識別子が指定されている記事 MATHSN識別子が指定されている記事 MGP識別子が指定されている記事 ZBMATH識別子が指定されている記事 DTBIO識別子が指定されている記事 SNAC-ID識別子が指定されている記事 SUDOC識別子が指定されている記事
2025/01/27 09:59更新
|
Haskell Brooks Curry
ハスケル＝カリーと同じ誕生日9月12日生まれの人
TOPニュース
ハスケル＝カリーと近い名前の人
話題のアホネイター
この記事は、クリエイティブ・コモンズ・表示・継承ライセンス3.0のもとで公表されたウィキペディアの項目「ハスケル＝カリー」を素材として二次利用しています。