Haskell Curry , mathématicien, logicien et universitaire américain (décédé en 1982)
Haskell Brooks Curry (; 12 septembre 1900 - 1er septembre 1982) était un mathématicien et logicien américain. Curry est surtout connu pour ses travaux sur la logique combinatoire. Alors que le concept initial de logique combinatoire était basé sur un seul article de Moses Schönfinkel, Curry a fait une grande partie du développement. Curry est également connu pour le paradoxe de Curry et la correspondance Curry-Howard. Il existe trois langages de programmation qui portent son nom, Haskell, Brook et Curry, ainsi que le concept de curry, une technique utilisée pour transformer des fonctions en mathématiques et en informatique.
1900sept., 12
Curry de Haskell
Choisissez Une Autre Date
Evénements du 1900
- 16janv.
Samoa américaines
Le Sénat des États-Unis accepte le traité anglo-allemand de 1899 par lequel le Royaume-Uni renonce à ses prétentions sur les îles Samoa. - 24mars
Métro de New York
Le maire de New York, Robert Anderson Van Wyck, inaugure un nouveau "Rapid Transit Railroad" souterrain qui relierait Manhattan et Brooklyn. - 5avr.
Linéaire B
Des archéologues de Knossos, en Crète, découvrent une grande cache de tablettes d'argile avec une écriture hiéroglyphique dans une écriture qu'ils appellent linéaire B. - 2juil.
Lac de Constance
Le premier vol Zeppelin a lieu sur le lac de Constance près de Friedrichshafen, en Allemagne. - 14juil.
Rébellion des boxeurs
Les armées de l'Alliance des huit nations capturent Tientsin pendant la rébellion des Boxers.