Index: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Home > Haskell Curry
Haskell Brooks Curry ( September 12, 1900 - September 1, 1982) was an American mathematician and logician. Born in Millis, Massachusetts, the son of educator Samuel Silas Curry, he was educated at Harvard University and received a doctorate from Göttingen in 1930, under supervision of David Hilbert. He taught at Harvard, Princeton, and then beginning in 1929 for 35 years at Pennsylvania State University. In 1942Events January January 1 World War II: The word " United Nations" is first officially used to describe the Allied pact. January 2 World War II: Manila is captured by Japanese forces. January 5 Amy Johnson disappears in flight over River Thames estuary ass he exposited Curry's paradoxIn logic, specifically mathematical logic, Curry's paradoxes are a family of logical paradoxes that occur in naive set theory or naive logics. They are named after the logician Haskell Curry. An informal version runs as follows: :Abelard: "If I'm not mist. In 1966Events January January 1 In a coup, Colonel Jean-Bedel Bokassa ousts president David Dacko and takes over the Central African Republic. January 2 Strike of public transportation workers in New York City ends January 13 January 3 First Acid Test at the Fil he became professor of mathematics at AmsterdamMunicipality of Amsterdam St Andrew's crosses are taken to represent these (though the crosses are even older than the motto). A popular tradition links the X's to the three threats to the city: Water, Fire and Pestilence. Alternate meanings: See Amsterda. He died in State College, PennsylvaniaPennsylvania (the Commonwealth of Pennsylvania is one of four states of the United States of America that is called a commonwealth. It has given its name to the Pennsylvanian time period in geology. Pennsylvania is called the Keystone State. Although Swed.Curry's main work was in mathematical logicMathematical logic is a discipline within mathematics, studying formal systems in relation to the way they encode intuitive concepts of proof and computation as part of the foundations of mathematics. Although the layperson may think that mathematical log, especially in the theory of formal systems and processes - combinatory logic, the foundation for functional programming languages. His works include Combinatory Logic ( 1958) and Foundations of Mathematical Logic ( 1963).
The functional computer languages Haskell and Curry are named after him, as is the process of currying in functional programming languages.
Read more »