哈斯凱爾·柯里
維基百科,自由的 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)的一紙論文,其大部分發展工作是由柯里完成的。柯里也因為他的柯里悖論和柯里-霍華德同構而聞名。