Reuben Goodstein
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. Parmi ses élèves, figure S. Barry Cooper.
Reuben Goodstein
| Président Mathematical Association (en) | |
|---|---|
| 1975 | |
Margaret Hayman (en) Edwin Kerr (d) |
| Naissance | |
|---|---|
| Décès | |
| Nom de naissance |
Reuben Louis Goodstein |
| Nationalité | |
| Formation |
St Paul's School (jusqu'en 1931) Magdalene College (1931-1935) Université de Londres (jusqu'en 1946) |
| Activités |
| A travaillé pour |
Université de Reading (1948-1985) Université de Leicester (1935-1948) |
|---|---|
| Directeur de thèse |
Goodstein sequence (d), théorème de Goodstein |
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. Parmi ses élèves, figure S. Barry Cooper.
Liens externes
[modifier | modifier le code]
- Ressource relative à la recherche :
- Notices dans des dictionnaires ou encyclopédies généralistes :
- (en) John J. O'Connor et Edmund F. Robertson, « Reuben Louis Goodstein », sur MacTutor, université de St Andrews.