Haskell Brooks Curry
Haskell Brooks Curry (born September 12, 1900 in Millis , Massachusetts , USA ; † September 1, 1982 in State College , Pennsylvania , USA) was an American logician and mathematician .
Life
Born as the son of the educator Samuel Silas Curry, Curry first studied at Harvard University and received his doctorate in 1930 in Göttingen with David Hilbert . He taught at Harvard, Princeton and, from 1929 to 1966, at Pennsylvania State University . In 1966 he became professor of mathematics at the University of Amsterdam .
plant
During his time in Göttingen, Curry read the published version of Moses Schönfinkel's 1920 lecture on combinatorial logic . This turned out to be a fateful event in his career, he wrote his doctoral thesis on combinatorial logic and gradually developed an extensive theory from it. Today he is considered to be the main designer of this theory. Combinatorial logic forms one of the foundations for functional programming languages . Possibilities and operation of the combinational logic are very similar to the lambda calculus of Alonzo Church , who has rather enforced in recent decades.
In 1942 he published a negation-free version of Russell's antinomy , which is now named after him and is known as Curry's Paradox .
Curry taught and worked mainly in the field of mathematical logic , in 1963 his book Foundations of Mathematical Logic was published . He dealt a lot with philosophical problems in mathematics and represented a pronounced formalistic point of view, shaped by his doctoral supervisor Hilbert, but also showed an openness to intuitionist logic .
Curry is the namesake of the Haskell programming language and the currying process, and co-discoverer of the Curry-Howard isomorphism (with William Alvin Howard ).
Fonts
- With Robert Feys Combinatory Logic , North Holland, 2 volumes, 1958, 1972
- Foundations of mathematical logic , McGraw Hill 1963, Dover 1977
- Theory of formal deducibility , Notre Dame 1950
- Outlines of a formalist philosophy of mathematics , North Holland 1970
Related topics
literature
- S. Gottwald, H.-J. Ilgauds, K.-H. Schlote (ed.): Lexicon of important mathematicians , Harri Thun publishing house, Frankfurt a. M. 1990 ISBN 3-8171-1164-9
Web links
- Literature by and about Haskell Brooks Curry in the catalog of the German National Library
- John J. O'Connor, Edmund F. Robertson : Haskell Brooks Curry. In: MacTutor History of Mathematics archive .
| personal data | |
|---|---|
| SURNAME | Curry, Haskell Brooks |
| BRIEF DESCRIPTION | American logician |
| DATE OF BIRTH | September 12, 1900 |
| PLACE OF BIRTH | Millis , Massachusetts , USA |
| DATE OF DEATH | September 1, 1982 |
| Place of death | State College , Pennsylvania , USA |