Reuben Goodstein

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

Reuben Louis Goodstein, né le à Londres et mort le à 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]