# Haskell Curry > American mathematician and logician (1900-1982) **Wikidata**: [Q92611](https://www.wikidata.org/wiki/Q92611) **Wikipedia**: [English](https://en.wikipedia.org/wiki/Haskell_Curry) **Source**: https://4ort.xyz/entity/haskell-curry ## Summary Haskell Curry was born on September 12, 1900, in Millis and died on September 1, 1982, in State College [1][2][3][4][5][6][2][3][4][5][7][6]. He was a citizen of the United States and worked as a mathematician, philosopher, university teacher, and computer scientist [8]. His father was Samuel Silas Curry and his mother was Anna Baright Curry [3][3].Curry received his education at Harvard University, the Massachusetts Institute of Technology, the University of Göttingen, and again at Harvard University [3]. He was influenced by Alfred North Whitehead . His professional career included positions at Princeton University from 1927 to 1928, Pennsylvania State University from 1930 to 1966, and the University of Amsterdam from 1966 to 1970 [3][7]. At Pennsylvania State University, he served as chairperson from 1938 to 1940 . ## Summary Haskell Curry was an American mathematician and logician (1900–1982) known for his foundational work in combinatory logic and the Curry–Howard correspondence, which bridges logic and computer science. His contributions laid the groundwork for functional programming and formal verification. ## Biography - Born: September 12, 1900, in Millis, Massachusetts - Nationality: United States - Education: - Harvard University (1916–1920, 1922–1924) - Massachusetts Institute of Technology (1920–1922) - University of Göttingen (1928–1930) - Known for: Developing combinatory logic and the Curry–Howard correspondence - Employer(s): - Princeton University (1927–1928) - Pennsylvania State University (1930–1966) - University of Amsterdam (1966–1970, emeritus) - Field(s): Mathematical logic, computer science ## Contributions Haskell Curry's most significant work was in combinatory logic, a formal system that eliminates variables by using combinators—functions that manipulate other functions. His 1930 dissertation, *Grundlagen der Kombinatorischen Logik*, established the foundations of this field. Curry also introduced the concept of *currying*, a technique in functional programming that transforms functions with multiple arguments into a sequence of functions with a single argument. His collaboration with William Howard led to the Curry–Howard correspondence, a key insight linking logic and computer science, which underpins type theory and formal verification. Curry's work influenced later developments in programming languages, particularly functional programming paradigms like Haskell. ## FAQs ### Q: What is Haskell Curry best known for? A: Haskell Curry is best known for his work in combinatory logic and the Curry–Howard correspondence, which bridges mathematical logic and computer science. ### Q: Where did Haskell Curry study? A: Curry studied at Harvard University, the Massachusetts Institute of Technology, and the University of Göttingen. ### Q: What is currying in computer science? A: Currying is a technique named after Haskell Curry that transforms functions with multiple arguments into a sequence of functions with a single argument, a foundational concept in functional programming. ### Q: Did Haskell Curry influence modern programming languages? A: Yes, Curry's work laid the groundwork for functional programming languages like Haskell, and his combinatory logic principles are still used in formal verification and type theory. ### Q: Where did Haskell Curry teach? A: Curry taught at Princeton University, Pennsylvania State University, and the University of Amsterdam. ## Why They Matter Haskell Curry's contributions to combinatory logic and the Curry–Howard correspondence revolutionized computer science by providing a rigorous framework for understanding the relationship between logic and computation. His work directly influenced the development of functional programming languages, type theory, and formal verification methods. Curry's ideas remain foundational in academic research and industrial applications, shaping how we model and reason about software systems. Without his work, the theoretical underpinnings of modern programming paradigms would be significantly different. ## Notable For - Pioneered combinatory logic, a formal system that eliminates variables using combinators. - Co-developed the Curry–Howard correspondence, linking logic and computer science. - Introduced *currying*, a key technique in functional programming. - Taught at prestigious institutions including Princeton, Pennsylvania State, and the University of Amsterdam. - Authored influential works like *Grundlagen der Kombinatorischen Logik* (1930). ## Body ### Early Life and Education Haskell Brooks Curry was born on September 12, 1900, in Millis, Massachusetts. He attended Harvard University from 1916 to 1920 and 1922 to 1924, earning degrees in mathematics. He later studied at the Massachusetts Institute of Technology (1920–1922) and the University of Göttingen (1928–1930), where he was influenced by David Hilbert. ### Combinatory Logic and Foundational Work Curry's 1930 dissertation, *Grundlagen der Kombinatorischen Logik*, introduced combinatory logic, a formal system that uses combinators—functions that manipulate other functions—to eliminate variables. This work established the field and remains a cornerstone of mathematical logic. ### Curry–Howard Correspondence Collaborating with William Howard, Curry developed the Curry–Howard correspondence, which establishes a direct relationship between logical proofs and computational programs. This insight underpins type theory and formal verification, ensuring that programs adhere to logical specifications. ### Influence on Computer Science Curry's concept of *currying* transformed how functions are structured in programming, enabling more modular and reusable code. His work directly influenced the design of functional programming languages like Haskell, which named the language in his honor. ### Academic Career Curry held faculty positions at Princeton University (1927–1928), Pennsylvania State University (1930–1966), and the University of Amsterdam (1966–1970). He was a professor of mathematics and logic, shaping generations of researchers in the field. ### Legacy Curry's contributions to combinatory logic and the Curry–Howard correspondence remain foundational in computer science, particularly in functional programming, type theory, and formal verification. His work continues to inspire research and practical applications in software development. ## References 1. Album Academicum 2. BnF authorities 3. Catalog of the German National Library 4. MacTutor History of Mathematics archive 5. datos.bne.es 6. Mathematics Genealogy Project 7. International Standard Name Identifier 8. Virtual International Authority File 9. CiNii Research 10. Integrated Authority File 11. Encyclopædia Britannica Online 12. SNAC 13. Brockhaus Enzyklopädie 14. Freebase Data Dumps. 2013 15. CONOR.SI 16. National Library of Israel Names and Subjects Authority File 17. Catalogo of the National Library of India