haskell brooks curry

Americký matematik

Haskell Brooks Curry byl americký matematik a logik. Je znám především díky své práci v oboru kombinatorické logiky. Je také autorem Curryho paradoxu a Curryho–Howardova isomorfismu. Jsou po něm pojmenovány tři programovací jazyky: Haskell, Brook a Curry, jakož i technika přeměny funkce v matematice a matematické informatice zvaná currying. Wikipedia

Narození12. 9. 1900, Millis, Massachusetts
Úmrtí1. 9. 1982 (81 let), State College, Pensylvánie

Rodiče

Anna Baright Curry

S. S. Curry

Haskell Brooks Curry – Wikipedie

cs.wikipedia.org/wiki/haskell_brooks_curry

Haskell Brooks Curry (12. září 1900 Millis, Massachusetts – 1. září 1982 State College, Pensylvánie) byl americký matematik a logik.

Haskell Curry - Wikipedia

en.wikipedia.org/wiki/haskell_curry

Haskell Brooks Curry (/ ˈ h æ s k əl/ HAS-kəl; September 12, 1900 – September 1, 1982) was an American mathematician, logician and computer scientist.

Haskell Brooks Curry | Logic, Combinatory Logic, Lambda…

britannica.com/biography/haskell-brooks-curry

Haskell Brooks Curry was an American mathematician and educator whose research in logic led to his theory of formal systems and processes as well as to the formulation of a logical calculus using inferential rules.

Haskell Brooks Curry | Internet Encyclopedia of Philosophy

iep.utm.edu/haskell-brooks-curry

Haskell Brooks Curry was a mathematical logician who developed a distinct philosophy of mathematics. Most of his work was technical: he was the major developer of combinatory logic, which nowadays plays a role in theoretical computer science…