哈斯凯尔·柯里
維基百科,自由的 encyclopedia
哈斯凱爾·布魯克·柯里(英語:Haskell Brooks Curry /ˈhæskəl ˈkɜːri/,1900年9月12日—1982年9月1日),生于美國麻薩諸塞州米里鎮,數理邏輯學家,專長於组合子逻辑理論。尽管组合子逻辑的概念始于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)的一纸论文,其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论和柯里-霍华德同构而闻名。