The Association for Symbolic Logic was founded in 1936 with Curry as one of the founders. He spent one year at University of Chicago in 1931–32 under a National Research Fellowship and one year in 1938–39 at the Institute for Advanced Study in Princeton. Haskell Brooks Curry accepted a position at Pennsylvania State College, where he remained for the next 37 years. in 1930 with a dissertation on combinatory logic. Curry was supervised by David Hilbert and worked closely with Bernays, receiving a Ph.D. Thus, Curry moved to Göttingen where he could work with Heinrich Behmann and Paul Bernays, who were familiar with Schönfinkel’s work. In order to improve his chances of financial support, Curry wrote up his ideas on combinators for publication and this became his first paper An analysis of logical substitution which appeared in the American Journal of Mathematics in 1929. Veblen advised him that Paul Bernays at Göttingen, in Germany, would be best. After he had learned that Schönfinkel was in a mental hospital and therefore not continuing his line of research, Curry sought advice on who would now be the best Ph.D. Schönfinkel’s work had anticipated much of Curry’s own research. In 1927, while an instructor at Princeton University, he discovered the work of Moses Schönfinkel in combinatory logic (“ Über die Bausteine der mathematischen Logik“, 1924). While he was directed by George Birkhoff to work on differential equations, his interests continued to shift to logic. Remaining at Harvard, Haskell Brooks Curry pursued a Ph.D. Curry’s interest in mathematical logic started during this period when he was introduced to the Principia Mathematica, the attempt by Alfred North Whitehead and Bertrand Russell to ground mathematics in symbolic logic, which had been published in 1910. After two years he returned to Harvard to study physics, earning a MA in 1924. Curry now decided that he would look for a career in electrical engineering and he took a job with the General Electric Company which allowed him to study electrical engineering part-time at the Massachusetts Institute of Technology. He entered Harvard University in 1916 to study medicine but switched to mathematics before graduating in 1920. Haskell did not show particular interest in mathematics when at high school.
Haskell Brooks Curry was born in Millis, Massachusetts, USA, to Samuel Silas Curry and Anna Baright Curry, who ran a school for elocution. There are three programming languages named after him, Haskell, Brook and Curry, as well as the concept of currying, a technique used for transforming functions in mathematics and computer science. Curry is also known for Curry’s paradox and the Curry–Howard correspondence. Later, this seminal work found significant application in computer science, especially in the design of programming languages. Curry’s research in the foundations of mathematics led him to the development of combinatory logic.
On September 12, 1900, American mathematician and logician Haskell Brooks Curry was born. Curry’s ‘Foundations of Mathematical Logic’
0 kommentar(er)
