Haskell Brooks Curry (1900-1982)

Country :États-Unis
Language :anglais
Gender :masculin
Birth :Millis (Mass.), 12-09-1900
Death :State College (Penn.), 01-09-1982
Note :Mathématicien. - Professeur de mathématiques au Pennsylvania State university, USA (en 1977)
ISNI :ISNI 0000 0001 1024 6379

Occupations

Auteur du texte6 documents

  • Cohérence et concordance. Discussion sur le principe formel de la pensée [entre H.-L. Miéville, D. Christoff, S. Gagnebin, F. Gonseth, H. B. Curry.]

    Note : Note : Dialectica. N° 26, 1953
    Edition : Paris, Presses universitaires de France , (s. d.). In-8°, paginé 95-158. [Acq.] -IIIa-
    Auteur du texte : Ferdinand Gonseth (1890-1975)

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb32450278v]
  • Combinatory logic Vol. 1

    Material description : XVI-417 p.
    Edition : Amsterdam : North-Holland publishing C° , 1958

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb31978541d]
  • Combinatory logic... Haskell B. Curry,... Robert Feys,...

    Note : Note : Studies in logic and the foundations of mathematics
    Edition : Amsterdam, North-Holland publishing C° , 1958- . In-8°. -IIIa-

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb32103889b]
  • Foundations of mathematical logic

    Unabridged and corr. of the first publ. by the McGraw-Hill book compagny, in 1963
    Material description : VIII-408 p.
    Note : Note : Bibliogr. p. 369-390. Index
    Edition : New York : Dover publ. , cop. 1977

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb37365044x]
  • Leçons de logique algébrique

    Note : Note : Collection de logique mathématique. Série A. 2
    Edition : Paris, Gauthier-Villars (impr. de J. et R. Sennac) , 1952. Gr. in-8°, 164 p., autographié. 1 600 fr. [D. L. 96-52] -IVa-IIIa-

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb319853075]

Contributeur1 document

  • Combinatory logic... 2

    Haskell B. Curry,... J.-Roger Hindley,... Jonathan P. Seldin,..

    Material description : XI-520 p.
    Note : Note : Bibliogr. pp. 499-504. Index
    Edition : Amsterdam ; London : North-Holland publishing C ° , 1972

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb353940530]

Pages in data.bnf.fr

Related authors

This page in data.bnf.fr lab

Sources and references

Sources

  • Foundations of mathematical logic / Haskell B. Curry, 1977
  • LCNA (CD), 1996-06
    Internet, http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Curry.html, 2001-02-26

Wikipedia Biography

  • Haskell Brooks Curry (né le 12 septembre 1900 et mort le 1er septembre 1982) était un logicien et mathématicien américain. Ses travaux ont posé les bases de la programmation fonctionnelle. Curry est principalement connu pour son travail sur la logique combinatoire : alors que le concept de logique combinatoire était basé sur un unique article de Moses Schönfinkel, Curry en a développé la majeure partie. Curry est également connu pour le paradoxe de Curry et pour la correspondance de Curry-Howard. À titre d'hommage, trois langages de programmation portent son nom : Haskell, Brooks (en) et Curry (en).

Closely matched pages