哈斯凯尔·柯里
近期热点
资料介绍
出生:1900年9月12日 (1900-09-12) 美国麻州米里镇
逝世:1982年9月1日(1982岁—09—01)(81岁)State College, Pennsylvania
国籍: 美国
母校:哈佛大学
知名于:组合子逻辑柯里-霍华德同构柯里悖论
科学生涯
研究领域:数理逻辑
机构:宾夕法尼亚州立大学 阿姆斯特丹大学
博士导师:大卫·希尔伯特
受影响自:阿尔弗雷德·诺思·怀特黑德伯特兰·罗素Moses Schönfinkel(英语:Moses Schönfinkel)
哈斯凯尔·布鲁克·柯里(英语:Haskell Brooks Curry /ˈhæskəl ˈkɜːri/,1900年9月12日—1982年9月1日),生于美国马萨诸塞州米里镇,数理逻辑学家,专长于组合子逻辑理论。尽管组合子逻辑的概念始于Moses Schönfinkel(英语:Moses Schönfinkel)的一纸论文,其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论和柯里-霍华德同构而闻名。三个编程语言Haskell、Brook(英语:BrookGPU)、Curry,以及柯里化的概念都是以他的名字来命名的。
标签: 数学家
相关热点
最新收录
- 彩乃圣罗(彩乃せいら) 07-24
- 心阳希美(心陽のぞ美) 07-24
- 七绪绯美佳(七緒ひみか 07-24
- 阳野爱实(陽野めぐみ) 07-24
- 1818黄金眼郑女士 07-24
- 发际线男孩小吴 07-24
- 乔瓦尼·多梅尼科·马拉迪 07-24
- 夏尔-欧仁·德洛奈 07-23
- 板垣公一 07-23
- 平山清次 07-23