Haskell curry

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar

Haskell Brooks Curry (September 12, 1900 – September 1, 1982) was an American mathematician and logician. Born in Millis, Massachusetts, he was educated at Harvard University and received a Ph.D. in Göttingen with David Hilbert in 1930. He taught at Princeton and Harvard Universities, and then, beginning in 1929, for 35 years at Pennsylvania State University. In 1966 he became a professor of mathematics in Amsterdam. He died at State College, Pennsylvania.

Curry's main work was in mathematical logic, especially the theory of formal systems and processes - combinatorial logic, the foundation for functional programming languages. The functional programming languages Haskell and Curry are named after him as is the currying process in functional programming languages.

Jobs

The goal of Curry's work was to show that combinatorial logic lays the foundation for mathematics. Towards the end of 1933, he learned of the Kleene-Rosser paradox from John Rosser.

  • 1930. Grundlagen der kombinatorischen LogikAmer. J. Math. 52:509-536;789-834 (1930)
  • 1951. Outlines of a formalist philosophy of mathematics. North Holland
  • 1958. Curry, Haskell B., Feys, Robert; Combinatory Logic, vol. I; North Holland
  • 1963. Foundations of mathematical logicMcGrawHill 1963
  • 1972. Curry, Haskell B., Hindley, J.Roger, Seldin, Jonathan P.; Combinatory Logic, vol. II; North Holland 1972; ISBN 0-7204-2208-6

Literature

  • s. Gottwald, h.-j. Ilgauds, k.-h. Schlote (eds.) Lexikon bedeutender MathematikerVerlag Harri Thun, Frankfurt a. M. 1990 ISBN 3-8171-1164-9
Más resultados...
Tamaño del texto:
undoredo
format_boldformat_italicformat_underlinedstrikethrough_ssuperscriptsubscriptlink
save