Haskell Brooks Curry (1900-1982)

Pays :États-Unis
Langue :anglais
Sexe :masculin
Naissance :Millis (Mass.), 12-09-1900
Mort :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

Ses activités

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.]

    Description : Note : Dialectica. N° 26, 1953
    Édition : 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

    Description matérielle : XVI-417 p.
    Édition : Amsterdam : North-Holland publishing C° , 1958

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

    Description : Note : Studies in logic and the foundations of mathematics
    Édition : 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
    Description matérielle : VIII-408 p.
    Description : Note : Bibliogr. p. 369-390. Index
    Édition : New York : Dover publ. , cop. 1977

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

    Description : Note : Collection de logique mathématique. Série A. 2
    Édition : 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,..

    Description matérielle : XI-520 p.
    Description : Note : Bibliogr. pp. 499-504. Index
    Édition : Amsterdam ; London : North-Holland publishing C ° , 1972
    Contributeur : James Roger Hindley, Jonathan Paul Seldin

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

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • 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

Biographie Wikipedia

  • 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).

Pages équivalentes