Reuben Louis Goodstein (1912-1985)

Pays :Grande-Bretagne
Langue :anglais
Sexe :masculin
Naissance :Londres, 15-12-1912
Mort :Leicester, 08-06-1985
Note :
Mathématicien. - Professeur à l'Université de Leicester (1948-)
ISNI :ISNI 0000 0001 0867 3021

Ses activités

Auteur du texte5 documents

  • Constructive formalism, essays on the foundations of mathematics, by R. L. Goodstein,...

    Description matérielle : In-8°, 91 p., fig.
    Édition : Leicester : University college , 1951
    Éditeur scientifique : University of Leicester

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb33954951q]
  • Development of mathematical logic

    Description matérielle : 23 cm, VIII-150 p
    Description : Note : Bibliogr. pp. 141-148. Index
    Édition : [London : Logos press , 1971

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb35378236h]
  • Fundamental concepts of mathematics

    Description matérielle : In-8° (22 cm), VIII-279 p., fig. [D. L. 7917-62]
    Description : Note : International series of monographs on pure and applied mathematics. 22
    Édition : Oxford, New York, Paris : Pergamon press , 1962

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb33027895m]
  • Recursive analysis

    Description matérielle : In-8° (22 cm), VIII-138 p. [Acq. 4173-61]
    Description : Note : Studies in logic and the foundations of mathematics
    Édition : Amsterdam : North-Holland publishing C° , 1961

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb33027896z]
  • Recursive number theory, a development of recursive arithmetic in a logic-free equation calculus, by R. L. Goodstein,...

    Description : Note : Studies in logic and the foundations of mathematics
    Édition : Amsterdam, North-Holland publishing C° , 1957. In-8°, XII-190 p. [Acq. 3641-57] -IVa-

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb32181097x]

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

  • Documents de cet auteur : Development of mathematical logic / by Reuben Louis Goodstein, 1971
  • Ouvrages de reference : LC Authorities (2016-11-29)
  • Catalogues de la BnF : BN Cat. gén. 1960-1969

Biographie Wikipedia

  • Reuben Louis Goodstein, né le 15 décembre 1912 à Londres et mort le 8 mars 1985 à Leicester, est un mathématicien et logicien britannique.Il est l'auteur du théorème de Goodstein en logique mathématique, qui a des applications en informatique théorique.

Pages équivalentes