Curry
Curry [ka-] Haskell Brooks . 12. 9. 1900-l. 9. 1982, amer. logik a matematik; prof. univ. v Pensylvánii, spolutvůrce kombinatorické logiky, stoupenec formalistické filozofie matematiky. Zabýval se též rozpracováním teorií deduktivního závěru i otázkami algebraické interpretace log. Hl. dílo: Combinatory Logic (Kombinatorická logika).
