热点话题人物,欢迎提交收录!
最优雅的名人百科,欢迎向我们提交收录。
哈斯凯尔·柯里
2023-07-23 22:56
  • 哈斯凯尔·柯里
  • 哈斯凯尔·柯里 - 个人资料

近期热点

资料介绍

Haskell Brooks Curry:

出生: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,以及柯里化的概念都是以他的名字来命名的。

标签: 数学家

相关热点

扫码添加好友