Haskell Brooks Curry (am 12. September 1900 - am 1. September 1982) war ein amerikanischer Mathematiker und Logiker. Curry ist für seine Arbeit in der combinatory Logik am besten bekannt; während das anfängliche Konzept der combinatory Logik auf einem einzelnen Vortrag von Moses Schönfinkel basiert hat, wurde viel von der Entwicklung von Curry getan. Curry ist auch für das Paradox von Curry und die Ähnlichkeit des Currys-Howard bekannt. Es gibt drei Programmiersprachen, die nach ihm, Haskell, Brooks und Curry, sowie dem Konzept davon genannt sind, eine Technik mit Currysoße zuzubereiten, die verwendet ist, um Funktionen in der Mathematik und Informatik umzugestalten.

Leben

Curry ist am 12. September 1900, in Millis, Massachusetts, Samuel Silas Curry und Anna Baright Curry geboren gewesen, die eine Schule für die Sprechtechnik geführt hat. Er ist in Universität von Harvard 1916 eingegangen, um Medizin, aber geschaltet zur Mathematik vor dem Graduieren 1920 zu studieren. Nachdem zwei Jahre des Absolventen in der Elektrotechnik an MIT arbeiten, ist er zu Harvard zurückgekehrt, um Physik zu studieren, einen Magister artium 1924 verdienend. Das Interesse von Curry an der mathematischen Logik hat während dieser Periode angefangen, als er in Principia Mathematica, den Versuch von Alfred North Whitehead und Bertrand Russell vorgestellt wurde, um Mathematik in der symbolischen Logik niederzulegen. An Harvard bleibend, hat Curry einen Dr. in der Mathematik gejagt. Während er von George Birkhoff angeordnet wurde, an Differenzialgleichungen zu arbeiten, haben seine Interessen fortgesetzt, sich zur Logik zu bewegen. 1927, während ein Lehrer an der Universität von Princeton, er die Arbeit von Moses Schönfinkel in der combinatory Logik entdeckt hat. Die Arbeit von Schönfinkel hatte viel eigene Forschung von Curry, und demzufolge vorausgesehen, er hat sich zu Göttingen bewegt, wo er mit Heinrich Behmann und Paul Bernays arbeiten konnte, die mit der Arbeit von Schönfinkel vertraut waren. Curry wurde von David Hilbert beaufsichtigt und hat nah mit Bernays gearbeitet, einen Dr. 1930 mit einer Doktorarbeit auf der combinatory Logik empfangend.

1928, vor dem Abreisen nach Göttingen, hat Curry Mary Virginia Wheatley geheiratet. Das Paar hat in Deutschland gelebt, während Curry seine Doktorarbeit, dann, 1929, bewegt zur Staatsuniversität, Pennsylvanien vollendet hat, wo Curry eine Position in der Staatsuniversität von Penn akzeptiert hat. Sie hatten zwei Kinder, Curry von Anne Wright (am 27. Juli 1930) und Curry von Robert Wheatley (am 6. Juli 1934). Curry ist am Staat von Penn seit den nächsten 37 Jahren geblieben. Er hat ein Jahr an der Universität Chicagos in 1931-32 unter einer Nationalen Forschungskameradschaft und ein Jahr in 1938-39 am Institut für die Fortgeschrittene Studie in Princeton ausgegeben. 1942 hat er eine Beurlaubung genommen, um angewandte Mathematik für die US-Regierung während des Zweiten Weltkriegs zu tun. Sofort nach dem Krieg hat er am ENIAC-Projekt, 1945 und 1946 gearbeitet. Unter einer Kameradschaft von Fulbright hat er mit Robert Feys in Louvain, Belgien zusammengearbeitet. Nach dem Abtreten vom Staat von Penn 1966 hat Curry eine Position an der Universität Amsterdams akzeptiert. 1970, nach dem Vollenden des zweiten Volumens seiner Abhandlung auf der combinatory Logik, hat sich Curry von der Universität Amsterdams zurückgezogen und ist zur Staatsuniversität, Pennsylvanien zurückgekehrt.

Curry von Haskell ist am 1. September 1982 in der Staatsuniversität, Pennsylvanien gestorben.

Arbeit

Der Fokus der Arbeit des Currys war Versuche zu zeigen, dass combinatory Logik ein Fundament für die Mathematik zur Verfügung stellen konnte. Zum Ende von 1933 hat er des Kleene-Rosser Paradoxes von der Ähnlichkeit mit John Rosser erfahren. Das Paradox, das von Rosser und Stephen Kleene entwickelt ist, hatte die Widersprüchlichkeit mehrerer zusammenhängender formeller Systeme einschließlich der Lambda-Rechnung und des eigenen Systems des Currys bewiesen. Jedoch, verschieden von der Kirche, Kleene und Rosser, hat Curry auf der Foundational-Annäherung nicht aufgegeben, sagend, dass er von Paradoxen hat nicht "davonlaufen wollen."

Durch das Arbeiten im Gebiet der Combinatory Logik für seine komplette Karriere ist Curry im Wesentlichen der Gründer und größte Name im Feld geworden. Logik von Combinatory ist das Fundament für einen Stil der funktionellen Programmiersprache. Die Macht und das Spielraum der combinatory Logik sind dieser der Lambda-Rechnung der Kirche von Alonzo ziemlich ähnlich, und der letzte Formalismus hat dazu geneigt, in letzten Jahrzehnten vorzuherrschen.

Er hat an Harvard, Princeton, und von 1929 bis 1966 an der Staatlichen Universität von Pennsylvanien unterrichtet. 1942 hat er das Paradox des Currys veröffentlicht. 1966 ist er Professor der Mathematik am Universiteit van Amsterdam geworden.

Curry hat auch geschrieben und hat mathematische Logik mehr allgemein unterrichtet; sein Unterrichten in diesem Gebiet hat in seinen 1963 Fundamenten der Mathematischen Logik kulminiert. Seine bevorzugte Philosophie der Mathematik war Formalismus (vgl sein 1951-Buch) im Anschluss an seinen Mentor Hilbert, aber seine Schriften verraten wesentliche philosophische Wissbegierde und eine sehr offene Meinung über die intuitionistic Logik.

Hauptveröffentlichungen

• 1930-Grundlagen der kombinatorischen Logik. Amerikanische Zeitschrift der Mathematik
• 1951. Umrisse einer Formalist-Philosophie der Mathematik. Das nördliche Holland.
• 1958 (mit Robert Feys). Combinatory Logic I. North Holland.
• 1972 (mit J. R. Hindley, J. P. Seldin). Combinatory Logic II. Nordholland, 1972.
• 1979 (1963). Fundamente der Mathematischen Logik. Dover.

Siehe auch

• Mit Currysoße zuzubereiten
• Das Paradox des Currys
• Funktionelle Programmierung
• Lambda-Rechnung
• Ähnlichkeit des Currys-Howard

Weiterführende Literatur

• Seldin, J.P. und Hindley, J.R. Hrsg., 1980. H.B. Curry: Aufsätze auf der combinatory Logik, der Lambda-Rechnung und dem Formalismus. Akademische Presse. Schließt biografischen Aufsatz ein.

Außenverbindungen

• Curry-Archive stellen Images von mehreren hundert Manuskript-Seiten von 1920 bis 1931 zur Verfügung.
• CLg. Bibliografie 587 Seiten