哈士𠵇·加利
閱讀設定
哈士𠵇·布六士·加利(粵拼: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對應而出名咗。