Reuben Goodstein

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

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.

Liens externes[modifier | modifier le code]