跳去內容

哈士𠵇·加利

出自維基百科,自由嘅百科全書

哈士𠵇·布六士·加利粵拼haa6 si6 keu1 bou3 luk6 si6 gaa1 li6 ;英文:Haskell Brooks Curry /ˈhæskəl ˈkɜːri/;1900年9月12號1982年9月1號),喺美國麻薩諸塞州米里鎮出世,數理邏輯學家,專長喺組合子邏輯理論。即使組合子邏輯嘅概念係由Moses Schönfinkel嘅一篇論文開始,但係篇文嘅大部分發展工作係由加利搞掂嘅。加利亦都因為他嘅加利矛盾同埋Curry-Howard對應而出名咗。

三個程式語言HaskellBrookCurry同埋加利化嘅概念啲名冚𠾴唥都係由佢個名而起嘅。