# Haskell Curry

Updated: 09/15/2017 by Computer Hope

**Name:** Haskell Brooks Curry

**Born:** September 12, 1900 in Millis, Massachusetts, USA

**Death:** September 1, 1982 (Age: 81)

## Computer related contributions

- Mathematical logician whose research in the foundations of mathematics led to his development of combinatory logic.
- His findings have had important applications in computer science and heavily influenced the design of modern programming languages.
- Discovered the Y combinator mathematical function.
- Three programming languages are named after him: Haskell, Brooks, and Curry.

## Publications

- Combinatory Logic Volume II (1972)
- Foundations of Mathematical Logic (1963)
- Combinatory Logic Volume I (1958)
- Leçons de Logique Algébrique (1952, in French)
- Outlines of a Formalist Philosophy of Mathematics (1951)
- A Theory of Formal Deducability (1950)
- Grundlagen der Kombinatorischen Logik (1930, in German)

## Honors and awards

- Chosen as the second Evan Hugh research professor at Penn State University, which is the university's highest honor.

## Quotes

"Mathematical logic has much the same relation to the analysis and criticism of thought as geometry does to the science of space."