Mathématiciens

Ligne de temps Photos Argent Timbres Croquis Recherche

Haskell Brooks Curry

Date de naissance:

Endroit de naissance:

Date de la mort:

Endroit de la mort:

12 Sept 1900

Millis, Massachusetts, USA

1 Sept 1982

State College, Pennsylvania , USA

Présentation Wikipedia
ATTENTION - traduction automatique de la version anglaise

Haskell Curry de l 'mère était Baright Anna et son père était Silas Samuel Curry. Samuel a été le président de l'École d'expression à Boston et Anna a été le doyen de l'École. Haskell n'a pas montré un intérêt particulier dans le domaine des mathématiques quand au lycée et quand il a obtenu son diplôme en 1916, il a pleinement l'intention d'étudier la médecine. Il est entré Harvard College, l'École de l'Université de Harvard, et a pris un cours de mathématiques dans sa première année d'études dans le cadre de ses études en vue d'un doctorat en médecine.

Une influence majeure sur l'orientation que prend ses études a été l'entrée des États-Unis dans la Première Guerre mondiale au printemps de 1917. Curry voulait servir son pays, et a décidé qu'il serait plus susceptible de voir si il a une formation en mathématiques plutôt que s'il continuait la pré-médical, il a été entendu. Quoi qu'il en soit, il a bénéficié du cours de mathématiques qu'il avait prises et a très bien fait au cours. Il a changé son sujet majeur à l'enseignement des mathématiques et ensuite enrôlé dans la formation des élèves du Corps de l'Armée le 18 Octobre 1918. La guerre, cependant, a pris fin peu après cette (en Novembre) et le 9 Décembre 1918 Curry a quitté l'armée. Il a continué sur le cours de mathématiques à l'Université de Harvard, cependant, et a obtenu son diplôme en 1920 avec un degré AB.

Curry maintenant décidé qu'il examinerait à une carrière en génie électrique et il a pris un emploi avec la General Electric Company, qui lui a permis d'étudier en génie électrique à temps partiel au Massachusetts Institute of Technology. Mais il a rapidement découvert qu'il avait une attitude différente aux autres de prendre les cours, car il voulait savoir pourquoi un résultat est correcte lorsque, pour tout le monde, il importe seulement qu'il était correct. Réalisant qu'il était plus adapté à la science pure que de la science appliquée, il a changé de cap pour étudier la physique en 1922. Aussi Harvard semble un meilleur endroit pour étudier la science pure et il y est retourné, après avoir été nommé à un demi-poste d'assistant de recherche de PW Bridgeman pour la session 1922-23. Curry est titulaire d'une maîtrise en physique de Harvard en 1924, mais maintenant il s'est rendu compte que l'objet pour lui n'était pas physique, mais il était les mathématiques. Il a commencé à entreprendre des recherches pour son doctorat en mathématiques à l'Université de Harvard.

Tout au long de cette période de l'évolution des sujets Curry avait d'autres choses à garder occupé. Son père était décédé en 1921 et Curry est devenu un mandataire de son père. Bien sûr, la partie principale de ce domaine a été l'École d'expression et à Boston, trois ans après la mort de la mère de Curry en 1924, il est devenu une société juridique en 1927. Curry agissait à titre de trésorier pour l'expression société à partir du moment où il a été formé, mais il a été vendu en 1928.

Si on imagine que de 1924 lorsque Curry entrepris un doctorat en mathématiques à Harvard, il a enfin estimé que le thème pour lui, serait une erreur. Il a été un sujet donné dans la théorie des équations différentielles de George Birkhoff, mais il a commencé à lire des livres sur la logique qui lui semble bien plus intéressant que son sujet de recherche. Il a demandé à divers membres du corps professoral à l'Université de Harvard, et Norbert Wiener au MIT, s'ils pensaient qu'il pourrait changer d'entreprendre des recherches en logique. Ils étaient tout à fait unanime, le conseil contre lui. Il a travaillé comme un mi-temps instructeur en mathématiques de Harvard au cours du premier semestre de 1926-27 et il était à cette époque qu'il a lu le premier volume de Whitehead et Russell 's Principia Mathematica qui a été publié en 1910. Cela est fondamental dans son développement, car il est après la lecture de ce travail qu'il a eu l'idée d'utiliser combinators d'analyser la complexité des règles de substitution qui caractérisent la première partie du texte. Il a de nouveau abordé divers membres du corps professoral à l'Université de Harvard, et Norbert Wiener au MIT, se demander si elles pensaient qu'il pourrait écrire sa thèse de doctorat sur la logique. Il a maintenant reçu une réponse très différente de ce qu'il avait reçu plus tôt. Wiener la réponse d 'était typique - éviter logique que si vous avez quelque chose à dire, mais maintenant vous ont certainement quelque chose à dire!

Curry maintenant fait son dernier changement de direction et a décidé d'abandonner ses études de doctorat sur les équations différentielles et d'écrire une thèse de doctorat sur la logique. Avant de commencer la recherche sur ce nouveau sujet, il a décidé d'enseigner pendant un an et, avec une forte recommandation de Birkhoff, a été nommé à titre d'instructeur en mathématiques à Princeton pour la session 1927-28. Là, il a discuté de ses plans de recherche avec Veblen et, tout en regardant des documents dans Mathematische Annalen dans la bibliothèque de Princeton, a découvert un document de 1924 M Schönfinkel über die Bausteine der mathematischen Logik combinators qui était de la même façon que ses propres idées. Veblen Curry assuré qu'il s'agissait d'un esprit positif, plutôt que négative, la découverte et, après Alexander l'a informé que Schönfinkel était dans un hôpital psychiatrique et, par conséquent, pas en continuant sa ligne de la recherche, Curry a demandé des conseils sur qui serait le meilleur Ph.D. superviseur. Veblen l'a informé que Bernays à Göttingen, en Allemagne, serait le mieux. Afin d'améliorer ses chances d'un soutien financier, Curry a écrit ses idées sur combinators pour cette publication et est devenu son premier document une analyse de la logique de substitution qui figure dans l'American Journal of Mathematics en 1929.

Avant de partir pour Göttingen, Curry épousa Mary Virginia Wheatly qu'il avait rencontré à l'École d'expression quand elle était étudiant. Ils se sont mariés le 3 Juillet 1928 et voyagé ensemble à l'Allemagne. Après presque exactement un an (le 24 Juillet 1929), il a été examiné sur sa thèse intitulée kombinatorischen Grundlagen der Logik. Officiellement, il était sous la responsabilité de Hilbert, mais en fait il a été fourni Bernays qui un jour à l'appui pour son travail. Sa thèse a été publiée dans l'American Journal of Mathematics en 1930.

De retour aux États-Unis, Curry a été nommé à State College, en Pennsylvanie (maintenant l'Université d'Etat de Pennsylvanie) en Septembre 1929. Haskell et de la Virginie ont commencé leur famille en ce moment avec Anne Curry Wright né le 27 Juillet 1930 et Robert Weatley Curry né le 6 Juillet 1934. La Grande Dépression a commencé en 1929, il a eu la chance que Curry a obtenu son poste quand il a fait. Certes, les années de la Grande Dépression aurait été quand un logicien mathématique à peine ont été susceptibles d'obtenir un poste. Bien que il est resté sur la faculté à l'Etat de Pennsylvanie jusqu'à sa retraite en 1966, il l'a fait passer du temps à d'autres institutions, en particulier à l'Université de Chicago, où il a été un Conseil national de recherches du boursier au cours de 1931-32, et l'Institute for Advanced Study à Princeton au cours de 1938-39. Certains documents publiés au cours des premières années de sa recherche incluent The universal quantifier dans la logique combinatoire (1931), Quelques ajouts à la théorie de combinators (1932), apparente variables du point de vue de la logique combinatoire (1933), et quelques propriétés de l'égalité et implication dans la logique combinatoire (1934).

L'Association pour la logique symbolique a été fondée en 1936 avec Curry comme un des fondateurs. Il a été vice-président au cours de 1936-37, puis président de l'Association en 1938-40. Son discours présidentiel prend sa retraite La combinatoire fondements de la logique mathématique a été publié dans le Journal of Symbolic Logic en 1942. Après avoir donné un exposé très clair des principes fondamentaux de la logique combinatoire, en montrant son rapport étroit avec le-calcul mis au point par l'Eglise, Curry a ensuite décrit ses travaux récents. Il a examiné des méthodes simplifiées de calcul de la paradoxes (comme celles de Richard et Russell) dans les systèmes de logique qui sont incompatibles, et a également développé une méthode d'introduire dans la logique combinatoire défini les notions de portée générale, tels que la quantification formelle ou implicitement, dans telle manière que le théorème de cohérence comme celle de l'Église et de Rosser pourrait encore être tiré.

Comme les années 1940 a commencé, Curry avait atteint la position d'être l'un des premiers logiciens mathématiques dans le monde. Il a été invité à donner un exposé à l'adresse des mathématiciens d'expliquer les concepts fondamentaux de formalisme et d'ajouter de nouvelles suggestions. Le document Certains aspects du problème de la rigueur mathématique publié dans le Bulletin de l'American Mathematical Society en 1941 est le texte de cette adresse. Il a présenté dans son allocution: une critique de non-formelle théories, la notion d'un système formel (illustrée par Dickson 's postule pour un groupe), la notion de calcul; discussion d'un metatheory, la définition des mathématiques et l'acceptabilité d'un système formel, de discuter les critiques de intuitionists et formalists. Pendant les années 1940, Curry a également renouvelé son association avec l'école d'expression à Boston, qui à ce moment-là avait été rebaptisé Curry College. Il a rejoint le Conseil d'administration du Collège en 1940 et est resté au Conseil pendant plus d'une décennie.

Au cours de la Seconde Guerre mondiale Curry a entrepris des recherches en mathématiques appliquées. Il a publié Le calcul Heaviside opérationnel en 1943. Dans lequel il a présenté un très simple approche algébrique mais est conscient de ses limites écrit:

... cet avantage, bien sûr, implique une restriction sur la portée du traitement, car elle est limitée à l'exploitation rationnelle des aspects tels que résulter de simples équations différentielles linéaires à coefficients constants. Pour les cas plus généraux d'équations aux dérivées partielles, fractions d'opérateurs, etc, la théorie de intégrante transforme est sans doute inévitable.

Il a travaillé au Frankford Arsenal de Mai 1942 à Janvier 1944, puis à les laboratoires de physique appliquée à l'Université Johns Hopkins jusqu'à Mars 1945. Il se rend ensuite à l'Aberdeen Proving Ground, un militaire les essais d'armes Harford site dans le nord-est du comté du Maryland. Là, il s'est impliqué avec l'ordinateur ENIAC la publication d'une étude de l'interpolation inverse sur l'ENIAC et une étude de quatrième ordre d'interpolation sur l'ENIAC fois en 1946. Il est retourné à la Pennsylvania State University en Septembre 1946 et a essayé de persuader les autorités universitaires d'acquérir un ordinateur, mais il a échoué.

Ses principaux textes élaborés par les logiques combinatoire (1958) (avec Robert Feys), et de fondations de la logique mathématique (1963). Curry a commencé à travailler sur la logique combinatoire en 1950 quand il a reçu une subvention Fulbright qui lui a permis de travailler avec Robert Feys à Louvain. Ils ont continué de collaborer sur le livre après Curry retourné aux États-Unis et complété le texte en 1956. EJ Cogan, l'examen de l'ouvrage, donne une belle description de la logique combinatoire:

Logique combinatoire est préoccupé par certaines notions de base des fondements des mathématiques qui sont généralement utilisés dans un intuitif et unanalysed. Ces notions comprennent la substitution, généralement introduites par l'utilisation de variables et la classification des entités d'un système en types, qui est généralement fourni par des règles qui jouent un rôle d'auxiliaire, mais n'en fait pas partie de celui-ci. La partie de la logique combinatoire qui s'occupe des questions de nature fondamentale qui, à l'instar de substitution, des variables, est appelé la théorie de combinators.

Dans les fondations de la logique mathématique Curry développe le sujet dans une algébriques à l'aide de Gentzen 's méthodes. J Tucker écrit:

L'effet le plus frappant de cette approche est que le fini positif opérations d'implication, collaboration et l'alternance sont traités en premier, tandis que la négation et la quantification sont intégrés par la suite et dans des chapitres distincts. Le sens fondamental de chaque connectif n'est pas prévue au début comme c'est le cas dans l'approche classique, mais repose sur des règles par inférence.

En 1966, il a accepté le poste de professeur de logique, histoire de la logique et philosophie des sciences à Amsterdam. Il a occupé ce poste pendant quatre ans, après quoi il est retourné vivre en State College, en Pennsylvanie.

Les auteurs de faire quelques commentaires au sujet de Curry et son épouse:

Toute personne qui connaît le Currys est conscient de la façon dont amical et ils sont toujours. Haskell a toujours fait plus pour les collègues et les étudiants que d'être une source importante d'idées. Il a toujours été disposé à écouter tout le monde qui voulait lui parler, à discuter de leurs idées, et de fournir toute l'encouragement qu'il le pouvait. ... Son bureau porte a toujours été ouverte. Et cela a été sans aucun doute une contribution importante à l'enthousiasme de bon nombre de ceux d'entre nous qui travaillent dans la logique combinatoire. Aussi bien connu où la Currys ont vécu a été l'hospitalité dont ils ont fait preuve. Il ya toujours de nombreuses parties et d'autres, des rencontres moins formelles, et nous conjecturons que Virginie est en train de cuire a également joué un rôle dans la croissance d'intérêt dans la logique combinatoire.

Source:School of Mathematics and Statistics University of St Andrews, Scotland